LNT_MERGE manual page
Table of Contents

Name

lnt_merge - merge a multi-module LNT model into a single-module LNT model

Synopsis

lnt_merge [-force] [-log file] [input_dir/]input[.lnt] [output_dir/]output[.lnt]

or

lnt_merge [-force] [-log file] [input_dir/]input[.lnt] output_dir

Description

lnt_merge takes as input the main module input_dir/input.lnt of an LNT model and produces a single LNT module containing all modules transitively included by input_dir/input.lnt. input_dir and output_dir must be paths to existing directories. By default, they denote the current directory if they are not present on the command-line. In its first form, lnt_merge stores the output LNT module in a file named output_dir/output.lnt, provided that this file does not already exist. In its second form, lnt_merge stores the output LNT module in a file named output_dir/input.lnt, provided that this file does not already exist. lnt_merge relies on traian to compute the modules included by input.lnt, which are searched in input_dir. lnt_merge concatenates also any .tnt and .fnt files containing external C implementations of types or functions.

In the generated module, all included modules are separated by lines of dashes. The lines containing the module and end module keywords of the included modules are kept, commented with the prefix "--+". with-clauses of all included modules are aggregated and applied to the generated module, which is always named TEST.

Because the current version of lnt_merge cannot handle occurrences of end module spread over several lines, lnt_merge emits warning messages for each occurrence of a occurrence of end with the subsequent keyword on a different line.

Options

-force   
Force the generation of the output module, even if any of the files output.lnt, output.tnt, or output.fnt already exists. In such a case, the existing result files are removed and, if necessary, overwritten. Not a default option.

-log file
Append to the text file file (in the same directory as output.lnt) a line keeping track of the correspondence between output.lnt and input.lnt.

Exit Status

If no error occurred, 0, otherwise 1.

Authors

Frederic Lang and Wendelin Serwe (INRIA Rhone-Alpes)

See Also

traian , lnt.open , 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.

Bugs

Please report any bugs to cadp@inria.fr

Table of Contents