RunStaticAna.hs revision 23f8d286586ff38a9e73052b2c7c04c62c5c638f
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach
7f24d24e63854a9a2539c2dac55198f746ad57dbChristian Maeder{- HetCATS/HasCASL/RunStaticAna.hs
bb83db66bd9b3b4ce67be66419daf29886175276Andy Gimblett $Id$
7f24d24e63854a9a2539c2dac55198f746ad57dbChristian Maeder Authors: Christian Maeder
7f24d24e63854a9a2539c2dac55198f746ad57dbChristian Maeder Year: 2002
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu Prodescu
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach parse and call static analysis
7f24d24e63854a9a2539c2dac55198f746ad57dbChristian Maeder-}
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbachmodule HasCASL.RunStaticAna where
bb83db66bd9b3b4ce67be66419daf29886175276Andy Gimblett
bb83db66bd9b3b4ce67be66419daf29886175276Andy Gimblettimport Common.AnnoState
78718c37b1a50086a27e0f031db4cf82bea934aeChristian Maederimport HasCASL.Le
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbachimport HasCASL.AsToLe(anaBasicSpec)
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbachimport HasCASL.ParseItem(basicSpec)
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbachimport Common.Lib.State
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus RoggenbachanaParser :: AParser Env
7f24d24e63854a9a2539c2dac55198f746ad57dbChristian MaederanaParser = do b <- basicSpec
7f24d24e63854a9a2539c2dac55198f746ad57dbChristian Maeder return $ snd $ (runState (anaBasicSpec b)) initialEnv
5cc369fbceee1b13bd0f06e43620c46541d1d4f8Christian Maeder
5b5db1d788d5240070930175f1322dab56279f99Andy Gimblett