NAME¶
atdcat - syntax check and transformations of ATD files
SYNOPSIS¶
atdcat [options...] file
DESCRIPTION¶
atdcat performs syntax checking and pretty printing on ATD files. It can
also perform transformations, such as monomorphization or flattening of
inheritance hierarchies.
OPTIONS¶
- -x
- make type expressions monomorphic
- -xk
- keep parametrized type definitions and imply -x. Default is to
return only monomorphic type definitions
- -xd
- debug mode implying -x
- -i
- expand all `inherit' statements
- -if
- expand `inherit' statements in records
- -iv
- expand `inherit' statements in sum types
- -ml <name>
- output the ocaml code of the ATD abstract syntax tree
- -html-doc
- replace directly <doc html="..."> by (*html ...
*) or replace <doc text="..."> by (*html ...
*) where the contents are formatted as HTML using <p>,
<code> and <pre>. This is suitable
input for caml2html -ext html:cat, which converts ATD files into
HTML.
- -strip NAME1[,NAME2,...]
- remove all annotations of the form <NAME1 ...>, <NAME2
...>, etc.
- -strip-all
- remove all annotations
- -version
- print the version and exit
- -help | --help
- print options and exit
SEE ALSO¶
- The ATD manual,
/usr/share/doc/libatd-ocaml-dev/atd-manual.{html,pdf}
- The ATD referande,
http://mjambon.com/atdgen/atdgen-manual.html
AUTHOR¶
This manual page was written by Sylvain Le Gall <gildor@debian.org> and
Hendrik Tews <hendrik@askra.de>, specifically for the Debian project
(and may be used by others).