Channels ▼

JVM Languages

GNAT Pro 6.2 Released

AdaCore has released GNAT Pro 6.2, the latest addition to its GNAT Pro Ada development environment. The new release is now available on 18 native and 28 cross platforms. It offers over 130 new features, including increased support for code coverage and source-to-object traceability, which are important for safety-critical and high-reliability application development.

As a general upgrade to the underlying technology, the GNAT Pro compiler back end is now based on GCC 4.3, which brings improved code generation, and the debug engine is now based on GDB 6.8, which provides better debugger performance. Complementing these enhancements are specific features including a more efficient implementation of stack checks, overflow checks, and validity checks, and new attributes and pragmas for use with generics. GNAT Pro 6.2 also includes features for associating pre- and post-conditions with subprograms and for selectively enabling or disabling groups of assertions.

Several existing tools have been enhanced. As an example GNATcheck, a coding standard checker, now supports additional verification rules that are especially useful to teams developing high-reliability software. GNAT Pro 6.2 has added two new tools -" the GNAT Ada Java Interfacing Suite (GNAT AJIS) and GNAT Components Collection (GNATcoll). GNAT AJIS allows users to combine natively compiled Ada code with Java applications that run on a Java Virtual Machine (JVM), through the Java Native Interface (JNI). Using GNAT AJIS, Java code can call natively-compiled Ada, and Ada programs can call Java, in a type-safe manner and without the need for users to write low-level JNI-based "glue" code. GNATcoll is a suite of reusable software components comprising packages that AdaCore developed for the implementation of the GNAT compiler and toolset but which are of general utility.

Also available with GNAT Pro 6.2 is GPS 4.3, the latest version of AdaCore's extensible GNAT Programming Studio Integrated Development Environment (IDE). Among other new features, GPS 4.3 allows use of multiple versions of the same toolchain, for example an older baselined version of the GNAT Pro compiler for code generation, and a newer version of the GNAT Pro technology for code browsing. The redesigned builder module enables full customization, aiding development flexibility, and the improved documentation generator includes support for predefined and user-defined tags.

AdaCore is a provider of commercial software solutions for Ada, a modern programming language designed for large, long-lived applications where safety, security, and reliability are critical.

Related Reading

More Insights

Currently we allow the following HTML tags in comments:

Single tags

These tags can be used alone and don't need an ending tag.

<br> Defines a single line break

<hr> Defines a horizontal line

Matching tags

These require an ending tag - e.g. <i>italic text</i>

<a> Defines an anchor

<b> Defines bold text

<big> Defines big text

<blockquote> Defines a long quotation

<caption> Defines a table caption

<cite> Defines a citation

<code> Defines computer code text

<em> Defines emphasized text

<fieldset> Defines a border around elements in a form

<h1> This is heading 1

<h2> This is heading 2

<h3> This is heading 3

<h4> This is heading 4

<h5> This is heading 5

<h6> This is heading 6

<i> Defines italic text

<p> Defines a paragraph

<pre> Defines preformatted text

<q> Defines a short quotation

<samp> Defines sample computer code text

<small> Defines small text

<span> Defines a section in a document

<s> Defines strikethrough text

<strike> Defines strikethrough text

<strong> Defines strong text

<sub> Defines subscripted text

<sup> Defines superscripted text

<u> Defines underlined text

Dr. Dobb's encourages readers to engage in spirited, healthy debate, including taking us to task. However, Dr. Dobb's moderates all comments posted to our site, and reserves the right to modify or remove any content that it determines to be derogatory, offensive, inflammatory, vulgar, irrelevant/off-topic, racist or obvious marketing or spam. Dr. Dobb's further reserves the right to disable the profile of any commenter participating in said activities.

Disqus Tips To upload an avatar photo, first complete your Disqus profile. | View the list of supported HTML tags you can use to style comments. | Please read our commenting policy.