Lines Matching defs:emph
3 \title{Creating ATermConvertible-Instances with \emph{genRules} and \emph{DrIFT}}
9 The tool \emph{genRules} provides the ability to create automatically rules, which can
10 be proceeded by \emph{DrIFT}. The directory \emph{ATC} includes the files with ATermConvertible
14 \emph{genRules} in the directory \emph{utils}. It will generate a file with the specified
15 rules for \emph{DrIFT}. Then you can invoke \emph{DrIFT} on that file to create the instances.
16 \emph{genRules} will generate a file with a \verb|.der.hs|-suffix, it will contain all necessary
17 imports and the \emph{DrIFT}-rules for each datatype. If the input is one file, the name of the
22 \emph{ATC\_} followed by the logic name. All the other ATC-files are saved in the directory \emph{ATC}.
23 \section*{Invoking \emph{genRules}}
27 In this case it must be \emph{ShATermConvertible}.
28 \item[-o:] Specifies the output directory, commonly the output directory is \emph{ATC}.
37 are created for. They must be in the \emph{ATC}-directory.\\
48 Header files are necessary, because \emph{DrIFT} can't generate all instances automatically.
50 \section*{Automatic file-generation with \emph{make}}
51 To generate a file automatically before compiling \emph{hets}, you must include the file name
52 in the variable \emph{genrule\_files} in the Makefile. All files in that variable will be seperated
56 This prospective filenames must be also added to the variable \emph{gendrifted\_files}. For example,
57 for the file name \emph{Commom/Named.hs} in the variable \emph{genrule\_files}, there must also be
58 the file name \emph{ATC/Named.hs} in the variable \emph{gendrifted\_files}.\\
59 It must be noted, that the order in the variable \emph{gendrifted\_files} is significant. So if