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).

ATDCAT                                              May 2013                                           ATDCAT(1)