hets/CASL/capa.lhs

	capa.lhs revision 296ba15b6d81388d066111b7a573abc08a15f0ec
#!/home/maeder/bin/runhugs

HetCATS/CASL/capa.lhs
$Id$
Authors: Christian Maeder
Year:    2002

test some parsers (and printers)

\begin{code}

module Main where

import Common.Token
import CASL.Formula
import CASL.Print_AS_Basic
import CASL.Parse_AS_Basic
import Common.RunParsers
import CASL.RunMixfixParser
import CASL.RunStaticAna

main :: IO ()
main = exec lineParser fileParser

lineParser, fileParser :: [(String, StringParser)]
lineParser = [
 ("MixIds", fromAParser parseId),
 ("Terms", fromAParser term),
 ("Formula", fromAParser formula),
 ("SortItem", fromAParser sortItems),
 ("OpItem", fromAParser opItems),
 ("PredItem", fromAParser predItems),
 ("MixfixTerms", toStringParser resolveTerm),
 ("MixfixFormula", toStringParser resolveForm),
 ("VarIds", fromAParser varId),
 ("ShowTerms", fromAParser testTerm),
 ("ShowTermsMix", toStringParser testTermMix),
 ("ShowForm", fromAParser testFormula),
 ("ShowFormMix", toStringParser testFormulaMix)]

fileParser = [("BasicSpec", fromAParser basicSpec)
	      , ("analysis", fromAParser runAna)
	     ]

\end{code}