- Ada 2012
- Ada 2005 / 95 / 83
- Embedded Development
- Formal Methods
- Open Source
- Safety-Critical Development
- Static Analysis
Aug 22nd, 2009
Improved sockets error handling
Various operations in GNAT.Sockets now raise an exception with a proper message when a closed Selector is incorrectly passed in.
gprbuild no longer outputs “creating auto.cgpr”
When running in the default auto configuration mode, gprbuild will no longer display the message "creating auto.cgpr"
Aug 18th, 2009
Allow some duplicates when using “/**”
It is now allowed to have duplicate Ada sources in more cases. The only constraint is that they should not be inside a group of directories that are specified with the /** notation.
Improved construct database reload
Completion database reload is now much faster, only taking care of the files added/removed, instead of recomputing the whole database. This is visible when e.g. reloading a project, changing the scenario values, adding or removing a file.
Aug 14th, 2009
New gnatprep switch -T
A new switch -T for gnatprep is added. When -T is used, the output file will have only LF as line terminator, even on Windows, where otherwise the line terminator would be CR/LF.
Improvements in the C indentation engine
Various improvements have been made to better indent C and C++ code automatically. In particular, expressions inside parentheses and curly brackets are better aligned.
New plug-in: gnatpp_switches.py
This optional plug-in will automatically scan gnatpp switches in your project, and set the corresponding GPS reformatting preferences accordingly.
gprclean warns when object dir does not exist
When the object dir of a project does not exist, gprclean used to exit with an error. Instead, it will now display a warning, and skip this project, but continue cleaning the other projects if required.
New plug-in: createfile.py
This optional plug-in provides a contextual menu that allows you to create new files in the selected directory, rather than use /File/New and then navigate to the directory in which the file should be saved.
Email: support for continuation lines in headers
Headers can include parameters (for instance Content-Disposition will contain a filename parameter to suggest a name). GNATCOLL now supports cases where these parameters are split into several lines (the filename parameter mentioned above can be split into filename*0, filename*1,... when its value is too long to fit on a single line).
Aug 7th, 2009
Improvement in gnatxref output
In gnatxref output, there is at least one space between a declaration name and its type. This was not the case before for very long names.
Aug 6th, 2009
Better warnings on missing subunits
If a unit in the context of the main unit has missing subunits, the names of the missing subunits and their parents are now displayed in the warning, to ease debugging.
Aug 2nd, 2009
Specific compilation switches for ASIS based tools
When invoking ASIS tools such as gnatmetric with the GNAT driver, if -U is not used, one and only one main is specified on the command line and there are specific switches for the single main in the Compiler package of the project file, these compilation switches are now used to invoke the tool.