- Ada 2012
- Ada 2005 / 95 / 83
- Embedded Development
- Formal Methods
- Open Source
- Safety-Critical Development
- Static Analysis
Documentation for varargs interfacing
A section has been added to the documentation which discusses interfacing to varargs functions. The only guaranteed portable way of doing this is to create a C wrapper with a fixed number of arguments and then the Ada program interfaces to the wrapper (this is a documentation change only).
New switch to turn off style checks
A new style check switch -gnatyN (STYLE_CHECKS=NONE on VMS) cancels all previously set style checks.
Feb 7th, 2004
Clean up operators in error messages
In a number of cases, operators in error messages were surrounded with two sets of quotes (e.g. ""+""). The error output circuit has been enhanced to always ensure that only one set of quotes surrounds operator names.
Feb 6th, 2004
New pragma Profile
Pragma Profile has been implemented. The only allowed argument is Ravenscar, specifying the ravenscar profile. This is similar in effect to the previous Ravenscar pragma (although the exact details of the profile has changed slightly). This previous pragma is retained for backwards compatibility.
AI-249 Profile pragma
Pragma Profile has been implemented. The only allowed arguments are Ravenscar (equivalent to pragma Ravenscar, which is now considered obsolescent), and Restricted, (equivalent to pragma Restricted_Run_Time, which is now considered obsolescent).
Feb 4th, 2004
New restriction No_Task_Attributes_Package
This restriction ensures at compile time that there are no implicit or explicit dependencies on the package Ada.Task_Attributes. This supersedes the older restriction No_Task_Attributes. The new form is the form intended to be standardized in the new revision of Ada. The old GNAT form No_Task_Attributes is retained as a synonym for back compatibility.
AI-305 No_Task_Attributes_Package restriction
This restriction ensures at compile time that there are no implicit or explicit dependencies on the package Ada.Task_Attributes. This is equiavlent to the previous No_Task_Attributes restriction, which is retained, but is considered obsolescent.
Feb 1st, 2004
gnatpp can process multiple source files
Now it is possible to supply several file names or wildcards on the same call to gnatpp.
AI-230 Generalized use of anonymous access types
This feature allows more general use of anonymous access types. It allow the flexibility of implicit conversion and run-time accessibility checking to be used in more contexts, including as components and in object renamings.