LNT.OPEN manual page
Table of Contents

Name

lnt.open - OPEN/CAESAR connection for the LNT language

Synopsis

lnt.open [-depend] [-force] [-notraian] [-root root-process] [-silent | -verbose] [-version] [lotos_options] filename[.lnt] [cc_options] prog[.a|.c|.o] [prog_options]

Description

Taking as input filename.lnt (which contains the principal module of a LNT specification) and an OPEN/CAESAR program prog[.a|.c|.o], lnt.open operates as follows:

However, if prog is the "-" string (instead of the name of an OPEN/CAESAR application program), lnt.open will execute only the first two steps (pre-processing and translation into a LOTOS specification) and then stop without invoking lotos.open . In such case, the files generated during the first two steps are not removed, thus allowing the generated LOTOS specification to be used for other purposes than OPEN/CAESAR (e.g., for rapid prototyping with EXEC/CAESAR).

Options

-depend
List all the LNT files transitively included in filename.lnt and exit. Not a default option.

-force
Overwrite output files, even if they were edited by the user or do not need to be updated. This option is passed to lpp , lnt2lotos , and lotos.open .

-notraian
Do not invoke traian before invoking lpp and lnt2lotos , and do not pass option -traian to lnt2lotos . Not a default option.

-root process-instantiation
Use the process process-instantiation as the main process. It is an error if the LNT specification does not contain a corresponding process definition. This option is passed to lnt2lotos .

-silent
Execute silently. This option is passed to lpp , lnt2lotos , and lotos.open .

-verbose
Report in detail activities and progress, including errors and messages emitted by auxiliary tools, to the user's screen. This option is passed to lpp , lnt2lotos , and lotos.open .

-version
Display the version number of lnt2lotos and stop.

lotos_options
if any, are passed to lotos.open .

cc_options
if any, are passed to the C compiler.

prog_options
if any, are passed to prog.

Operands

filename.lnt
LNT specification (input)

filename.tnt
C code for data types (source, input)

filename.fnt
C code for functions (source, input)

filename.o
object code (output)

filename.err
detailed error messages (output)

prog.a
exploration module (archive, input)

prog.c
exploration module (source, input)

prog.o
exploration module (object code, input)

prog
executable program (output)

Files

$CADP_TMP/lnt.*
temporary files

$CADP/lib/LNT_V1.lib
LNT predefined library (LOTOS code)

$CADP/incl/LNT_V1.h
LNT predefined library (C code)

Exit Status

When the source is erroneous, error messages are issued. Exit status is 0 if everything is alright, 1 otherwise.

Authors

Hubert Garavel, Wendelin Serwe, and Gideon Smeding (INRIA Rhone-Alpes).

See Also

caesar , caesar.adt , lotos , lotos.open , lnt2lotos , lpp , and the "Reference Manual of the LNT to LOTOS Translator" available from http://cadp.inria.fr/publications/Champelovier-Clerc-Garavel-et-al-10.html

Additional information is available from the CADP Web page located at http://cadp.inria.fr

Directives for installation are given in files $CADP/INSTALLATION_*.

Recent changes and improvements to this software are reported and commented in file $CADP/HISTORY.

Bugs

Please report any bug to cadp@inria.fr


Table of Contents