- Ada 2012
- Ada 2005 / 95 / 83
- Embedded Development
- Formal Methods
- Open Source
- Safety-Critical Development
- Static Analysis
Aug 14th, 2017
Improve type name matching in gnatdbg
Both gnatdbg.printers.PrettyPrinter and gnatdbg.generics.Match.TypeName have been enhanced to be able to match pretty GDB type names (i.e. the result of `str(gdb_type)`) in addition to their raw names (`gdb_type.name` or `gdb_type.tag`).
Aug 11th, 2017
PolyORB: iac: ignore pragma javaPackage
The IDL-to-Ada compiler iac now ignores pragma javaPackage. This is a convenience for those also using idlj (idl-to-java), because idlj recognizes that pragma.
Aug 5th, 2017
Better subprogram input annotations
If a subprogram takes one or more components of one global object as inputs (as opposed to reading the object as a whole), CodePeer formerly omitted these from the list of inputs in the annotations generated for the subprogram. Now the global object is listed as an input. This means that if either or both of Some_Record.Field_1 and Some_Record.Field2 are global inputs to a subprogram, then Some_Record will be listed as an input.
GPS: Revamping of Help/GNAT Runtime menu
GNAT runtime menu items for cross platforms have been moved into a separate submenu of Help/GNAT runtime instead of placing them after Help/About submenu.
gnatdbg: TypeName can match names with regexps
gnatdbg.generics.Match.TypeName is now able to check that the name of input types matches a given regular expression.
gnatdbg: TypeName can recurse on basis types
gnatdbg.generics.Match.TypeName is now able to recurse on basis types (typedef'd types or integer sub-range basis type) in order to find one type that matches the given name.