Changes between Version 1 and Version 2 of aadlPrinter

Timestamp:

05/01/17 09:37:23 (7 years ago)

Author:

pdissaux

Comment:

--

aadlPrinter

@@ -1 +1 @@
 = AADL printer =
 
-The AADL unparser (aadlgen.sbp) takes a lists of prolog predicates and generates the corresponding textual AADL specification in a file whose name is given by the environment variable REPORTFILE.
+The AADL unparser (aadlgen.sbp) takes a lists of prolog predicates and generates the corresponding textual AADL specification in a file whose name is given by the environment variable REPORTFILE, or a dedicated pragma.
 
 The predicates (facts base) must comply with the definition of thoses generated by the [wiki:aadlparser AADL parser] (aadlrev.exe). 
@@ -9 +9 @@
 
 The AADL code generation can be controlled by pragmas that must be included into the fact base as AADL properties:
+
+The following properties control the output filenames
+{{{
+isProperty('','',Item,'NIL','NIL','','LMP::Unparser_Output_Filename',Filename,'').
+with Item = 'NIL' | Package name | Property_Set_name 
+}}}
+When Item is set to 'NIL' the overall AADL model is serialized in a single file;
+When Item is set to the name of a Package or a Property Set the corresponding statements are serialized in the specified file;
+When no Output_Filename pragma is defined the overall model is serialized in the file specified by the REPORTFILE environment variable;
+When no output filename is defined the overall model is serialized on the standard output stream.
 
 The following properties control the case of AADL Keywords (default='Upper') and Identifiers (default='Lower').