From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Ann: Zip-Ada v.42
Date: Fri, 10 Feb 2012 19:13:09 -0600
Date: 2012-02-10T19:13:09-06:00 [thread overview]
Message-ID: <jh4fb9$hbj$1@munin.nbi.dk> (raw)
In-Reply-To: op.v9gz0okrule2fv@douda-yannick
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1062 bytes --]
"Yannick Duch�ne (Hibou57)" <yannick_duchene@yahoo.fr> wrote in message
news:op.v9gz0okrule2fv@douda-yannick...
...
>You may replace these AdaControl rules with simply a pragma:
>
> pragma Restrictions (No_Implementation_Attributes);
Right, but that was introduced in Ada 2005, so it probably won't work on
non-GNAT compilers (or possibly GNAT in Ada 95 mode).
If you're willing to go to Ada 2012 features, use
pragma Profile (No_Implementation_Extensions);
which prevents implementation-defined pragmas, attributes, aspects, units,
and identifiers (the latter being declarations in the standard libraries
that are allowed to vary between implementations - like Short_Integer).
But I suspect that most people will find it hard to write completely pure
Ada (there are a lot of useful vendor-supplied libraries out there).
Ada 2012 also has restrictions to prevent the use of specific individual
aspects, attributes, and pragmas, which might be more appropriate for this
problem.
Randy.
next prev parent reply other threads:[~2012-02-11 1:13 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-02-10 12:53 Ann: Zip-Ada v.42 Gautier write-only
2012-02-10 15:59 ` Yannick Duchêne (Hibou57)
2012-02-10 16:22 ` Yannick Duchêne (Hibou57)
2012-02-12 10:26 ` Gautier write-only
2012-02-11 1:13 ` Randy Brukardt [this message]
2012-02-11 9:35 ` Gautier write-only
2012-02-11 13:01 ` Georg Bauhaus
2012-02-11 13:14 ` Yannick Duchêne (Hibou57)
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox