Table of Contents
lnt.open - OPEN/CAESAR connection for the LNT language
lnt.open
[
-depend] [
-force] [
-notraian] [
-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
.
- Second, it translates the pre-processed LNT specification filename.lnt
(including all transitively imported modules) into a LOTOS specification
using lnt2lotos
.
- Third, it calls ``lotos.open filename.lotos [cc_options]
prog[.a|.c|.o] [prog_options]'', passing to lotos.open
, and, transitively,
to caesar.adt
and caesar
, appropriate options that depend
on the options passed to lnt.open (see below).
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
.
- -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.
- 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
