RunStaticAna.hs revision e289294500ad68fa0706b09521af340bbb356a69
66267bcb678a9c341272c323b299337bcfdb7cc5Christian Maeder
81d182b21020b815887e9057959228546cf61b6bChristian Maeder{- HetCATS/HasCASL/RunStaticAna.hs
81d182b21020b815887e9057959228546cf61b6bChristian Maeder $Id$
a39175891082dc8a598e5630e5558cb08b84ac0aChristian Maeder Authors: Christian Maeder
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu Prodescu Year: 2002
66267bcb678a9c341272c323b299337bcfdb7cc5Christian Maeder
3f69b6948966979163bdfe8331c38833d5d90ecdChristian Maeder parse and call static analysis
66267bcb678a9c341272c323b299337bcfdb7cc5Christian Maeder-}
ffd01020a4f35f434b912844ad6e0d6918fadffdChristian Maeder
66267bcb678a9c341272c323b299337bcfdb7cc5Christian Maeder
66267bcb678a9c341272c323b299337bcfdb7cc5Christian Maedermodule RunStaticAna where
fb69cd512eab767747f109e40322df7cae2f7bdfChristian Maeder
fb69cd512eab767747f109e40322df7cae2f7bdfChristian Maederimport Le
5553cf7e344c2b385a72e1244b419e9986042b8eChristian Maederimport AsToLe(anaBasicSpec)
5553cf7e344c2b385a72e1244b419e9986042b8eChristian Maederimport ParseItem(basicSpec)
5553cf7e344c2b385a72e1244b419e9986042b8eChristian Maederimport Parsec
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederimport MonadState
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maeder
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian MaederanaParser :: Parser Env
5553cf7e344c2b385a72e1244b419e9986042b8eChristian MaederanaParser = do b <- basicSpec
5553cf7e344c2b385a72e1244b419e9986042b8eChristian Maeder return $ snd $ (runState (anaBasicSpec b)) initialEnv
5553cf7e344c2b385a72e1244b419e9986042b8eChristian Maeder
fb69cd512eab767747f109e40322df7cae2f7bdfChristian Maeder