ada/aws
0
0
Fork 0
mirror of https://github.com/AdaCore/aws.git synced 2026-02-12 12:29:46 -08:00
Code Issues Packages Projects Releases Wiki Activity
12,162 Commits 95 Branches 39 Tags
master
Commit Graph

3 Commits

Author SHA1 Message Date
Pascal Obry
7576dc2968 Activate gnat check Implicit_IN_Mode_Parameters rule. 
Fix all corresponding violations.
Some others minor style fixes.
 2008-09-21 12:00:34 +00:00
Pascal Obry
eae31afefd * aws.ads: 
(HTTP_10): Moved here for consistency.

* makefile:
(check): Output expected violations.

* tools.gpr:
(Locally_Removed_Files): List files that should not be present when
 XML/Ada or ASIS support not activated. These files must not be
 checked by gnatcheck.

Clean sources to pass the current gnat check rules.
A limited number of rules are activated at the moment.
Other rules will be activated at some point.
 2007-09-19 17:54:36 +00:00
Pascal Obry
c622f6224e Add gnat check supports. 
(aws.checks): The set of rules to check.
 2007-09-10 13:52:07 +00:00