Table of Contents
lnt.open - OPEN/CAESAR connection for the LNT language
lnt.open
[
-depend] [
-force] [
-root root-process] [
-silent |
-verbose] [
-version] [
lotos_options]
filename[
.lnt] [
cc_options]
prog[
.a|
.c|
.o] [
prog_options]
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:
- First,
it pre-processes filename.lnt and all transitively imported modules using
lpp
. See lpp
for more information.
- Second, it translates the
pre-processed LNT specification filename.lnt (including all transitively
imported modules) into a LOTOS specification using lnt2lotos
. See
lnt2lotos
for more information.
- Third, it calls ``lotos.open filename.lotos
[cc_options] prog[.a|.c|.o] [prog_options]'', passing to lotos.open (and, transitively,
caesar.adt and caesar) appropriate options that depend on the options passed
to lnt.open (see below). See lotos.open
, caesar.adt
, and caesar
for more information.
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).
- -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
.
See lpp
, lnt2lotos
, and lotos.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 lotos.open
. See lpp
, lnt2lotos
,
and lotos.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 lotos.open
. See lpp
, lnt2lotos
, and lotos.open
for more information.
- -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.
- 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)
- $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)
When the source is erroneous, error messages
are issued. Exit status is 0 if everything is alright, 1 otherwise.
Hubert
Garavel, Wendelin Serwe, and Gideon Smeding (INRIA Rhone-Alpes).
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.
Please report any bug to cadp@inria.fr
Table of Contents