{- |

Module : $Header$

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

Licence : similar to LGPL, see HetCATS/LICENCE.txt or LIZENZ.txt

Maintainer : hets@tzi.de

Stability : experimental

Portability : portable

test translation

-}

module Main where

import System.Environment

import Common.AnnoState

import Common.Lib.Parsec

import Common.Lib.State

import Common.AnnoState

import Common.AS_Annotation

import Common.GlobalAnnotations

import Haskell.Hatchet.HsPretty

import Haskell.Hatchet.HsSyn

import ToHaskell.TranslateAna

import HasCASL.Le

import HasCASL.AsToLe(anaBasicSpec)

import HasCASL.ParseItem(basicSpec)

hParser :: AParser [HsDecl]

hParser = do b <- basicSpec

let env = snd $ (runState (anaBasicSpec emptyGlobalAnnos b))

initialEnv

hs = translateSig env

nhs = concatMap (translateSentence env) $ sentences env

return (cleanSig hs nhs ++ map sentence nhs)

main :: IO ()

main = do l <- getArgs

if length l >= 1 then

do s <- readFile $ head l

let r = runParser hParser emptyAnnos (head l) s

case r of

Right hs -> do

putStrLn "module HasCASLModul where"

putStrLn "import Prelude (undefined, Show)"

mapM_ (putStrLn . render . ppHsDecl) hs

Left err -> putStrLn $ show err

else putStrLn "missing argument"