RunStaticAna.hs revision 4b0a4c7dea0f67a233dcc42ce9bb18d36de109ae
f66fcd981f556c238df7dd6dfa42123745e3b1d2Christian MaederModule : $Header$
75a6279dbae159d018ef812185416cf6df386c10Till MossakowskiCopyright : (c) Christian Maeder and Uni Bremen 2003
c092fcac4b8f5c524c22ca579189c4487c13edf7Christian MaederLicence : All rights reserved.
75a6279dbae159d018ef812185416cf6df386c10Till MossakowskiMaintainer : hets@tzi.de
3f69b6948966979163bdfe8331c38833d5d90ecdChristian MaederStability : experimental
75a6279dbae159d018ef812185416cf6df386c10Till MossakowskiPortability : portable
f66fcd981f556c238df7dd6dfa42123745e3b1d2Christian Maeder parse and call static analysis
f66fcd981f556c238df7dd6dfa42123745e3b1d2Christian Maederimport HasCASL.AsToLe(anaBasicSpec)
a1c6679d00e15a949730ab640159e0adc5b0e3e7Christian MaederanaParser :: GlobalAnnos -> AParser Env
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskianaParser ga = do b <- basicSpec
fa388aea9cef5f9734fec346159899a74432ce26Christian Maeder return $ snd $ (runState (anaBasicSpec ga b)) initialEnv