Man pages sections > man1 > atdcat

atdcat - syntax check and transformations of ATD files

ATDCAT(1) User Manuals ATDCAT(1)

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).
May 2013 ATDCAT