content: {- |
  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
  