Development Log in 2012.

  • GNAT Pro
    Dec 30th, 2012

    Avoid false elab warnings on assertion calls
    The warning circuit for elaboration calls has been enhanced to avoid some false positive warnings for functions called assertion expressions (e.g. the argument of a Postcondition pragma or Post aspect).

  • GNAT Pro
    Dec 30th, 2012

    Ada 2012 aspects allowed on renaming declarations
    In Ada 2012 mode, aspects are now allowed on all renaming declarations. This is relevant only for implementation-defined aspects (e.g. Warnings => Off).

  • GPRbuild
    Dec 29th, 2012

    New Linker attribute Trailing_Switches
    A new attribute Trailing_Switches has been added in package Linker of project files. These switches are added in the linking command line after the required switches, so that they can override these switches.

  • GNAT Pro
    Dec 28th, 2012

    Pragma Interface/Interface_Name and obsolescence
    Pragma Interface is now considered as violating the No_Obscolescent_Features restriction even in Ada 95 mode. Both pragmas Interface and Interface_Name generate warnings if -gnatwj is set. But note that Interface_Name is not considered to violate the restriction (since it is a GNAT defined pragma that does not appear in Annex J).

  • GNAT Pro
    Dec 25th, 2012

    Handling of missing IS for expression function
    Error handling for some common cases of forgetting the IS that follows an expressions function is improved, and a clear error message complaining about the missing IS is now given.

  • GPRbuild
    Dec 24th, 2012

    —config= in Builder switches
    gprbuild now takes into account a switch --config= in package Builder of the main project.

  • PolyORB
    Dec 21st, 2012

    Make predefined packages compatible with UTF-8
    IAC generates pragma Wide_Character_Encoding to allow usage of prodefined CORBA packages in code with different encoding.

  • Support for ‘json’ type in GNATCOLL.SQL
    It is now possible to specify a field type as 'json'. This will be translated to text or json, depending on the SQL engine.

  • GNAT Pro
    Dec 19th, 2012

    Improved diagnostic on invalid component rep-clause
    The compiler was improved to emit more precise error messages when detecting an invalid representation clause for a volatile or atomic record component, either misaligned or of a size not matching the type's Object_Size attribute.

  • GPRbuild
    Dec 19th, 2012

    Add support for distributed compilation
    It is now possible to use multiple computers to conduct the compilations. This can give good speed-up for large projects.

  • Specify postgreSQL’s port number
    It is now possible, when connecting to a postgreSQL server, to specify which port number should be used.

  • GPS | GNATbench
    Dec 17th, 2012

    GPS: tab menu allows easy selection of open tabs
    The right-click menu on notebook tabs now shows the list of all windows open in those tabs, which ease navigation.

  • SPARK Pro
    Dec 14th, 2012

    Additional standardisation in Simplifier
    The Simplifier now standardises conclusions after all other proof strategies are completed. In some cases this enables it to discharge conclusions that were previously left undischarged.

  • GPS | GNATbench
    Dec 13th, 2012

    GPS: clickable qualified name in editor status bars
    The name of the current subprogram, as displayed in the editor status bar, now includes the name of the enclosing subprograms and packages. Each of these names is clickable to easily jump to the beginning of the enclosing block.

  • SPARK Pro
    Dec 12th, 2012

    Rules for proof of rounding from real to integer
    The Examiner now emits rules for rounding to integer types when VCs involving real numbers are generated. This enables the proof tools to discharge VCs involving rounding which previously could not be proved without supplying user rules.

  • GNAT Pro
    Dec 12th, 2012

    Better handling of symbolic traceback in GNU/Linux
    It is now possible to get proper symbolic traceback from a shared library on GNU/Linux when using the GNAT.Traceback.Symbolic unit. The traceback crosses the shared library and gives proper symbolic information for the caller module (executable or shared library).

  • GNAT Pro
    Dec 8th, 2012

    Better handling of symbolic traceback in Win32 DLL
    It is now possible to get proper symbolic traceback from a Windows DLL when using the GNAT.Traceback.Symbolic unit. The traceback crosses the DLL and gives proper symbolic information for the caller module (executable or DLL).

  • GNAT Pro
    Dec 7th, 2012

    Accuracy of time conversions for bare board targets
    The implementation of functions To_Duration and To_Time_Span for bare board Ravenscar run-time libraries has been changed to reduce accuracy losses and the occurrence of overflows.

  • GPS | GNATbench
    Dec 6th, 2012

    GPS: Locations view has a toolbar
    Actions such as "clear locations" and the filter panel are now present in the view's toolbar to make them more accessible. The preference "Auto Jump To First Location" was removed from the preferences menu and moved to the toolbar as well.

  • GPS | GNATbench
    Dec 5th, 2012

    GPS: EditorOverlay can now highlight a whole line
    The EditorOverlay class can now be used in Python plugins to highlight an entire line, through the property "paragraph-background":

      # Create an overlay for an editor:
      b = GPS.EditorBuffer.get(GPS.File ("my_file.adb"))
      o = b.create_overlay("my_overlay_name")
    
      # Set the paragraph-background property to pink
      o.set_property ("paragraph-background", "#f0c0c0")
    
      # This highlights the entire line 317 in my file
      b.apply_overlay (o,
         GPS.EditorLocation(b, 317, 1),
         GPS.EditorLocation(b, 317, 1))
    

  • GNAT Pro
    Dec 5th, 2012

    Improve DFW server lookup for GPS/GDB for VxWorks
    When an exact match is found, favour it over other (partial) matches.

  • GNAT Pro | GPS | GNATbench
    Dec 5th, 2012

    GPS: EditorOverlay can now highlight a whole line
    The EditorOverlay class can now be used in Python plugins to highlight an entire line, through the property "paragraph-background":

      # Create an overlay for an editor:
      b = GPS.EditorBuffer.get(GPS.File ("my_file.adb"))
      o = b.create_overlay("my_overlay_name")
    
      # Set the paragraph-background property to pink
      o.set_property ("paragraph-background", "#f0c0c0")
    
      # This highlights the entire line 317 in my file
      b.apply_overlay (o,
         GPS.EditorLocation(b, 317, 1),
         GPS.EditorLocation(b, 317, 1))
    

  • GPS | GNATbench
    Dec 3rd, 2012

    GPS: local toolbars for views
    A number of views now have a local toolbar. They also display their configuration settings in a local menu rather than in the Preferences dialog or the contextual menu.

  • 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.

  • GNAT Pro
    Oct 30th, 2012

    New gnatpp option to set named number casing
    A new option -nn(D|U|L|M) has been added to gnatpp. This option allows specifying the casing of names introduced by named number declarations.

  • GPRbuild
    Oct 26th, 2012

    Unconditionally create—autoconf= path
    gprbuild now creates unconditionally the directory of the configuration project file specified with --autoconf= when this directory does not exist.

  • CodePeer
    Oct 25th, 2012

    Improved recognition of stub subprograms
    When CodePeer encounters a routine whose body consists of only a raise statement and for which No_Return has not been specified, it is assumed that this is a stub routine whose "real" implementation has not been provided. Calls to the subprogram are not treated as errors but instead as calls to a subprogram whose implementation is unknown.

  • Speed up GNATCOLL.SQL.Sessions
    The internal handling of the cache in the sessions has been optimized, leading to execution as much as three times faster on a code that performs a lot of manipulation of database elements.

  • SPARK Pro
    Oct 23rd, 2012

    Improved Simplification for composite constants
    The Simplifier's rules for processing composite constants have been improved. Consequently, users may notice more VCs being discharged by the Simplifier.

   1  2  3     Next »