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.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!feed.usenet.farm!feeder3.usenet.farm!newsfeed.xs4all.nl!newsfeed9.news.xs4all.nl!news.redatomik.org!news.neodome.net!news.etla.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!io.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: ArchiCheck v0.1
Date: Wed, 7 Jun 2017 20:04:54 -0500
Organization: JSA Research & Innovation
Message-ID: <oha7rn$8nb$1@franka.jacob-sparre.dk>
References: <593878c9$0$3316$426a74cc@news.free.fr>
NNTP-Posting-Host: rrsoftware.com
X-Trace: franka.jacob-sparre.dk 1496883895 8939 24.196.82.226 (8 Jun 2017
 01:04:55 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Thu, 8 Jun 2017 01:04:55 +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
Xref: news.eternal-september.org comp.lang.ada:46918
Date: 2017-06-07T20:04:54-05:00
List-Id: <comp.lang.ada>

"Lionel Draghi" <Lionel.nospam.Draghi@Ada-France.org> wrote in message 
news:593878c9$0$3316$426a74cc@news.free.fr...
...
> Another classical design decision not so easy to verify is to forbid any 
> dependencies on OS specific code, except in an appointed "portability" 
> package.

pragma Profile (No_Implementation_Extensions);

forbids any dependence on implementation-defined stuff. That eliminates most 
(not all) sources of non-portable code, it clearly includes target-dependent 
packages like Ada.Directories.Information. See 13.12.1(9-13/3). By far the 
best way to avoid OS-specific code is to stick to the language-defined 
packages!

Of course, you could use an OS-Dependent package of your own design (or one 
picked up off the Internet), and the language can't possibly help with that. 
So your tool certainly has value beyond what the language (any language for 
that matter) can do.

                                    Randy.