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, and stops in case of errors.
- Second, it pre-processes filename.lnt
and all transitively imported modules using lpp
.
- Third, it translates
the pre-processed LNT specification filename.lnt (including all transitively
imported modules) into a LOTOS specification using lnt2lotos
.
- Fourth,
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
.
- -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
,
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 [email protected]
Table of Contents
