Man page - atdcat(1)

Packages contains this manual

Package: libatd-ocaml-dev
apt-get install libatd-ocaml-dev

Manuals in package:

atdcat(1)

Documentations in package:

libatd-ocaml-dev

Manual

ATDCAT

NAME
SYNOPSIS
DESCRIPTION
OPTIONS
SEE ALSO
AUTHOR

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

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