Ada 2012 features in GNAT

Ada 2012 features in GNAT

[Georg Bauhaus]

FSF GNAT's documentation refers to a file `features-ada12' that should
lists GNAT's support for the forthcoming additions to the Ada language:
"Included with GNAT releases is a file @file{features-ada12} that
describes the set of implemented Ada 2012 features."

I could not find this file in that GCC SVN repository files or in
the build directory.  Compiler sources dated 2011-06-10; no ACATS
failures this time on i686-pc-linux-gnu ;-)

Is @file{features-ada12} just missing? Is it added when AdaCore
realeases a Pro series compiler? (I'm just guessing.)

AdaCore mentions on its web site that the release of GNAT Pro 6.4.1,
as of Feb 16, 2011, has an "Ada 2012 preview including most of the
currently finalized Ada Issues (AIs)".

Re: Ada 2012 features in GNAT

[Yannick Duchêne (Hibou57)]

Hi Georg

May not be what you are looking, but this seems to say something  
implicitely:
http://gcc.gnu.org/onlinedocs/gnat_rm/Pragma-Extensions_005fAllowed.html#Pragma-Extensions_005fAllowed

    In extension mode, the latest version of the Ada language is
    implemented (currently Ada 2012), and in addition a small
    number of GNAT specific extensions are recognized

This seems to say, Ada 2012 is implemented, isn't it ? Well, at least to  
the extent of what is currently defined for Ada 2012. May be there is  
nothing like the document you are looking for, because Ada 2012 *is  
implemented* ?

No time to try it myself however (I came to this pragma while seeking for  
some restriction pragmas)


Le Mon, 13 Jun 2011 09:24:48 +0200, Georg Bauhaus  
<rm.dash-bauhaus@futureapps.de> a écrit:

> FSF GNAT's documentation refers to a file `features-ada12' that should
> lists GNAT's support for the forthcoming additions to the Ada language:
> "Included with GNAT releases is a file @file{features-ada12} that
> describes the set of implemented Ada 2012 features."
>
> I could not find this file in that GCC SVN repository files or in
> the build directory.  Compiler sources dated 2011-06-10; no ACATS
> failures this time on i686-pc-linux-gnu ;-)
>
> Is @file{features-ada12} just missing? Is it added when AdaCore
> realeases a Pro series compiler? (I'm just guessing.)
>
> AdaCore mentions on its web site that the release of GNAT Pro 6.4.1,
> as of Feb 16, 2011, has an "Ada 2012 preview including most of the
> currently finalized Ada Issues (AIs)".
>


-- 
“Syntactic sugar causes cancer of the semi-colons.”  [Epigrams on  
Programming — Alan J. — P. Yale University]
“Structured Programming supports the law of the excluded muddle.” [Idem]
“c++; /* this makes c bigger but returns the old value */” [Anonymous]

Re: Ada 2012 features in GNAT

[Robert A Duff]

Georg Bauhaus <rm.dash-bauhaus@futureapps.de> writes:

> FSF GNAT's documentation refers to a file `features-ada12' that should
> lists GNAT's support for the forthcoming additions to the Ada language:

I think it got renamed to features-ada2012 at some point.

- Bob

Re: Ada 2012 features in GNAT

[Yannick Duchêne (Hibou57)]

Le Tue, 14 Jun 2011 17:32:39 +0200, Robert A Duff  
<bobduff@shell01.theworld.com> a écrit:
> I think it got renamed to features-ada2012 at some point.

OK, here is what I found about "features-ada2012" :
http://www.adacore.com/2010/07/02/NF-64-J703-004-gnat/
if says

    see the entry "new features ada2012" in the documentation
    tab of GNAT tracker, or the listing in the development
    log on AdaCore’s Web site.

But what they call GNAT Tracker, seems GNAT Pro only (or am I wrong ?) and  
manually filtering all of the
http://www.adacore.com/category/developers-center/development-log
development log entries, seems a tedious task

Any known dedicated log ?

-- 
“Syntactic sugar causes cancer of the semi-colons.”  [Epigrams on  
Programming — Alan J. — P. Yale University]
“Structured Programming supports the law of the excluded muddle.” [Idem]
“c++; /* this makes c bigger but returns the old value */” [Anonymous]

Re: Ada 2012 features in GNAT

[Georg Bauhaus]

On 14.06.11 17:32, Robert A Duff wrote:
> Georg Bauhaus <rm.dash-bauhaus@futureapps.de> writes:
> 
>> FSF GNAT's documentation refers to a file `features-ada12' that should
>> lists GNAT's support for the forthcoming additions to the Ada language:
> 
> I think it got renamed to features-ada2012 at some point.

Thanks, like the -gnat05/12 switches, I presume. Good to know, but
still this file or a differently named file does not seem to be present
in the source tree. One trivial reason I'm asking is whether/how
this state is a bug or not---it would be nice to have a file summarizing
the current level of support for Ada 2012 if this is feasible.

$ ls -ld gcc
drwxr-xr-x 17 bauhaus bauhaus 20480 Jun 10 15:10 gcc

$ find gcc -iname '*feature*'
$

$ find . -iname '*feature*'
./libstdc++-v3/include/parallel/.svn/text-base/features.h.svn-base
./libstdc++-v3/include/parallel/features.h
./libjava/classpath/lib/javax/management/MBeanFeatureInfo.class
./libjava/classpath/lib/javax/management/.svn/text-base/MBeanFeatureInfo.class.svn-base
./libjava/classpath/lib/javax/management/.svn/prop-base/MBeanFeatureInfo.class.svn-base
./libjava/classpath/lib/java/beans/.svn/text-base/FeatureDescriptor.class.svn-base
./libjava/classpath/lib/java/beans/.svn/prop-base/FeatureDescriptor.class.svn-base
./libjava/classpath/lib/java/beans/FeatureDescriptor.class
./libjava/classpath/javax/management/.svn/text-base/MBeanFeatureInfo.java.svn-base
./libjava/classpath/javax/management/MBeanFeatureInfo.java
./libjava/classpath/java/beans/FeatureDescriptor.java
./libjava/classpath/java/beans/.svn/text-base/FeatureDescriptor.java.svn-base
./libjava/javax/management/.svn/text-base/MBeanFeatureInfo.h.svn-base
./libjava/javax/management/MBeanFeatureInfo.h
./libjava/java/beans/.svn/text-base/FeatureDescriptor.h.svn-base
./libjava/java/beans/FeatureDescriptor.h
./fixincludes/tests/base/.svn/text-base/features.h.svn-base
./fixincludes/tests/base/features.h
./fixincludes/tests/base/sys/.svn/text-base/feature_tests.h.svn-base
./fixincludes/tests/base/sys/feature_tests.h

Re: Ada 2012 features in GNAT

[Simon Wright]

"Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr> writes:

> Le Tue, 14 Jun 2011 17:32:39 +0200, Robert A Duff
> <bobduff@shell01.theworld.com> a écrit:
>> I think it got renamed to features-ada2012 at some point.
>
> OK, here is what I found about "features-ada2012" :
> http://www.adacore.com/2010/07/02/NF-64-J703-004-gnat/
> if says
>
>    see the entry "new features ada2012" in the documentation
>    tab of GNAT tracker, or the listing in the development
>    log on AdaCore’s Web site.
>
> But what they call GNAT Tracker, seems GNAT Pro only (or am I wrong ?)
> and manually filtering all of the
> http://www.adacore.com/category/developers-center/development-log
> development log entries, seems a tedious task
>
> Any known dedicated log ?

You might try
http://www.adacore.com/category/developers-center/technologies/ada/ or
http://www.adacore.com/category/developers-center/development-log/?scat=10
(I got to the latter via the link halfway down the former).

Re: Ada 2012 features in GNAT

[Robert A Duff]

Georg Bauhaus <rm.dash-bauhaus@futureapps.de> writes:

> Thanks, like the -gnat05/12 switches, I presume.

Note that -gnat12 and -gnat2012 are both supported.
Similarly for 05/2005.

>...Good to know, but
> still this file or a differently named file does not seem to be present
> in the source tree. One trivial reason I'm asking is whether/how
> this state is a bug or not---it would be nice to have a file summarizing
> the current level of support for Ada 2012 if this is feasible.

Sorry, but I'm not familiar with how the public versions are
constructed, or how/whether/if/when the features-ada2012 file
gets included.

- Bob

Re: Ada 2012 features in GNAT

[Britt Snodgrass]

On Jun 14, 3:43 pm, Robert A Duff <bobd...@shell01.TheWorld.com>
wrote:
> Georg Bauhaus <rm.dash-bauh...@futureapps.de> writes:
> > Thanks, like the -gnat05/12 switches, I presume.
>
> Note that -gnat12 and -gnat2012 are both supported.
> Similarly for 05/2005.
>
> >...Good to know, but
> > still this file or a differently named file does not seem to be present
> > in the source tree. One trivial reason I'm asking is whether/how
> > this state is a bug or not---it would be nice to have a file summarizing
> > the current level of support for Ada 2012 if this is feasible.
>
> Sorry, but I'm not familiar with how the public versions are
> constructed, or how/whether/if/when the features-ada2012 file
> gets included.
>
> - Bob

I don't see a file by that name directly included in recent GNAT Pro
installations, but it it available to supported customers via GNAT
Tracker.

However a Google search for ' AdaCore features-ada2012 ' yields a
public link to

http://www.adacore.com/wp-content/files/auto_update/gnat-unw-docs/html/gnat_rm_14.html

which contains much of the same information.

- Britt

Re: Ada 2012 features in GNAT

[Georg Bauhaus]

On 6/15/11 3:48 AM, Britt Snodgrass wrote:

> I don't see a file by that name directly included in recent GNAT Pro
> installations, but it it available to supported customers via GNAT
> Tracker.
>
> However a Google search for ' AdaCore features-ada2012 ' yields a
> public link to
>
> http://www.adacore.com/wp-content/files/auto_update/gnat-unw-docs/html/gnat_rm_14.html
>
> which contains much of the same information.

D'oh!

The manual.

@item
@ref{Implementation of Ada 2012 Features}, describes the status of the
GNAT implementation of the Ada 2012 language standard.


Let's see what's in GNAT GPL 2011 which has just been made
available.  :-)

