{-# LANGUAGE CPP #-}
{- |
Module : ./Adl/adl.hs
Description : ADL syntax parser
Copyright : (c) Stef Joosten, Christian Maeder DFKI GmbH 2010
License : GPLv2 or higher, see LICENSE.txt
Maintainer : Christian.Maeder@dfki.de
Stability : provisional
Portability : portable
-}
module Main (main) where
import Common.DocUtils (pretty)
import Common.Parsec ((<<))
import Common.Result
import Common.Lib.State
import Text.ParserCombinators.Parsec (parse, eof)
import Adl.As
import Adl.Parse (skip, pArchitecture)
import Adl.Sign
import Adl.StatAna
import Adl.Print
#ifdef LATEX
(adlGA)
import Common.PrintLaTeX
import Common.Doc
#else
()
#endif
import System.Environment (getArgs)
import System.Exit (exitFailure)
main :: IO ()
main = getArgs >>= mapM_ process
process :: String -> IO ()
process f = do
s <- readFile f
case parse (skip >> pArchitecture << eof) f s of
Right (Context m ps) ->
let (nps, env) = runState (mapM anaPatElem ps) (toEnv emptySign)
es = Context m nps
ds = reverse $ msgs env
in if null ds then
#ifdef LATEX
putStrLn
. renderLatex Nothing
. toLatex adlGA
#else
print
#endif
$ pretty es
else printDiags 5 ds >> exitFailure
Left err -> fail $ show err