Insure++ Manpages - iic

NAME

SYNOPSIS

DESCRIPTION

OPTIONS

EXAMPLES

`iic` - Insure++ interface compiler

SYNOPSIS


	iic   [-compiler name] [-Dsymbol[=value]]
              [-Idirectory] [-p] [-t] [-v] files

This command is used to compile Insure++ interface files. Each source file is compiled into a similarly named file with the suffix .tqs that can be passed to the insure command. These files indicate the runtime behavior of routines whose source code was not processed by Insure++, and can also provide additional user level parameter checks.

OPTIONS

`-compiler name`	Indicates that the named compiler will be used to process the source code when `insure` is run, overriding the default or any value found in a `.psrc` file. This switch can affect the default directories searched for header files and pre-defined preprocessor symbols.
`-Dsymbol=value`	Defines preprocessor symbols in the conventional C manner.
`-Idirectory`	Add a directory to the path searched for header files.
`-p`	If a prototype for a function exists (possibly in a header file), use its definition to override type mismatches in a function declaration.
`-t`	Process the file as usual and generate (on `stdout`) a table summarizing the behavior of the routines defined.
`-v`	Enable verbose mode. `iic` prints commands as it executes them.

EXAMPLES


	iic mylib.c

Compiles the interface code in mylib.c and generates mylib.tqs.


	iic -compiler gcc my_gnu_lib.c

Compiles the interface code in my_gnu_lib.c using the GNU C compiler gcc.

ParaSoft

Insure++

Insure++ Manpages - iic

Table of Contents

NAME

`iic` - Insure++ interface compiler

SYNOPSIS

DESCRIPTION

OPTIONS

EXAMPLES

SEE ALSO

ParaSoft

Insure++

Insure++ Manpages - iic

Table of Contents

NAME

iic - Insure++ interface compiler

SYNOPSIS

DESCRIPTION

OPTIONS

EXAMPLES

SEE ALSO

`iic` - Insure++ interface compiler