- Ada 2012
- Ada 2005 / 95 / 83
- Embedded Development
- Formal Methods
- Open Source
- Safety-Critical Development
- Static Analysis
Feb 17th, 2005
Tornado 653 user hook called after interrupt
In system mode on Tornado 653, a user-defined hook is called every-time a breakpoint is hit. The debugger has been enhanced such that interrupting asynchronously the target causes the same hook to be called. The interruption is achieved by either pressing Control-C, or by pressing the stop button in GPS.
AI-386 New functions returning time spans
This adds the functions Minutes and Seconds to the package Ada.Real_Time for improved convenience in setting longer periods of time.
Feb 12th, 2005
Simplifying gnatpp dictionaries
The semantics and the format of the pretty-printer dictionary entries are simplified and made compatible with the format of GPS/GLADE case exception. Now the only format for subwords is *FOO*, and it covers all the possible cases of using 'FOO' as a subword in an identifier.
Feb 11th, 2005
Non-symbolic traceback support for ERC32
The support for non-symbolic traceback (using the -E gnatbind switch) has been added to the full run time on ERC32 targets. This switch causes traceback information to be stored within exception occurrences.
AI-301 New I/O Subprograms
This AI involves a collection of new I/O functions, including new index functions for Strings.Fixed, Strings.Bounded and Strings.Unbounded that take starting position (From), new Slice subprograms for bounded and unbounded strings, a procedure to set bounded or unbounded string, new Get_Line function for Text_IO, and new Unbounded_IO package for Text_IO for unbounded strings. All these features are also extended to Wide_String and Wide_Wide_String in the usual manner.
Feb 8th, 2005
Better record rep clause layout in gnatpp
Record representation clauses are now reformatted by gnatpp in a manner that is more consistent with record type declarations. First, the notion of compact/uncompact layout is expanded to record representation clauses. Second, the alignment of 'AT' keywords in component clauses is added.
AI-285 Wide_Wide_Character type
This is a major addition, including the run-time types Wide_Wide_Character and Wide_Wide_String corresponding to full 10646 multi-plane Unicode (32-bit characters). A set of several dozen new packages support these new types, and several existing packages are extended. In addition, wide wide characters are useable in character literals, string literals, and identifiers.
AI-302 Container packages
The set of container packages described in this AI is added to the GNAT run-time library. The list is:
Ada.Containers Ada.Containers.Doubly_Linked_Lists Ada.Containers.Generic_Anonymous_Array_Sort Ada.Containers.Generic_Array_Sort Ada.Containers.Generic_Constrained_Array_Sort Ada.Containers.Hash_Tables Ada.Containers.Hash_Tables.Generic_Keys Ada.Containers.Hash_Tables.Generic_Operations Ada.Containers.Hashed_Maps Ada.Containers.Hashed_Sets Ada.Containers.Indefinite.Doubly_Linked_Lists Ada.Containers.Indefinite_Hashed_Maps Ada.Containers.Indefinite_Hashed_Sets Ada.Containers.Indefinite_Ordered_Maps Ada.Containers.Indefinite_Ordered_Multisets Ada.Containers.Indefinite_Ordered_Sets Ada.Containers.Indefinite_Vectors Ada.Containers.Ordered_Maps Ada.Containers.Ordered_Multisets Ada.Containers.Ordered_Sets Ada.Containers.Prime_Numbers Ada.Containers.Red_Black_Trees Ada.Containers.Red_Black_Trees.Generic_Keys Ada.Containers.Red_Black_Trees.Generic_Operations Ada.Containers.Red_Black_Trees.Generic_Set_Operations Ada.Containers.Vectors Ada.Directories Ada.Strings.Equal_Case_Insensitive Ada.Strings.Hash Ada.Strings.Hash_Case_Insensitive Ada.Strings.Less_Case_Insensitive Ada.Strings.Unbounded.Hash Ada.Strings.Wide_Hash Ada.Strings.Wide_Unbounded.Hash