Lines Matching defs:the
16 see the documentation for HetCATS and Common
18 \section{Compiling the CASL parser}
22 \texttt{gmake capa} in the top directory.
25 print) ``Basic Specification with Subsorts'' of the CASL Summary
28 Structured specifications (see \texttt{Static/hetpa.hs}) must be parsed by the
44 given as \texttt{*.casl} files in the \texttt{test} subdirectory. Calling
45 \texttt{./runcheck.sh ../capa} performs many tests and compares the results
48 Alternatively a test can be run using \texttt{runhugs}. For this the
49 file \texttt{capa.lhs} is executable and the test can be run
55 with the expected output fails, then also the number of
56 ``\texttt{error}'' occurrences (in the produced output) is counted. For a
59 Calling ``\texttt{./runcheck.sh ../capa set}'' will update the
65 \texttt{cvs diff} changes can be compared to checked-in versions of the output
71 \item[AS\_Basic\_CASL.der.hs] defines the abstract syntax tree for CASL
75 \item[Logic\_CASL.hs] contains the instance for the class \texttt{Logic.Logic}
81 \item[Parse\_AS\_Basic.hs] supplies the top-level parsers \texttt{basicSpec,
85 \item[RunMixfixParser.hs] is a driver to test the mixfix
87 \item[RunStaticAna.hs] is an additional driver to test the static
89 \item[Sign.hs] (unused) was the analysed abstract syntax
92 \item[Static.hs] (unused) implements the static analysis
101 \item[capa.lhs] is the main module that simply lists the test parsers
113 formulae is still missing. The static analysis currently collects the bare
114 signature and the subsort relation.