Development Log in May 2013.

  • GNAT Pro
    May 30th, 2013

    Statically predicated subtypes as variant choices
    The name of a statically predicated subtype can now be used as a variant choice, and works as expected (corresponding to the list of ranges defined by the static predicate).

  • GPS | GNATbench
    May 29th, 2013

    GPS: execute_extended.py plugin removed
    This plugin allowed executing any of the GPS commands via the keyboard. This behavior is now directly available via the new global search box in the GPS toolbar.

  • GPS | GNATbench
    May 27th, 2013

    GPS: add search field in the global toolbar
    A search field is now provided, which will display search results from a variety of contexts (e.g., source file names, entities, GPS actions, build targets, and open windows).

  • GNAT Pro
    May 27th, 2013

    No runpath for shared libraries with gnatmake -R
    When gnatmake or gprbuild is invoked with the switch -R, shared libraries are not linked with a Runpath.

  • GPS | GNATbench
    May 24th, 2013

    ECL: navigation problems are announced
    Navigation functions like hyperlinks and goto spec/body won't work if sources are not compiled or if foreign Ada source files are used. Dialog boxes (which can be disabled using a checkbox) will pop up to display warnings and errors.

  • GNAT Pro | GPS | GNATbench
    May 24th, 2013

    ECL: navigation problems are announced
    When navigation functions, such as hyperlinks and goto-spec/body, encounter problems due to lack of compilation or use of foreign Ada source files, these problems are announced via warning and errors dialog boxes. Users have the option to disable these dialogs with a checkbox on the dialogs themselves, for convenience.

  • GNAT Pro
    May 24th, 2013

    Endianness of Sequential_IO data
    Ada.Sequential_IO now produces the same data representation, independent of platform endianness, if the Scalar_Storage_Order aspect is specified for the actual type. Note that this is a change in behavior for the case where Ada.Sequential_IO is instantiated with an actual type whose Scalar_Storage_Order is not the system default.

  • GNAT Pro
    May 24th, 2013

    Improved error messages for bad instantiations
    If the entity being instantiated is incorrect (e.g. a generic procedure when a generic function is required), the error message now includes the name of the incorrect entity.

  • GNAT Pro
    May 22nd, 2013

    Better error message for illegal aspect specs
    When a unit containing aspect specifications is compiled with a version of the language earlier than 2012, the compiler reports that the unit should be compiled with the proper version, rather than diagnosing an irrelevant syntax error.

  • GNAT Pro
    May 18th, 2013

    Improved warnings for use of Address aspect
    For an address attribute definition clause, there is a warning if a smaller item is overlaid with a larger one, and the warning about possible lack of reference to the entity is suppressed (on the grounds that aliasing may well be occurring). The same warning improvements are now implemented for the address aspect.

  • GPS | GNATbench
    May 17th, 2013

    WB: enable DFW_ENABLE_ADA_SYMBOL_CHECK at startup
    On Wind River Workbench 3.3 or later, the Ada expressions watch feature requires the DFW_ENABLE_ADA_SYMBOL_CHECK environment variable to be set to 1. If not set, the Expressions view is not able to display current values of record and array variables. This feature can be disabled using the Ada General preferences page.

  • GPS | GNATbench
    May 17th, 2013

    Improved indentation of conditional expressions
    Ada 2012 if-expressions and case-expressions are handled better by the indentation engine. Extra indentation levels are used for each case branch.

  • GNAT Pro | GPS | GNATbench
    May 17th, 2013

    WB: enable DFW_ENABLE_ADA_SYMBOL_CHECK at startup
    On Wind River Workbench 3.3 or later, Ada expressions watch feature requires DFW_ENABLE_ADA_SYMBOL_CHECK environment variable to be set to 1. If not set, Expressions view is not able to display current values of records and arrays variables. This feature can be disabled using Ada General preferences page.

  • GNAT Pro | GPS | GNATbench
    May 17th, 2013

    Improved indentation of conditional expressions
    Ada 2012 If-expressions and case-expressions are better handled by the indentation engine and in particular extra indentation levels are used for each case branch.

  • GPS | GNATbench
    May 16th, 2013

    WB: Debug tooltip
    When debugging an Ada application, if the mouse cursor hoveers over a variable that can be printed by the debugger, the tooltip displays the variable's current value. This feature requires Wind River Workbench 3.3 or later.

  • GNAT Pro | GPS | GNATbench
    May 16th, 2013

    WB: Debug tooltip
    When debugging an ada application, if the mouse cursor is over a variable that can be printed by the debugger, the tooltip displays the variable current value. This feature requires WRWB 3.3 or later.

  • PolyORB
    May 16th, 2013

    Macros in configuration file
    A macro expansion system is now provided for PolyORB runtime configuration parameters, when PolyORB is compiled with GNATCOLL.

  • GNAT Pro
    May 14th, 2013

    No need to specify convention for Import aspect
    It is now legal in GNAT to specify aspect Import for a variable, in order to suppress initialization for it, without explicitly specifying its convention. However, this is only legal if the convention of the object's type is Ada or similar. This permission is not explicitly mentioned in the RM, but it is compatible with the intent of semantic rules on Import and initialization.

  • GPS | GNATbench
    May 13th, 2013

    GB: warning editing files not part of a GB project
    When the Ada editor opens a file not part of a GNATbench project, a dialog is displayed to inform the user that some features will not work properly until the file is part of a GNATbench project. This dialog can be disabled through the Ada Editor Preferences page.

  • GNAT Pro | GPS | GNATbench
    May 13th, 2013

    GB: warning editing files not part of a GB project
    When the Ada editor opens a file not part of a GNATbench project, a dialog is displayed to inform the user that some features will not work properly until the file is part of a GNATbench project. This dialog can be disabled through Ada Editor Preferences page.

  • PolyORB
    May 13th, 2013

    Use host name instead of IP address in CORBA IORs
    IIOP listening endpoint addresses can now be specified to be published by host name (rather than by IP address) in IORs.

  • GNAT Pro
    May 9th, 2013

    More accurate warnings for generic bodies
    Warnings on generic bodies (e.g. for suspicious unchecked conversions) are now properly controlled by the setting of warning flags at the point of instantiation (rather than the settings in effect when the instance bodies are analyzed. This allows finer control over warnings from generic bodies.

  • GNAT Pro
    May 9th, 2013

    To_Address attribute can handle high addresses
    Previously, if the argument of To_Address was given as a literal or other untyped static expression, the argument of To_Address could be no greater than 2**63-1 even on 64-bit machines where addresses up to 2**64-1 make sense. This attribute now handles static address values up to 2**m-1, where m is the memory size (typically 32 or 64).

  • GNAT Pro
    May 8th, 2013

    Better messages for Ada 2012 feature not allowed
    When an Ada 2012 feature is used, and some other Ada mode is active, then the error message (which used to always advise using the -gnat2012 switch) will now point to the relevant pragma if the incompatible mode was set by the use of a pragma.

  • GNAT Pro
    May 8th, 2013

    GNAT tools recognize—help and—version switches
    All gnat utilities (gnatkr, gnatls, gnatpp, etc) now recognize the --help switch (to output usage information), and --version (to output version and copyright information).

  • GNAT Pro
    May 7th, 2013

    Warn on ineffective use of -gnateE
    Some run times (those that do not support full exception semantics) are unable to implement the extra exception information option set by the use of the -gnateE switch. A warning is now issued if -gnateE is used on such a configuration.

  • New function GNATCOLL.Projects.Attribute_Project
    A new function Attribute has been added in GNATCOLL.Projects. It takes as parameter a Project_Type and an attribute name and returns a Project_Type. The returned Project_Type may be different from the parameter in cases of renames declarations.

  • GNAT Pro
    May 6th, 2013

    Switches -gnatc and -gnatR cannot be used together
    Output of representation information (-gnatR) requires code to be generated, so this switch is incompatible with the use of -gnatc. This prohibition is now documented in the users guide and checked by the compiler.

  • GNAT Pro
    May 6th, 2013

    Add For_Each and Sort_Table to GNAT.Table
    Procedures For_Each and Sort_Table have been added to GNAT.Table to make the interface closer to that of GNAT.Dynamic_Tables.

  • GNAT Pro
    May 6th, 2013

    Switch -gnatRm to dump convention/mechanisms
    The switch -gnatRm (/REPRESENTATION_INFO=MECHANISMS in VMS) causes the convention and parameter passing mechanisms to be listed for all subprograms. Note: this is actually not a new feature, it was added some time ago, but never got documented until now, so that is why it appears in this version of the features file.