RunStaticAna.hs revision 3513f4e241bc3f613607179713c0223da214a26e
4b0a4c7dea0f67a233dcc42ce9bb18d36de109aeChristian Maedermodule CASL.RunStaticAna where
4b0a4c7dea0f67a233dcc42ce9bb18d36de109aeChristian Maeder
e47d29b522739fbf08aac80c6faa447dde113fbcChristian Maederimport CASL.Static
11d6ec73ee5550e00cb56b221bdbeb709142e779Christian Maederimport CASL.Sign
97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian Maederimport Common.AnnoState
f3cd81f98592d1dbf301f48af31677a6a0cc666aChristian Maederimport Common.Result
3f69b6948966979163bdfe8331c38833d5d90ecdChristian Maederimport Common.PrettyPrint
4b0a4c7dea0f67a233dcc42ce9bb18d36de109aeChristian Maederimport Common.Lib.Pretty
b603f34b79bc0992e5d74f484e5bdc9f9c2346c6Christian Maederimport CASL.Parse_AS_Basic
4b0a4c7dea0f67a233dcc42ce9bb18d36de109aeChristian Maederimport CASL.PrintSign
f3a94a197960e548ecd6520bb768cb0d547457bbChristian Maeder
f3cd81f98592d1dbf301f48af31677a6a0cc666aChristian Maederinstance PrettyPrint LocalEnv where
f3cd81f98592d1dbf301f48af31677a6a0cc666aChristian Maeder printText0 ga l = (printText0 ga $ getSign l)
ac142c1b088711f911018d8108a64be80b2f2a58Christian Maeder-- $$ ( vcat $ map (printText0 ga) $ getPsi l)
ac142c1b088711f911018d8108a64be80b2f2a58Christian Maeder
ac142c1b088711f911018d8108a64be80b2f2a58Christian MaederrunAna :: AParser (Result LocalEnv)
ac142c1b088711f911018d8108a64be80b2f2a58Christian MaederrunAna =
f3cd81f98592d1dbf301f48af31677a6a0cc666aChristian Maeder do b <- basicSpec
0216a1580abf46ed8981f25e89d6fd99b2944ac2Christian Maeder return $ ana_BASIC_SPEC emptyLocalEnv b
0216a1580abf46ed8981f25e89d6fd99b2944ac2Christian Maeder