GNAT Pro 7.0 Ada language tool released by Adacore
NewsMarch 01, 2012
NUREMBERG, Germany. AdaCore officials released the latest version of their Ada development environment tool ? GNAT Pro 7.0 this week at the Embedded World show in Nuremberg, Germany. The new version implements and supports the upcoming Ada language revision ? Ada 2012.
GNAT 7.0’s other new features include new warnings and improved error messages; optimizations for array processing as well as composite return values; an automatic test framework called GNATtest), that generates and maintains a complete unit testing infrastructure for complex projects.
GNAT 7.0 particularly helps programs with stringent safety requirements through its static analysis and formal approval capabilities, says Quentin Ochem, technical account manager at Adacore.
The Ada 2012 revision will soon be sent to ISO (International Organization for Standardization) for ratification. Ada 2012 will enhance contract-based programming. The introduction of more assertion mechanisms in the language, such as global assertions pre- and post-conditions for subprograms, and type invariants, encourage designers to better specify code meaning, and enable run-time verification to guarantee that their intent is obeyed.
For more about Ada 2012, visit: http://www.adacore.com/home/ada_answers/ada-2012/.
For more information on Adacore, visit www.adacore.com.
