Recent Papers
Browse by Technology
Dev Log Archives
Developer Center |
|
AdaCore Development Log
Wednesday July 2, 2008
GNATbench 2.1 InSight webinar available
The recently recorded GNATbench 2.1 InSight webinar is now available for viewing. Please visit www.adacore.com/home/gnatpro/webinars to watch it.
Posted in Development Log, GNATbench
Monday June 30, 2008
Gem #41: Accessibility Checks (Part II: Ada2005)
Ada Gem #41 — Ada 2005 brings a number of improvements concerning access types, aimed at simplifying the programmer’s task and adding flexibility to the language. But with greater power comes greater responsibility, so accessibility checks have also been extended to prevent these new features from creating dangling pointers.
Read the rest of this entry »
Posted in Development Log, Ada / Ada 2005, Devt log - Gem of the Week
Thursday June 19, 2008
[GPS] Improvements in the Smart Completion
A new "Dynamic" Smart Completion mode has been introduced. In this mode, the Smart Completion window is invoked as soon as a character is entered in the editor. To activate the dynamic mode, set the Smart Completion preference to "Dynamic" in the Editor panel of the Preferences dialog. The Smart Completion now offers language keywords as completions. Multiple entries corresponding to the same completion are now collapsed into one entry, and in this case the Documentation window lists all corresponding declaration locations, along with the documentations. To improve typing speed, the "TAB" key automatically completes to the first entry in the list, or with the selected entry if there is a selection.
Posted in Development Log, GPS
Thursday June 19, 2008
[GNAT] New warning for biased representation
If a component size clause, size clause, or component clause forces the use of biased representation for an integer type (e.g. storing range 10..11 in one bit using 0/1 to represent 10/11, then a warning is given. This warning is on by default and is included in -gnatwa. It can be turned off by using -gnatw.B. Note that, as documented, biased representation is not allowed for enumeration types for which an enumeration representation clause is given.
Posted in Development Log, GNAT Compilation System
Wednesday June 18, 2008
[PolyORB] IAC generates NOT NULL constraints in impl
When generating implementation templates, the IDL to Ada compiler, IAC, now generates explicit NOT NULL constraints for the Self formal parameter of primitive operations. This allows the use subprogram renaming declarations as the bodies of such primitive operations when operating in Ada 2005 mode.
Posted in Development Log, PolyORB
Monday June 16, 2008
Gem #40: Safe and Secure Software : Chapter 5, Safe Object Oriented Programming
This week’s gem is the fifth chapter of John Barnes’ new booklet:
Safe and Secure Software: An Introduction to Ada 2005.
Over the coming months, we will be publishing all thirteen chapters of the booklet. In the attachment at the bottom of Gem #30 you can access the contents and bibliography for the entire booklet. We hope you will enjoy the read!
Read the rest of this entry »
 722.4Kb |
Posted in Development Log, Ada / Ada 2005, Devt log - Gem of the Week
Friday June 13, 2008
[GPS] Edit menu reorganized
The Edit menu has been reorganized to give access to the most common and useful action more easily. Note that some menus have been moved, which means that if you had custom key bindings associated with these menus, you will need to recreate the key binding with the new menu name.
Posted in Development Log, GPS
Wednesday June 11, 2008
GNATbench 2.1 InSight webinar
There are still places left for the latest GNAT Pro InSight webinar taking place next Tuesday (June 17). This one will feature GNATbench 2.1.0. This release introduces many new features including project management and presentation enhancements, language-sensitive editor enhancements, additional wizards, builder enhancements, and source code navigation enhancements. This webinar will describe and demo some of the new features introduced in 2.1.0. As always, we will allow a question and answer session at the end enabling you to talk directly with the designers of GNATbench.
This webinar will appeal to Ada developers that are using, or are interested in using, GNAT Pro and the Eclipse development environment in their projects. To register for this event, please visit:
www.adacore.com/home/gnatpro/webinars
Posted in Development Log, GNATbench
Wednesday June 11, 2008
[GNAT] Warning on potentially blocking call to Abort_Task
GNAT warns on potentially blocking statements within protected operations as listed in 9.5.1. In addition, the compiler now warns on a call to Abort_Task, which is also a potentially blocking operation (C.7.1)
Posted in Development Log, GNAT Compilation System
Tuesday June 10, 2008
[GNAT] Eliminate range warnings in generic instances
Warnings about range tests whose outcome is known at compile time, or that correspond to ‘Valid tests, are now suppressed in generic instances. This avoids confusing false positives in cases where the test in the generic template is reasonable in the general case, even if in some particular instance, it may be optimized away.
Posted in Development Log, GNAT Compilation System