Development Log in November 2012.

  • SPARK Pro
    Nov 30th, 2012

    SPARKMake returns non-zero exit status on error
    SPARKMake now returns a non-zero exit status when it encounters an error, thus making it easier to detect problems when used in an automated build process. Some SPARKMake warnings have been reclassified as errors. Details are in the SPARKMake User Manual.

  • GPS | GNATbench
    Nov 29th, 2012

    GPS: remove status bar
    The status bar has been removed. It was only used to display the current tasks in progress. The corresponding progress bars were moved to the right of the toolbar, replacing the throbber.

  • GPS | GNATbench
    Nov 28th, 2012

    GPS: use ellipsis in window titles
    The text in title bars and in the notebook tabs will now use ellipsis ("...") when the window is too small to accomodate the entire text. The size of notebook tabs is also limited so we do not end up with a single tab using most of the notebook width, thus hiding the others. This behavior is controlled by a new preference "Window/Homogeneous Tabs".

  • CodePeer
    Nov 27th, 2012

    Unconstrained float overflow checks
    CodePeer now comes with an option to check for overflow on unconstrained floating point types. Previously, CodePeer was following the semantics of most Ada compilers, which do not generate overflow checks on unconstrained floating point types. A new switch is provided (-gnateF) to generate SCIL files with these additional checks.

  • CodePeer
    Nov 27th, 2012

    New option to disable text listings
    A new switch (-no-text-output) is available to disable the generation of text listings when CodePeer generates reports. This is similar to the existing -no-html-output and can be used to speed up CodePeer processing when these text listings are not used.

  • CodePeer
    Nov 26th, 2012

    Precise analysis of int to float conversions
    The treatment of integer to float conversion was imprecise, leading to false positive messages. For example, CodePeer did not realize that Float(0) = 0.0. A precise analysis of such conversions is now implemented.

  • GNAT Pro
    Nov 26th, 2012

    Switch/pragma to force overflow checking on float
    The configuration pragma Check_Float_Overflow, or the -gnateF compiler switch can be used to set a mode in which unconstrained floating-point types (such as the predefined type Float) do overflow checking against the base range bounds for operators instead of generating infinities. This adds considerable overhead, but may be required in some cases.

  • GNAT Pro
    Nov 25th, 2012

    Tag warning messages with relevant switch
    The switch -gnatw.d causes warning messages to be tagged showing how they are controlled. If a warning is generated by default, the tag is [enabled by default]. If a specific warning switch controls the generation of the warning then the tag is the switch to turn the warning on/off. For example: [-gnatwj] for obsolescent features, -gnatwj turns the warning on and [-gnatwJ] turns the warning off. This mode is normally off, it is turned on by using the switch -gnatw.d. This feature is not available in OpenVMS versions of GNAT Pro.

  • GPS | GNATbench
    Nov 21st, 2012

    GPS: Key shortcuts dialog display improved
    The display of the key shortcuts in this dialog now matches what is done for the top-level menus, using symbols like up arrow for the shift key, a caret sign for the control key, and the special symbols for Mac keyboards.

  • GNAT Pro | GPS | GNATbench
    Nov 21st, 2012

    GPS: Key shortcuts dialog display improved
    The display of the key shortcuts in this dialog now matches what is done for the toplevel menus, using symbols like up arrow for the shift key, a caret sign for the control key, and the special symbols for Mac keyboards.

  • CodePeer
    Nov 19th, 2012

    New switch: -level
    A new -level switch is introduced, which replaces -global and -quick switches, and introduces new levels of analysis, to allow purely local and fast analysis, up to fully global analysis, depending on the needs.

  • Support for ‘varchar’ in GNATCOLL.SQL.Inspect
    gnatcoll_db2ada is now able to understand the type 'varchar'

  • CodePeer
    Nov 18th, 2012

    CodePeer web server and message editing
    CodePeer now comes with an optional web server which can serve the HTML pages it produces, and allows users to edit messages manually from their web browser on a remote machine.

  • New subprogram GNATCOLL.VFS.Size
    It is now possible to query the size of a file, including on remote file systems.

  • GPS | GNATbench
    Nov 13th, 2012

    GPS: Project, File, and Window view tooltips
    Tooltips have been added to views to help navigation when windows are narrow.

  • GNAT Pro | GPS | GNATbench
    Nov 13th, 2012

    GPS: Project, Files and Windows views pop-ups
    Tooltips added to views to help navigation when windows are narrow.

  • GPS | GNATbench
    Nov 8th, 2012

    GPS: the Project Wizard takes advantage of gnatname
    The project wizard now optionally uses gnatname to search for Ada units in files with non-standard naming conventions.

  • GNAT Pro | GPS | GNATbench
    Nov 8th, 2012

    ECL: Android development supported
    GNATbench now provides an integration with the Android Development Toolkit (ADT) for mixed Ada-Java development. Java applications on the Android can invoke Ada code using interfaces automatically generated by AJIS. A new project type and corresponding new-project wizard are provided.

  • GNAT Pro | GPS | GNATbench
    Nov 8th, 2012

    GPS: the Project Wizard takes advantage of gnatname
    The project wizard now optionally uses gnatname to search for Ada units in files with non-standard naming conventions.

  • XMLAda
    Nov 8th, 2012

    attributeGroup support in simple type extensions
    It is now possible to extend a simple type in a XSD file, and define which attributes are valid in the extension through a <attributeGroup> tag. Previously, the attributes had to be specified one by one through the <attribute> tag.

  • CodePeer
    Nov 8th, 2012

    CSV output
    The codepeer_msg_reader tool has a new switch -csv to output messages in CSV format, suitable for use in spreadsheets, and containing extra information such as whether messages are new, or have been reviewed.

  • GNAT Pro
    Nov 5th, 2012

    ASIS Corresponding_Declaration for entries
    The Asis.Declarations.Corresponding_Declaration query is extended for An_Entry_Declaration elements. This allows retrieval of the explicit entry declaration corresponding to an implicit inherited declaration of an entry of a derived record or protected type.