Changes between Initial Version and Version 1 of aadlPrinter

Timestamp:

04/13/17 15:44:05 (7 years ago)

Author:

pdissaux

Comment:

--

aadlPrinter

@@ +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 predicates (facts base) must comply with the definition of thoses generated by the [wiki:aadlparser AADL parser] (aadlrev.exe). 
+The rules are generated from a HOOD design built with Stood and using the Stood prolog generator.
+
+== pragmas ==
+
+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 case of AADL Keywords (default='Upper') and Identifiers (default='Lower').
+When '!AsIs' is specified, the unparser keeps the given string without case change.
+{{{
+isProperty('','','','','','','LMP::Unparser_KW_Case',Case,'').
+isProperty('','','','','','','LMP::Unparser_ID_Case',Case,'').
+with Case = 'AsIs' | 'Lower' | 'Upper'
+}}}
+
+The following property controls the insertion of a default header showing information contained by the isVersion/4 fact.
+{{{
+isProperty('','','','','','','LMP::Unparser_Insert_Header',Flag,'').
+with Flag = 'Yes' | 'No' default value is 'No'.
+}}}
+
+As an example, when the unparser is connected to the parser, the generated header looks like:
+{{{
+---------------------------------------------------
+-- AADL2.2
+-- aadlrev2.10
+-- (c)Ellidiss Technologies
+-- 11March2017
+---------------------------------------------------
+}}}