LNT.OPEN manual page
Table of Contents

Name

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

Synopsis

lnt.open [-force] [-root root-process] [-silent | -verbose] [-version] [caesar_options] filename[.lnt] [cc_options] user[.a|.c|.o] [user_options]

Description

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

Options

-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 caesar.open . See lpp , lnt2lotos , and caesar.open for more information.

-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 . See lnt2lotos for more information.

-silent
Execute silently. This option is passed to lpp , lnt2lotos , and caesar.open . See lpp , lnt2lotos , and caesar.open for more information.

-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 caesar.open . See lpp , lnt2lotos , and caesar.open for more information.

-version
Display the version number of lnt2lotos and stop.

caesar_options
if any, are passed to caesar.open .

cc_options
if any, are passed to the C compiler.

user_options
if any, are passed to user.

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)

user.a
exploration module (archive, input)

user.c
exploration module (source, input)

user.o
exploration module (object code, input)

user
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 , caesar.open , lotos , 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