{- |

Module : $Header$

Copyright : (c) Christian Maeder and Uni Bremen 2003

Licence : similar to LGPL, see HetCATS/LICENCE.txt or LIZENZ.txt

Maintainer : hets@tzi.de

Stability : experimental

Portability : portable

parse and call static analysis

-}

module HasCASL.RunStaticAna where

import HasCASL.Le

import HasCASL.As

import HasCASL.PrintLe

import HasCASL.AsToLe(anaBasicSpec)

import HasCASL.ParseItem(basicSpec)

import HasCASL.ProgEq

import Common.Lib.State

import Common.Lib.Pretty

import Common.PrettyPrint

import Common.RunParsers

import Common.AS_Annotation

import Common.GlobalAnnotations

import Common.AnnoState

bParser :: GlobalAnnos -> AParser (BasicSpec, Env)

bParser ga = do b <- basicSpec

return $ runState (anaBasicSpec ga b) initialEnv

anaParser :: StringParser

anaParser ga = do (a, e) <- bParser ga

return $ show (printText0 ga a $$ printText0 ga e)

type SenParser = GlobalAnnos -> AParser [Named Sentence]

senParser :: SenParser

senParser = fmap (sentences . snd) . bParser

transParser :: SenParser

transParser = fmap ( ( \ e -> map (mapNamed (translateSen e)) $

sentences e) . snd) . bParser

printSen :: SenParser -> StringParser

printSen p ga = fmap (show . vcat . map (printText0 ga)) $ p ga