Function expressions (parameterized expressions) are nice.
One also triggers a bug box in GCC 20110610, perhaps as
expected. :->

Re: Ada 2012 features in GNAT

[Martin]

On Jun 15, 2:48 am, Britt Snodgrass <britt.snodgr...@gmail.com> wrote:
> On Jun 14, 3:43 pm, Robert A Duff <bobd...@shell01.TheWorld.com>
> wrote:
>
>
>
>
>
>
>
>
>
> > Georg Bauhaus <rm.dash-bauh...@futureapps.de> writes:
> > > Thanks, like the -gnat05/12 switches, I presume.
>
> > Note that -gnat12 and -gnat2012 are both supported.
> > Similarly for 05/2005.
>
> > >...Good to know, but
> > > still this file or a differently named file does not seem to be present
> > > in the source tree. One trivial reason I'm asking is whether/how
> > > this state is a bug or not---it would be nice to have a file summarizing
> > > the current level of support for Ada 2012 if this is feasible.
>
> > Sorry, but I'm not familiar with how the public versions are
> > constructed, or how/whether/if/when the features-ada2012 file
> > gets included.
>
> > - Bob
>
> I don't see a file by that name directly included in recent GNAT Pro
> installations, but it it available to supported customers via GNAT
> Tracker.
>
> However a Google search for ' AdaCore features-ada2012 ' yields a
> public link to
>
> http://www.adacore.com/wp-content/files/auto_update/gnat-unw-docs/htm...
>
> which contains much of the same information.
>
> - Britt

Aaarrrrggggghhhhhh! It isn't listed in numeric order...that's
handy!!! :roll:

-- Martin

Re: Ada 2012 features in GNAT

[Georg Bauhaus]

On 15.06.11 10:06, Martin wrote:

>> I don't see a file by that name directly included in recent GNAT Pro
>> installations, but it it available to supported customers via GNAT
>> Tracker.
>>
>> However a Google search for ' AdaCore features-ada2012 ' yields a
>> public link to
>>
>> http://www.adacore.com/wp-content/files/auto_update/gnat-unw-docs/htm...
>>
>> which contains much of the same information.
>>
>> - Britt
> 
> Aaarrrrggggghhhhhh! It isn't listed in numeric order...that's
> handy!!! :roll:

13-3-2-21-1-1-8-5

If you want the list of Ada 2012 features supported by GNAT
ordered by AI number, here you go:

http://home.arcor.de/bauhaus/Ada/ada2012byAINumber.ada


:-) :-)