Table of Contents
lnt.open - OPEN/CAESAR connection for the LOTOS NT language
lnt.open
[
-force] [
-root root-process] [
-silent |
-verbose] [
-version] [
caesar_options]
filename[
.lnt] [
cc_options]
user[
.a|
.c|
.o] [
user_options]
Taking as
input
filename.lnt (which contains the principal module of a LOTOS NT specification)
and an OPEN/CAESAR program
user[
.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 LOTOS NT specification filename.lnt (including all transitively
imported modules) into a LOTOS specification using lnt2lotos
. See
lnt2lotos
for more information.
- Third, it calls ``caesar.open filename.lotos
[cc_options] user[.a|.c|.o] [user_options]'', passing to caesar.open (and, transitively,
caesar.adt and caesar) appropriate options that depend on the options passed
to lnt.open (see below). See caesar.open
, caesar.adt
, and caesar
for more information.
However, if user 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
caesar.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 purpose than OPEN/CAESAR (e.g., for rapid prototying with
EXEC/CAESAR).
- -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 root-process
- Use the process
root-process as the main process. 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.
- filename.lnt
- LOTOS
NT specification (input)
- filename.t
- data type implementation (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)
- $CADP_TMP/lnt.*
- temporary files
- $CADP/lib/LNT_V1.lib
- LOTOS
NT predefined library (LOTOS code)
- $CADP/incl/LNT_V1.h
- LOTOS NT 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
, caesar.open
, lnt2lotos
, lpp
Please
report any bug to cadp@inrialpes.fr
Table of Contents
