Development Log in March 2009.

  • GNAT Pro | GPS | GNATbench
    Mar 30th, 2009

    Support for conditional expressions
    The Ada source editor now knows about new Ada 201x conditional expression and computes indentation accordingly.

  • GNAT Pro
    Mar 29th, 2009

    Conditional expressions are implemented
    Conditional expressions have been implemented, following the suggested design being considered by the ISO WG9 ARG. These are recognized only if the -gnatX (extensions allowed) switch is used, but are expected to become an official part of the language in the future. The form of a conditional expression is:

      (if expr then expr {elsif expr then expr} [else expr])
    
    
    The parens can be omitted in contexts where parens are present anyway, such as subprogram arguments and pragma arguments. If the else clause is omitted, ELSE TRUE is assumed, meaning that (if A then B) is a way to conveniently represent (A implies B) in standard logic.

  • Ada | Ada 2005 / 95 / 83
    Mar 29th, 2009

    AI-0147 Conditional expressions
    Conditional expressions are permitted. The form of such an expression is:

      (if expr then expr {elsif expr then expr} [else expr])
    
    
    The parens can be omitted in contexts where parens are present anyway, such as subprogram arguments and pragma arguments. If the else clause is omitted, ELSE TRUE is assumed, meaning that (if A then B) is a way to conveniently represent (A implies B) in standard logic.

  • GNAT Pro | GPS | GNATbench
    Mar 23rd, 2009

    New plug-in: first_subtype.py
    Adds a new contextual menu entry to jump to the first subtype of an Ada type

  • GNAT Pro
    Mar 21st, 2009

    Preconditions for null procedures
    The compiler supports preconditions attached to null procedures.

  • GNAT Pro
    Mar 21st, 2009

    Improved efficiency in Count and Index subprograms
    The speed efficiency of Count and Index subprograms in the string packages has been improved in the identity map case, by avoiding an unnecessary copy and avoiding use of the useless mapping in this case. In addition these subprograms no longer make a local copy of the string being searched, which avoids unbounded stack usage.

  • Ada
    Mar 18th, 2009

    InSight Webinar - SPARK Pro
    Tuesday April 21 - 5: 00 pm CET / 4:00 pm GMT / 11:00 am EDT / 8:00 am PDT

    The InSight webinar series continues this spring with a presentation by Rod Chapman on the AdaCore/Praxis new joint offering - SPARK Pro. SPARK Pro combines the proven SPARK Ada language and supporting toolset with AdaCore’s GNAT Programming Studio (GPS) integrated development environment, backed by unrivaled support systems.

    This webinar will present the concepts behind the Correctness-by-Construction methodology and will include a demo of the SPARK Pro toolset. As always, we will leave a period for you to ask questions to the SPARK Pro experts and developers themselves.

    For more information and to register please visit www.adacore.com/home/gnatpro/webinars

  • GNAT Pro | GPS | GNATbench
    Mar 17th, 2009

    Integration of SPARK documentation
    If SPARK Pro is present in the PATH, the SPARK documentation is available through the menu Help->SPARK.

  • GNAT Pro | GPS | GNATbench
    Mar 13th, 2009

    Tooltip in locations window
    A tooltip appears when leaving the mouse on items in the Locations view. This is useful to view long messages without having to scroll the view horizontally.

  • GNAT Pro
    Mar 10th, 2009

    String hashing method improved
    An improved strategy for hashing string keys has been implemented. This new implementation is used by the containers library, as well as by GNAT.Spitbol and GNAT.HTable.

  • Ada Web Server
    Mar 10th, 2009

    SOAP client stub based on persistent connection
    New stubs using an HTTP_Connection are now generated by wsdl2aws. It is then possible to reuse a connection for multiple SOAP requests.

  • GNAT Pro
    Mar 9th, 2009

    Detect potential mismatch in names of formals
    The compiler emits a warning if the name of a non-controlling formal in an overriding operation is the same as the name of the next corresponding formal in the overridden operation.

  • GNAT Pro | GPS | GNATbench
    Mar 4th, 2009

    Add Unified visual comparison mode
    A new "Mode" preference in the "Visual diff" section allows displaying of visual comparisons in the fashion of Unified diff, ie with the differences shown directly in the editor, rather than in a new editor.

  • Ada
    Mar 3rd, 2009

    Ada UK and Lean/Agile day conferences

    There are still places available for the upcoming Ada Conference UK being held in London on March 24:

    www.ada-uk-conference.co.uk

    and the "Lean, Agile Approach to High-Integrity Software" conference being held in Paris on March 26:

    www.adacore.com/lean-event

    Both conferences will feature a keynote by Jim Sutton (author Lean Software Strategies) as well as presentations from experts in building High-Assurance software in the fields of Avionics, Space, Military, Security...

    For more information and to register please visit the urls above or contact events@adacore.com.