{- |

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