comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: ada commercial options
Date: Fri, 22 Apr 2011 19:50:33 -0500
Date: 2011-04-22T19:50:33-05:00	[thread overview]
Message-ID: <iot7os$tdu$1@munin.nbi.dk> (raw)
In-Reply-To: m2zknivnht.fsf@pushface.org

"Simon Wright" <simon@pushface.org> wrote in message 
news:m2zknivnht.fsf@pushface.org...
> "Randy Brukardt" <randy@rrsoftware.com> writes:
>
>>>  2. Avoid gnat-specific libraries.
>>
>> This also is caught by the above profile.
>
> Unless a compiler has a special "don't allow 'with GNAT'" rule, I don't
> see how it can do this?
>
> Or is it that vendors are expected to disallow use of their own
> non-standard libraries?

The restriction only applies to children of the language defined packages, 
since things like "with GNAT" are trivial to find and eliminate. Children of 
Ada, System, and Interfaces are difficult to tell language-defined ones from 
implementation-defined ones (especially as we keep adding them in each new 
language version - an Ada 95 program depending on 
Ada.Containers.Multiway_Trees is looking for trouble).

But for children of the language-defined packages, the answer is yes, they 
are supposed to disallow (when the restriction is present) use of their own 
non-standard libraries. That's the whole point.

                                 Randy.







  reply	other threads:[~2011-04-23  0:50 UTC|newest]

Thread overview: 16+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-04-18 18:21 ada commercial options tonyg
2011-04-18 18:49 ` Vinzent Hoefler
2011-04-18 19:59   ` Georg Bauhaus
2011-04-19  7:37   ` Maciej Sobczak
2011-04-20 23:24     ` Randy Brukardt
2011-04-21  6:18       ` Maciej Sobczak
2011-04-21  8:08       ` stefan-lucks
2011-04-21  9:37         ` Tero Koskinen
2011-04-21 19:58         ` Pascal Obry
2011-04-21 21:13           ` Georg Bauhaus
2011-04-21 21:19             ` Pascal Obry
2011-04-21 19:58         ` Pascal Obry
2011-04-21 23:42         ` Randy Brukardt
2011-04-22  5:55           ` Simon Wright
2011-04-23  0:50             ` Randy Brukardt [this message]
2011-04-21 20:16   ` Nicholas Collin Paul Gloucester
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox