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