- Ada 2012
- Ada 2005 / 95 / 83
- Embedded Development
- Formal Methods
- Open Source
- Safety-Critical Development
- Static Analysis
Jan 29th, 2004
New restriction No_Requeue_Statements
This restriction forbids the use of requeue statements. This supersedes the older restriction No_Requeue. The new form is the form intended to be standardized in the new revision of Ada. The old GNAT form No_Requeue is retained as a synonym for back compatibility.
AI-305 No_Requeue_Statements restriction
This restriction forbids the use of requeue statements. This is equivalent to No_Requeue, which is retained, but which considered obsolescent.
Jan 28th, 2004
Consecutive Update calls for GNAT.MD5
Consecutive calls to procedure Update in GNAT.MD5 with string arguments are now equivalent to a single call with the concatenation of these strings.
Jan 3rd, 2004
Access at run time to restrictions info
A new package System.Restrictions provides run-time access to information on what restrictions were specified for the partition at compile time, as well as information on what restrictions were violated.
Jan 2nd, 2004
Stand alone volatile constant error msg
The error message for the use of a stand alone constant atomic or volatile object has been clarified by adding an appropriate RM reference since this requirement is a bit obscure (and there is a useful AARM annotation).
Jan 1st, 2004
Better msg for function used as procedure
A clearer error message is now given for the case of using a function name in a procedure call statement. This is a common error made by C programmers since in C the function return value can be ignored.