- Ada 2012
- Ada 2005 / 95 / 83
- Embedded Development
- Formal Methods
- Open Source
- Safety-Critical Development
- Static Analysis
Jul 31st, 2009
Better diagnostics on protected types in Ravenscar
When compiling under the Ravenscar profile, the compiler now warns on each component of a protected type that has non-static size and thus would require dynamic allocation and violate the corresponding restriction. For a single protected object declaration an error is emitted for each such component.
New menu to display derived type hierarchy
A new contextual menu which displays the derived type hierarchy is available: Display type hierarchy for xxx.
Support for e500v2-wrs-vxworks toolchain
The project properties editor now offers the e500v2-wrs-vxworks toolchain as a predefined choice of compiler and debugger tools.
Improved error msg when element repeated too much
If your schema requires a sequence of "a", then "b", and your XML file contains "<a><a><b>", XML/Ada used to complain on the second occurrence of "a" that at least one occurrence of "b" is expected. The error message has now been improved to indicate "Too many occurrences of a".
Support for -language examiner switch
GPS now supports the new SPARK Examiner switch -language which also replaces the -ada83 switch.
Renamed entities added into locations view
Entries are added into the locations view for entities renamed using GPS code refactoring. It is then easier to review all the renamed entities.
Improved mouse selection in editor
It is now possible to hold the mouse button after a double-click to extend the selection word by word.
Tip of the Day dialog
GPS now displays a "Tip of the Day" dialog at startup. This is activated by default. To deactivate it, simply uncheck the box at the bottom and close it. To re-activate it, enable the preference "Tip of the Day" in the General section of the preferences.
GPS now has an Entity View, which allows you to browse through all entities present in the project. The Entity View can be accessed through the menu Tools->Views->Entities.
Jul 10th, 2009
A new switch --ext=xxx is provided in gnatfind in order to specify an alternate file extension for ALI files.
Support for source navigation in SPARK annotations
GPS can now take advantage of .sli files (similar to GNAT .ali files for SPARK annotations) when generated by the new SPARK Examiner switch -sli.
On-The-Fly casing is conservative
GPS On-The-Fly casing mode is now more conservative and will do the casing based on the actual characters typed by the user instead of the current buffer content when possible.
Jul 3rd, 2009
Improved message for missing comma in aggregate
In the case of a multidimensional aggregate with a missing comma such as ((1,2) (3,4)), a clearer message (missing ",") is now given.
Outline view hierarchy
The outline now represents a hierarchical view of the contents of the file, as opposed to a flat view. Global variables and field information have been added. In addition, the "Dynamic link with editor" feature and the tooltips are now synchronized with the contents of the source file without having to compile sources anymore.
New plug-in: “eclipse.py” with “delete line” action
GPS now contains an "eclipse.py" plugin, disabled by default, which defines an action "delete line" (bound to ctrl-d) to delete the lines that include the selection. More actions and key bindings will be added later in this plug-in to ease mixed usage of Eclipse and GPS.