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