{- |

Module : $Header$

Description : static ADL analysis

Copyright : (c) Stef Joosten, Christian Maeder DFKI GmbH 2010

License : GPLv2 or higher

Maintainer : Christian.Maeder@dfki.de

Stability : provisional

Portability : portable

-}

module Adl.StatAna where

import Adl.As

import Adl.Sign

import Common.AS_Annotation

import Common.ExtSign

import Common.GlobalAnnotations

import Common.Result

basicAna :: (Context, Sign, GlobalAnnos)

-> Result (Context, ExtSign Sign Symbol, [Named Sen])

basicAna (c@(Context _ ps), sig, _) =

let (_, ss) = foldr (\ p (r, s) ->

case p of

Pr h u -> (r, case h of

Always -> makeNamed "" $ Assertion Nothing u

RuleHeader k t -> makeNamed (show t) $ Assertion (Just k) u

: s)

Pm qs d _ ->

(d : r, map (\ q -> makeNamed (show (decnm d) ++ "_"

++ showUp (propProp q))

$ DeclProp d q) qs ++ s)

_ -> (r, s)) ([], []) ps

in return (c, mkExtSign sig, ss)