= 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
---------------------------------------------------
}}}