From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.1 required=5.0 tests=BAYES_00,
	PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,80d6bf135d9e304d
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Received: by 10.68.213.68 with SMTP id nq4mr4931421pbc.2.1328922795813;
        Fri, 10 Feb 2012 17:13:15 -0800 (PST)
MIME-Version: 1.0
Path: 
 wr5ni10520pbc.0!nntp.google.com!news1.google.com!eweka.nl!lightspeed.eweka.nl!feeder.erje.net!nuzba.szn.dk!news.jacob-sparre.dk!munin.sparre-andersen.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Ann: Zip-Ada v.42
Date: Fri, 10 Feb 2012 19:13:09 -0600
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <jh4fb9$hbj$1@munin.nbi.dk>
References: 
 <9cf920e1-b8a0-4100-becf-3c5afc2c4be2@b23g2000yqn.googlegroups.com>
 <op.v9gz0okrule2fv@douda-yannick>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: munin.nbi.dk 1328922793 17779 69.95.181.76 (11 Feb 2012 01:13:13 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Sat, 11 Feb 2012 01:13:13 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Response
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
Date: 2012-02-10T19:13:09-06:00
List-Id: <comp.lang.ada>

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