Re: Ann: Zip-Ada v.42

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Fri, 10 Feb 2012 13:53:50 +0100, Gautier write-only  
<gautier_niouzes@hotmail.com> a écrit:

> Hello!
>
> I am pleased to announce a new version of the Zip-Ada library, @
> http://unzip-ada.sf.net/ .

In verif.aru, you have rules to exclude GNAT specific attributes, and you  
enumerate all GNAT specific attributes. Like with any enumeration,  
completness may be an issue, an there is nothing like Others here ;)

You may replace these AdaControl rules with simply a pragma:

    pragma Restrictions (No_Implementation_Attributes);

With this, you are ensured to not miss a single one.

You may also add

    pragma Restrictions (No_Implementation_Pragmas);
    pragma Restrictions (No_Obsolescent_Features); -- But may cause  
portability issues.

For GNAT, place these in a “gnat.adc” file.


Otherwise, good point, you provided some documentation about the Zip file  
format. That's kind of you for readers.


-- 
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University