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[.lnt] output[.lnt]

Description

lnt_merge takes as input the main module input.lnt of an LNT model and produces a single LNT module output.lnt containing all modules transitively included by input.lnt. lnt_merge relies on traian to compute the modules included by input.lnt. 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 [email protected]

Table of Contents