Lines Matching refs:item
71 \item[AS\_Basic\_CASL.der.hs] defines the abstract syntax tree for CASL
72 \item[Formula.hs] parsers \texttt{term} and \texttt{formula}
73 \item[Latin.hs] used by \texttt{Static.hs}
74 \item[LiteralFuns.hs] used by \texttt{Print\_AS\_Basic.hs}
75 \item[Logic\_CASL.hs] contains the instance for the class \texttt{Logic.Logic}
76 \item[MixfixParser.hs] uses precedence and associativity to resolve
79 \item[Morphism.hs] symbol and morphism stuff for \texttt{Logic}
80 \item[OpItem.hs] parsers \texttt{opItem} and \texttt{predItem}
81 \item[Parse\_AS\_Basic.hs] supplies the top-level parsers \texttt{basicSpec,
83 \item[Print\_AS\_Basic.hs] pretty prints data types of
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
90 \item[SortItem.hs] parsers \texttt{sortItem} and \texttt{datatype} (requires
92 \item[Static.hs] (unused) implements the static analysis
93 \item[StaticAna.hs] implements a simple static analysis
94 \item[Sublogic.hs] used by \texttt{Logic\_CASL.hs}
95 \item[Sublogics.hs] older version
96 \item[SymbolAnalysis] (unused)
97 \item[SymbolParser.hs] parses symbols and symbol maps that are not needed for
101 \item[capa.lhs] is the main module that simply lists the test parsers