{- |

Module : $Id$

Description : a test driver for HasCASL to Haskell translations

Copyright : (c) Christian Maeder, Uni Bremen 2002-2004

License : GPLv2 or higher, see LICENSE.txt

Maintainer : Christian.Maeder@dfki.de

Stability : experimental

Portability : portable

test translation

-}

module Main where

import System.Environment

import Text.ParserCombinators.Parsec

import Common.Result

import Common.AnnoState

import Common.AS_Annotation

import Common.GlobalAnnotations

import Common.DocUtils

import Common.ExtSign

import Comorphisms.HasCASL2Haskell

import Haskell.HatAna

import HasCASL.Le

import HasCASL.AsToLe

import HasCASL.ParseItem (basicSpec)

import HasCASL.ProgEq

hParser :: AParser () (Sign, [Named (TiDecl PNT)])

hParser = do

b <- basicSpec

let res@(Result _ m) = do

(_, ExtSign sig _, sens) <-

basicAnalysis (b, initialEnv, emptyGlobalAnnos)

mapTheory (sig, map (mapNamed $ translateSen sig) sens)

case m of

Nothing -> error $ show res

Just x -> return x

main :: IO ()

main = do l <- getArgs

if not (null l) then

do s <- readFile $ head l

let r = runParser hParser (emptyAnnos ()) (head l) s

case r of

Right (sig, hs) -> do

putStrLn $ showDoc sig ""

mapM_ (putStrLn . flip showDoc "" . sentence) hs

Left err -> print err

else putStrLn "missing argument"