Recent Papers
Browse by Technology
Dev Log Archives
Developer Center |
|
AdaCore Development Log
Monday October 20, 2008
[GPS] Redesigned Build facility
GPS 4.3.0 comes with a brand new builder facility. The improvements include: - The possibility to configure the command line of every action - The possibility to display icons in the toolbar for every action - Improved support for the recent versions of GPRbuild - A graphical interface to manage build commands - Possibility to launch builds (or any other build-like command, like syntax check or semantic checks) every time a file is saved GPS 4.3.0 also introduces the notion of Build Modes. An entry is displayed in the toolbar, allowing to select a Build Mode. The selection of a Build Mode activates special compilation options, and builds objects and executables in separate subdirectories in the object directories defined by the project. The following Modes are available by default: - default: the switches defined in the project are used - debug: objects are created with debug information and no optimization - gprof: builds with support for the gprof profiler - gcov: builds with support for the gcov coverage tool Note: these modes are effective only when building with gnatmake or gprbuild.
Posted in Development Log, GPS
Monday October 20, 2008
GNATcoll documentation added to Live Docs
The GNAT Components Collection (GNATcoll) documentation has been added to Live Docs. The GNAT Components Collection is a suite of reusable software components and utilities originating from the AdaCore infrastructure. Live Docs provides an up to the minute snapshot of GNAT Pro technology. As new features and improvements are made to GNAT Pro these changes are immediately added to our product documentation and presented here in Live Docs.
Posted in Development Log, GNAT Compilation System
Friday October 17, 2008
[GNAT] More efficient slice assignment with overlap
Assignment between array slices that potentially overlap is more efficient on most native and cross platforms.
Posted in Development Log, GNAT Compilation System
Wednesday October 15, 2008
[GNAT] Reduce false alarms on infinite loop warnings
The compiler was warning "possible infinite loop" on some cases where a local renaming was used as the loop variable. These false alarms are no longer given.
Posted in Development Log, GNAT Compilation System
Wednesday October 15, 2008
[GNAT] Improve infinite loop warnings for pointer chasing
The compiler catches more cases of infinite loops. In particular a case like "while Cur /= null loop …", where the "Cur := Cur.all.Next;" update is missing now generates a warning.
Posted in Development Log, GNAT Compilation System
Monday October 13, 2008
Gem #48: Extending Interfaces in Ada 2005
Ada Gem #48 — Ada 2005 introduced the notion of interfaces for designing object
classes. While interfaces are extremely convenient for implementing new hierarchies,
they can be difficult to extend once they’ve started to be used. The
addition of a new primitive can break all type derivations, as a
type has to implement all abstract primitives inherited from its parents.
In this Gem, we’ll see two ways to overcome this problem, one OOP-generic, and one specific to
Ada 2005.
Read the rest of this entry »
Posted in Ada / Ada 2005, Development Log, Devt log - Gem of the Week
Sunday October 12, 2008
[GNAT] BOM at start of file now propagated by gnatchop
If a file starts with a byte order mark (BOM) specifying that the file is encoded in UTF-8, and the file contains multiple units, gnatchop will now propagate this BOM to all files written, so that they can be compiled without needing to specify an encoding explicitly.
Posted in Development Log, GNAT Compilation System
Saturday October 11, 2008
[GNAT] Improve warning on always-false conditions
Some cases of comparisons of slices with wrong length literals were only generating a warning if -gnatc was used. The warning is now generated in all cases.
Posted in Development Log, GNAT Compilation System
Tuesday October 7, 2008
GPRbuild documentation added to Live Docs
The GPRbuild documentation has been added to Live Docs. GPRbuild is an advanced software tool designed to designed to automate the construction of multi-language systems using GNAT Project files. Live Docs provides an up to the minute snapshot of GNAT Pro technology. As new features and improvements are made to GNAT Pro these changes are immediately added to our product documentation and presented here in Live Docs.
Posted in Ada / Ada 2005, Development Log
Tuesday October 7, 2008
[GNAT] Default warnings for non-local exceptions
The warning -gnatw.x (warn on non-local propagated exception) is now set on by default if restriction No_Exception_Propagation is set, and the program has at least one exception handler.
Posted in Development Log, GNAT Compilation System