{- |
Module : ./CSMOF/tests/Test_StatAna.hs
Description : Test case for CSMOF static analysis
Copyright : (c) Daniel Calegari Universidad de la Republica, Uruguay 2013
License : GPLv2 or higher, see LICENSE.txt
Maintainer : dcalegar@fing.edu.uy
Stability : provisional
Portability : portable
-}
-- From the CSMOF folder run: ghc -i../.. -o main Test_StatAna.hs
import CSMOF.As
import CSMOF.Parser
import CSMOF.StatAna
import CSMOF.Sign
import CSMOF.Print
import Common.GlobalAnnotations
import System.IO
import Text.XML.Light
main :: IO ()
main = do
handle <- openFile "MetamodelWModel.xmi" ReadMode
contents <- hGetContents handle
case parseXMLDoc contents of
Nothing -> putStr "VACIO"
Just el -> do
handle2 <- openFile "parsingStaticAn_EXIT.txt" WriteMode
hPutStr handle2 (show (basicAna (parseCSMOF el,
emptySign, emptyGlobalAnnos)))
hClose handle2
hClose handle