Re: ArchiCheck v0.1

["Randy Brukardt" <randy@rrsoftware.com>]

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