adl.hs

{-# LANGUAGE CPP #-}
{- |
Module      :  $Header$
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