Searched defs:files (Results 1 - 7 of 7) sorted by relevance

/hets/ATC/doc/
H A DATC-Rule-Generation.tex10 be proceeded by \emph{DrIFT}. The directory \emph{ATC} includes the files with ATermConvertible
11 instances, which are necessary to read datatypes from and to write them to files in the
21 These files begin with an
22 \emph{ATC\_} followed by the logic name. All the other ATC-files are saved in the directory \emph{ATC}.
35 \section*{Header files}
36 Header files must have the suffix \verb|.header.hs| and the name of the file they
48 Header files are necessary, because \emph{DrIFT} can't generate all instances automatically.
52 in the variable \emph{genrule\_files} in the Makefile. All files in that variable will be seperated
53 into files which are from a specific logic directory (CASL, HasCASL, CspCASL, Haskell) and those which
54 are not. The files fro
[all...]
/hets/CASL/doc/
H A DCASLParserOverview.tex44 given as \texttt{*.casl} files in the \texttt{test} subdirectory. Calling
46 with corresponding \texttt{*.output} files.
52 \texttt{Wrong*.casl} files contain wrong CASL code and should produce
54 and wrong files (\texttt{WrongBla.casl}) are tested. If a \texttt{diff}
60 \texttt{*.output} files (and a subsequent \texttt{./runcheck.sh ../capa} should
64 files will be overwritten by \texttt{make output}. With \texttt{cvs up} or
66 files.
68 \section{Source files in \texttt{HetCATS/CASL}}
/hets/Common/doc/
H A DOverview.tex46 Test cases are given as \texttt{*.casl} or \texttt{*.annos} files in the
49 files.
60 \texttt{*.output} files (and a subsequent \texttt{./runcheck.sh ../annos}
64 files will be overwritten by \texttt{make output}. With \texttt{cvs up} or
66 files.
71 \section{Source files in \texttt{HetCATS/Common}}
106 The directory \texttt{Common/Lib} contains further source files.
/hets/CspCASL/Grammar/
H A DCSP_CASL_Parser.tex80 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}'.
82 \section{Structure of source files}
97 {\bf Parser related files}\\
98 {\bf Main.hs} calls the parser for all files listed in the argument\\
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...
/hets/OWL2/java/lib/
H A Dguava-18.0.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/com. ...
H A Dowlapi-osgidistribution-3.5.2.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ...

Completed in 230 milliseconds