Searched +refs:casl +refs:parse +refs:error (Results 1 - 5 of 5) sorted by relevance
| /hets/CspCASL/Grammar/ |
| H A D | CSP_CASL_Parser.tex | 68 If no error occured, the executable '{\tt c3po}' was created.
72 To parse a {\sc Csp-Casl} specification, just enter
74 '{\tt c3po testfile.csp-casl}'.
76 To parse multiple {\sc Csp-Casl} specifications, add the names:
78 '{\tt c3po t1.csp-casl t2.csp-casl} (...)'
80 For testing reasons, a script named '{\tt tests}' can be called, which will parse all files in the same directory with the suffix '{\tt csp-casl}'.
|
| /hets/CASL/doc/ |
| H A D | CASLParserOverview.tex | 24 This creates a binary called \texttt{capa} that can parse (and pretty
41 \texttt{./capa < test/BasicSpec.casl}
44 given as \texttt{*.casl} files in the \texttt{test} subdirectory. Calling
52 \texttt{Wrong*.casl} files contain wrong CASL code and should produce
53 error messages. Apart from extra tests, correct (\texttt{Bla.casl})
54 and wrong files (\texttt{WrongBla.casl}) are tested. If a \texttt{diff}
56 ``\texttt{error}'' occurrences (in the produced output) is counted. For a
|
| /hets/Common/doc/ |
| H A D | Overview.tex | 32 This creates a binary called \texttt{annos} that can parse (and pretty
44 \texttt{./annos < test/Annotations.casl}
46 Test cases are given as \texttt{*.casl} or \texttt{*.annos} files in the
51 \texttt{WrongMixIds.casl} contains wrong CASL ids and should produce
52 an error message for every line.
56 ``\texttt{error}'' occurrences (in the produced output) is counted. For a
|
| /hets/doc/ |
| H A D | UserGuide.tex | 6 \usepackage{casl}
522 CASL2SubCFOL & coding of partial functions by error elements
529 CoCASL2CoSubCFOL & coding of partial functions by error supersorts, similar to CASL2SubCFOL \\\hline
684 \texttt{Order.casl} (actually, this file is provided
685 with the \Hets distribution as \texttt{Hets-lib/UserManual/Chapter3.casl}).
690 \texttt{hets Order.casl}
700 \item[\texttt{-p}, \texttt{--just-parse}] Just do the parsing
712 \item[\texttt{-a ANALYSIS}, \texttt{--casl-amalg=ANALYSIS}]
732 The default value for \texttt{--casl-amalg} is
743 \texttt{.casl}
[all...] |
| H A D | UserGuideCommonLogic.tex | 19 \usepackage{casl}
595 \item[\texttt{-p}, \texttt{-{}-just-parse}] Just do the parsing
619 \texttt{.casl} & \CASL & \CASL \\\hline
627 Although the endings \texttt{.casl} and \texttt{.het} are
1121 The following example, which is available as \texttt{Ontology/Examples/TimeInOWLandCL.het} in the \Hets library \cite{hets-library:URL}, establishes a view between the OWL Time ontology and its reimplementation in Common Logic, \ednote{CL: There is no way to make that explicit in \HetCASL, is there?\\ TM: you mean the datatype stuff that the OWL to CL translation generates? We should modify the translation to generate this only if really needed.\\ CL: No, I just thought (and was wrong) that \HetCASL had no way of explicitly choosing a logic translation. But not I don't understand what \emph{you} mean. Maybe it's related to the error that I get when loading the file; see my ticket.}using the ``OWL22CommonLogic'' translation:
1448 a corresponding \texttt{env}, \texttt{casl}, or \texttt{het}
1456 casl
1649 % LocalWords: minisat Twelf Attr clif libdir casl het clf Pred PetHappy gui DG
|
Completed in 1404 milliseconds