Home > AdaCore introduces enhanced version of GNAT programming studio, now available from Dedicated Systems Australia

AdaCore introduces enhanced version of GNAT programming studio, now available from Dedicated Systems Australia

Supplier News

AdaCore today announced the release of GNAT Programming Studio (GPS) 4.4, available from Dedicated Systems Australia . This new version of AdaCore’s graphical Ada-oriented Integrated Development Environment (IDE) offers an improved user interface, faster performance and greater integration with AdaCore’s Project Coverage and SPARK Pro toolsets. GPS is provided with GNAT Pro on most platforms, for both native and embedded software development.

Features of the GNAT programming studio include:

  • The GNAT programming studio features new entity views
  • Improved user interface look and feel
  • Hyperlinks are added in source editor for quick source and web navigation
  • Support for filters in the locations display view
  • Outline View updated in real-time, with the ability to display entities hierarchically
  • The GNAT programming studio features formatting preferences that can be automatically set from gnatpp project switches
  • Simplified new file creation
  • Improved memory usage and speed
  • Unified “visual diff” within the source editor
  • Improved SPARK Pro language and toolset support, in particular source navigation for annotations
  • The GNAT programming studio features enhanced documentation generation to support both API documentation and source code browsing
  • New source navigation menus to display a type hierarchy
  • Sources that can automatically be reformatted on save using gnatpp
  • Support for Project Coverage toolset invocation
  • Support for interleaved-Ada/Expanded-Ada (.dg files) in source editor
  • New “Tip of the Day” feature
The most noticeable enhancement in GPS GNAT programming studio 4.4 is in the graphical user interface (GUI), which makes it easier for users to add new plug-ins and customize the IDE. The general navigation capabilities and documentation generation features have also been improved, ensuring consistent creation of supporting materials. And below the visible GUI, GPS now offers tighter integration with both the Project Coverage and SPARK Pro toolsets. Project Coverage’s code coverage and simulator capabilities can now be directly accessed from the IDE, and support for the SPARK language has been extended, allowing improved source/annotation navigation. SPARK developers may now more easily develop SPARK language applications and invoke the SPARK Pro toolset from GPS.

Newsletter sign-up

The latest products and news delivered to your inbox