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 invokes traian
on filename.lnt to perform static and semantic
analyses on this file and all its transitively imported modules, and stops
in case of errors.
- Second, it translates filename.lnt (and all its 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 (analysis 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 lnt2lotos
and lotos.open
.
- -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 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 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
,
traian
, 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
