Development Log in August 2013.

  • CodePeer
    Aug 31st, 2013

    New switch -output-msg-only
    The CodePeer switch -output-msg-only will generate text messages, thus replacing the need to use codepeer_msg_reader manually, e.g: codepeer -Pprj -output-msg-only

  • CodePeer
    Aug 30th, 2013

    codepeer_msg_reader: new switch -out
    The codepeer_msg_reader utility now accepts a new optional switch -out <output-file> which allows you to generate CodePeer messages in a file directly.

  • GNAT Pro
    Aug 23rd, 2013

    Improved initial language detection in debugger
    When loading the symbols of a program, the debugger tries to determine what language should be selected as the initial language. The debugger now sets the language to Ada whenever the Ada runtime is detected, even when the main subprogram is not in Ada, or when it was compiled without debugging info. This makes it easier to debug the program's Ada code without having to switch the language manually.

  • GPS | GNATbench
    Aug 22nd, 2013

    GPS: new command line -X
    This new switch is similar to -X in gprbuid, and can be used to set the value of the scenario variables found in your project.

  • XMLAda
    Aug 21st, 2013

    Tree_Reader gives access to the current node
    The package DOM.Readers gives access to the DOM node that is being created. This allows users to more easily extend the Tree_Reader object to add their own processing, like creating custom attributes.

  • CodePeer
    Aug 21st, 2013

    Clearer form for messages with equality conditions
    For messages indicating equality conditions, CodePeer will express these in the form "X = Y + C" rather than "X - Y = C" (similarly, it will show "X = Y" rather than "X - Y = 0").

  • GPS | GNATbench
    Aug 19th, 2013

    GPS: display text only in the toolbar
    There is a new preference to set the toolbar style to "text only".

  • GPS | GNATbench
    Aug 19th, 2013

    GPS: window title now lists the base name first
    The GPS window's title has been changed slightly, so that the base name of the current file appears first, then its directory, and finally the project. On operating systems where the truncated title of the window is displayed in the task bar, this makes choosing between multiple GPS instances easier.

  • CodePeer
    Aug 18th, 2013

    CWE field in CSV output
    The CSV output generated by codepeer_msg_reader now contains an additional field listing the relevant CWE (Common Weakness Enumeration) Ids corresponding to a given message.

  • GPS | GNATbench
    Aug 12th, 2013

    GPS: new plug-in modules.py
    A new Python support script named modules.py has been added to GPS. It provides a high-level interface for extending GPS. In particular, it makes it possible to create new views that are saved in the desktop and restored when GPS is restarted.

  • Ada Web Server
    Aug 9th, 2013

    Add type information for session values
    It is now possible to know the type of the data stored into the session while using the For_Every_Session_Data iterator.

  • GPS | GNATbench
    Aug 8th, 2013

    GPS: progress bar when running gps_codepeer_bridge
    After running CodePeer, gps_codepeer_bridge is launched to load messages. This can take a long time on large sources. A progress bar is now displayed during this phase to provide feedback to the user.

  • GPRbuild
    Aug 8th, 2013

    -b, -c and -l may be used in package Builder
    The switches -c, -b and -l are no longer restricted to the command line. They may be specified in package Builder of the main project.

  • GNAT Pro
    Aug 8th, 2013

    Support for compare-and-swap primitive on LEON3
    The atomic compare-and-swap primitive implemented in the LEON3 is now fully supported by the toolchain.

  • GNAT Pro
    Aug 8th, 2013

    ‘0’ parameter for gnatcheck -j option
    The gnatcheck '-j<par>' option accepts the '0' parameter that means the number of processor cores on the platform.

  • CodePeer
    Aug 6th, 2013

    Support for numeric System.Address
    CodePeer now supports Ada code which assumes that the type System.Address is nonprivate and defined as a numeric type, thus allowing address arithmetic and numeric constants without using System.Storage_Elements. This is particularly useful when analyzing legacy Ada 83 code.

  • GPS | GNATbench
    Aug 6th, 2013

    GPS: reorganize editor status bars
    Changed the order of buttons and text in the status bar to avoid flickering when the location is changed or a selection is made, since we now display the amount of selected text.

  • GPS | GNATbench
    Aug 3rd, 2013

    GPS: tooltips for SPARK 2014 and Ada 2012 aspects
    Ada 2012 and SPARK 2014 aspects are now displayed in tooltips.

  • GNAT Pro
    Aug 2nd, 2013

    gnatpp—comments-only switch
    A new switch --comments-only has been added to gnatpp. It directs gnatpp to format the comments, but leave the rest of the program text alone.