CristalCaveGem » LustreC

Ada: Add generation of step calls and refactor prototypes and ads printing to handle staless
instance.

Ada: Refactor the instantiation code and instance code, instead of passing the machine list
to the pp_file and all subfunction in adb generation we pass a list of typed instance which
contains the submachines directly with the instance name and the substitution.

Ada: Corrections of some bugs discovered with lustrec-tests

Ada: Add readers and printers for main.adb to match c tests.

Ada: Add the prefix ada for variable named with an Ada reserved name.

Ada: Correct contract printing

Ada: Correct the subcalls to reset for node with polymorphic type(like arrow)

Ada: Correct state print for variable assignement

Ada: Add a pp_with for general with ada statement

Ada: - Replace MStep and Mbranch output by Null to have compilable Ada.
- Correct pp_value to print state access when the variable is memory