gendesc(1) [debian man page]

gendesc(1)							   User Manuals 							gendesc(1)

NAME

       gendesc - Generate a test case description file

SYNOPSIS

       gendesc [-h|--help] [-v|--version]
	       [-o|--output-filename filename]
	       inputfile

DESCRIPTION

       Convert plain text test case descriptions into a format as understood by genhtml.  inputfile needs to observe the following format:

       For each test case:

	    - one line containing the test case name beginning at the start of the line

	    - one or more lines containing the test case description indented with at least one whitespace character (tab or space)

       Example input file:

       test01
	      An example test case description.
	      Description continued

       test42
	      Supposedly the answer to most of your questions

       Note: valid test names can consist of letters, decimal digits and the underscore character ('_').

OPTIONS

       -h
       --help
	      Print a short help text, then exit.

       -v
       --version
	      Print version number, then exit.

       -o filename
       --output-filename filename
	      Write description data to filename.

	      By default, output is written to STDOUT.

AUTHOR

       Peter Oberparleiter <Peter.Oberparleiter@de.ibm.com>

SEE ALSO

       lcov(1), genhtml(1), geninfo(1), genpng(1), gcov(1)

2010-08-06							     LCOV 1.9								gendesc(1)

atsopt(1)						      General Commands Manual							 atsopt(1)

NAME

       atsopt - ATS to C compiler

SYNOPSIS

       atsopt <command>...

DESCRIPTION

       atsopt is the compiler from ATS to C.  It is most commonly invoked by atscc which is the preferred frontend for compiling ATS code.

COMMANDS

       atsopt takes a number of commands with parameters to determine its behavior:

       -d, --dynamic <filenames>
	      Dynamically load the filenames.

       --debug=1
	      Enable generation of debugging information.

       -dep, --depgen
	      Generate dependency lists.

       -h, --help
	      Print the usage information.

       -o, --output <filename>
	      Specify the output filename.

       --posmark_html
	      Generate an HTML file with colored concrete syntax.

       --posmark_xref
	      Generate an HTML file with syntactic cross-references.

       -s, --static <filenames>
	      Statically load the filenames.

       -tc, --typecheck
	      Typecheck the given ATS source files, but go no further.

       -v, --version
	      Show ATS/Anairiats version and gcc version.

EXAMPLES

       atsopt -o test.c -d test.dats

       Compile test.dats to a C file.

       atsopt -tc -d test.dats

       Typecheck test.dats only.

       atsopt -o test.html -d test.dats --posmark_html

       Write a syntax colored version of test.dats.

SEE ALSO

       atscc(1), atslex(1).
       These programs are documented fully by The ATS/Anairiats user's manual available via the web at http://www.ats-lang.org/

AUTHOR

       atsopt was written by Hongwei Xi.

       This manual page was written by Matthew Danish <mrd@debian.org>, for the Debian project (and may be used by others).

								 February 22, 2010							 atsopt(1)