Recent Papers
Browse by Technology
Dev Log Archives
Developer Center |
|
AdaCore Development Log
Sunday April 20, 2008
[GNAT] gnatname: different patterns for different dirs
gnatname may now be invoked so that different patterns apply to different directories, using a new switch –and to separate sections of directories/patterns. Example: gnatname -d src1 "*.ada" –and -d src2 "*.spec" ".body"
Posted in Development Log, GNAT Compilation System
Thursday April 17, 2008
[GNAT] Direct visibility on variables in ancestors
In a child project, there is now direct visibility on project level variables and string types in the ancestor of the project. For example, in project Parent.Child any variable and string type in project Parent is directly visible.
Posted in Development Log, GNAT Compilation System
Wednesday April 16, 2008
[GNAT] Higher alignment for composite stand-alone objects
The compiler now chooses a higher alignment than that of their type for composite stand-alone objects if this will result in better performances. This can be disabled by means of pragma Optimize_Alignment (Space).
Posted in Development Log, GNAT Compilation System
Wednesday April 16, 2008
[GPRBUILD] New attributes Object_Generated and Objects_Linked
New attributes for languages are created: Object_Generated (when "false", it means that no object file is created by the "compiler") and Objects_Linked (when "false", it means that the object files of the languages are not linked in an executable or put in a library).
Posted in Development Log, GNAT Compilation System
Monday April 14, 2008
The Return of Ada
A very nice article entitled the “Return of Ada” has been published in Government Computer News. In it, the author highlights some of the recent contract wins and successes that made the choice to use the Ada programming language. To view the article, please click here or visit: http://www.gcn.com/print/27_8/46116-1.html
Posted in Development Log, Ada / Ada 2005
Monday April 14, 2008
Gem #31: preconditions/postconditions
Ada Gem #31 — The notion of preconditions and postconditions is an old one.
A precondition is a condition that must be true before a
section of code is executed, and a postcondition is a
condition that must be true after the section of code
is executed.
Read the rest of this entry »
 682b |
Posted in Development Log, Ada / Ada 2005, Devt log - Gem of the Week
Saturday April 12, 2008
[GNAT] New switch to treat restrictions as warnings
A new compiler switch -gnatr (/TREAT_RESTRICTIONS_AS_WARNINGS in VMS) causes pragma Restrictions to be treated as Restriction_Warnings, and Profile as Profile_Warnings, and Ravenscar sets restriction warnings.
Posted in Development Log, GNAT Compilation System
Saturday April 12, 2008
[GNAT] Better handling of compiler checks in gnatcheck
-R option is implemented for the ‘Restrictions’ gnatcheck rule. This allows the check for a specified restriction to be turned off. In addition the list of warnings and style checks known to gnatcheck has been updated.
Posted in Development Log, GNAT Compilation System
Friday April 11, 2008
[GNAT] Abstract projects may be extended more than once
It is now possible for a project qualified as abstract to be extended by several projects in the same project tree.
Posted in Development Log, GNAT Compilation System
Friday April 11, 2008
[GNAT] Avoid intermediate overflow for type conversion
For an expression such as Integer (A + B), where A and B are Short_Integer and the result of the addition exceeds Short_Integer, it is allowed to get a constraint_error even though the result would fit in type Integer. This seems undesirable in this case, and the RM specifically allows for the possibility of not raising the exception if the right result is given. The compiler now takes advantage of this and does not raise CE in this case.
Posted in Development Log, GNAT Compilation System