Cross Reference:
xref
: /
hets
/
Hets_input_examples
/
HetsVsDedProvers
/
hard2.het
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
capa.lhs revision a099728a1284ade9faab7ad339430615dda61113
#!/
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
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
= [
(
"Terms"
,
fromAParser
term
)
,
(
"Formula"
,
fromAParser
formula
)
,
(
"SortItem"
,
fromAParser
sortItems
)
,
(
"OpItem"
,
fromAParser
opItems
)
,
(
"PredItem"
,
fromAParser
predItems
)
,
(
"MixfixTerms"
,
toStringParser
resolveTerm
)
,
(
"MixfixFormula"
,
toStringParser
resolveForm
)
,
(
"ShowTerms"
,
fromAParser
testTerm
)
,
(
"ShowTermsMix"
,
toStringParser
testTermMix
)
,
(
"ShowForm"
,
fromAParser
testFormula
)
,
(
"ShowFormMix"
,
toStringParser
testFormulaMix
)
]
fileParser
= [
(
"BasicSpec"
,
fromAParser
basicSpec
)
,
(
"analysis"
,
toStringParser
runAna
)
,
(
"signature"
,
toStringParser
getSign
)
]
\
end
{
code
}