cats(1) CoFI tools cats(1) NAME cats - Standalone CASL tool set with parsing, static anal­ ysis, and encoding. SYNOPSIS cats [ options ] file cats -dumpdtd DESCRIPTION cats is the standalone version of the CASL tool set. Please report bugs to cofi@informatik.uni-bremen.de. The default operation for casl is to read in a CASL library in text form and produce a binary aterm file that contains the parsed library. If the switch -dumpdtd is given, casl just dumps the DTD that is used for XML input and output to stdout and exits without doing anything else. OPTIONS You can give options on the command line or in the file ~/.cats, one option per line. Options on the command line can override settings from ~/.cats. All options are case sensitive. For all options that take additional arguments, it is pos­ sible to supply a list of those arguments by seperating them with commas. For example, -input=casl,static. NOTE: do not put additional whitespace in! Options come in pairs of two or more alternatives. Only one of these alternatives can take effect. If more than one is present, the rightmost one on the command line takes precedence. Parser option This selects what parser to use for CASL input. -parser=isabelle or -parser=yacc Selects whether to use the Isabelle-based parser or the YACC-based parser. Default is to use the YACC- based one. Input options These select how input is treated by the tool. -input=casl or -input=aterm or -input=xml Selects whether the input files are in CASL text with extension .casl or in CasFix aterm format with extension .baf or .trm or in XML format with exten­ sion .xml. Default is CASL input. -input=static or -input=nostatic Selects whether the input should be statically checked or not. Default is no static checking. -input=basic or -input=empty Selects whether casl should start processing with an empty environment or with one containing the library of basic datatypes (which is the default). -input=bin or -input=nobin Chooses between binary and textual aterm format if input is from aterm file(s). Binary files use the extension .baf, textual files use .trm. Binary format is the default. NOTE: The tool baf2trm from the aterm library needs to be in your $PATH for binary input to work correctly. Output options These selects what output will be generated by the tool. -output=tex or -output=notex Selects whether to convert the input data to LaTeX or not. Default is not to. If selected, output will be written to a file with the extension .tex. -output=env or -output=noenv Selects whether to include the global environment in the output or not. Use the -env switch to select between different encodings and output formats. If env is given, the environment will also be included in the aterm or XML file(s) that are generated from the input files, in addition to any standalone environment files that may be generated. -output=graph or -output=nograph Selects whether to output the dependency graph for the input file(s) or not. Use the -graph switch to select between the different output formats. The default setting is not to output dependency infor­ mation. -output=bin or -output=nobin Selects between output as binary or as textual aterm files. Output in binary format will use .baf as file extension, while textual format will use .trm. Binary output is the default. NOTE: to use the binary format, the tool trm2baf from the aterm library needs to be in your $PATH. Spec options These select the format(s) in which specifications and lib-items will be output. -spec=aterm or -spec=noaterm Selects whether the specification(s) are output in aterm format. Default is yes. -spec=xml or -spec=noxml Selects whether the specification(s) are output in XML format or not. Default is not to use XML. Environment options These switches take effect only if the env argument was given to the -output switch. -env=CasEnv or -env=noCasEnv Selects whether to output the global environment in CasEnv format. This is the default. The output files will have .env in their name. -env=FCasEnv or -env=noFCasEnv Selects whether to output the global environment in FCasEnv format. Default is not to. The output files will have .fenv in their name. -env=HCasEnv or -env=noHCasEnv Selects whether to output the global environment in HCasEnv format. Default is not to. The output files will have .henv in their name. NOTE: this is not implemented at the moment. casl will fall back to CasEnv output if HCasEnv is selected. -env=SubPCFOL or -env=SubC­ FOL or -env=CFOL or -env=SOL or -env=CFOL1 or -env=SOL1 Selects the encoding to use for the environment. Default is to use SubPCFOL encoding. -env=text or -env=notext Selects or deselects the output of the enviroment in plain text format. notext is the default. Out­ put files will have the extension .txt. -env=aterm or -env=noaterm Switches output of the environment in aterm format on or off. Default is to use aterm output. Whether the aterm files will be in binary or textual format depends on the setting of the -output switch. -env=latex or -env=nolatex Selects whether to output the enviroment in LaTeX format. Default is not to. The extension used by the output files will be .tex. -env=xml or -env=noxml Selects whether to output the enviroment in XML format. Default is not to. The extension used by the output files will be .xml. Graph options These switches take effect only if the graph argument was given to the -output switch. -graph=davinci or -graph=nodavinci Selects whether to output dependency information for use with the daVinci system, available at http://informatik.uni-bremen.de/~davinci/. This is the default format. -graph=dot or -graph=nodot Selects whether to output dependency information for use with the dot tool, available at http://www.research.att.com/sw/tools/graphwiz/. -graph=ps or -graph=nops If this is selected, and the dot tool is in your $PATH, a PostScript file with extension .ps will be created. This is the same as using the dot setting and manually running the dot tool on the output file. Other options -quiet or -noquiet Selects whether to suppress diagnostic output from the tool. BUGS LaTeX formatting The LaTeX generator has been removed while changing some internal datastructures. Please use the Hets LaTeX formatter. ENVIRONMENT $HOME This must be set to the user's home directory. $CASL_LIB This should be set to the location where CASL libraries are stored. The value of this environ­ ment variable will be prepended to all "from xxx get yyy" statements. For example, if CASL_LIB is set to /home/cofi/lib/ and there is a statement "from Basic/Algebra", then the file /home/cofi/lib/Basic/Algebra.casl will be used. /tmp cats will use this directory to store temporary files. FILES ~/.cats Default options for cats. .casl Extension used for files containing CASL text. .baf Extension used for files in binary aterm format. .trm Extension used for files in textual aterm format. .davinci Dependency information for use with the daVinci system. .dot Dependency information for use with the dot tool. .xml Extension used for files in XML format. .ps PostScript file generated by the dot tool (if available). CONTACT If you have questions, suggestions or bug reports, feel free to send email to cofi@informatik.uni-bremen.de. 0.88 July 2003 cats(1)