Code Generator DLLs (Ada code)
Code Generator DLLs determine what type of code is generated by ACS. From the Launch ACS/TDK dialog, you select the Code Generator DLL you want to use.
ACS is supplied with the following Code Generator DLLs for generating Ada code:
• Ada 95 - Use this Code Generator DLL to generate Ada 95 compliant code.
• SPARK 95 - Use this Code Generator DLL to generate SPARK 95 compliant code.
• Ada 83 - Use this Code Generator DLL to generate Ada 83 compliant code.
• SPARK 83 - Use this Code Generator DLL to generate SPARK 83 compliant code.
If you have installed Modeler to the default location, the supplied Code Generator DLLs reside in subfolders of the following folder (the name of a Code Generator DLL's folder matches that of the Code Generator DLL).
C:\Users\<user>\AppData\Roaming\ItsShadow\ScriptDir\AdaGen