Technical information The RainCode Checker for Ada provides you with a convenient infrastructure to check automatically for compliance with company-specific or standard coding conventions in your Ada code. The Checker analyzes the Ada source files, detects where the coding rules have been violated, and generates a detailed report listing the encountered offences. Based on the RainCode Engine's static analysis capabilities, the RainCode Checker enables you to verify simple as well a complex coding rules: Lexical rules: “Identifier homonymy is forbidden” Syntactical rules: “Nested package declaration is not allowed” Semantic rules: “Overloading type names in the package Standard is prohibited” Global rules: “Two distinct formal parameters cannot be associated with the same actual parameter”

Flexibility

• RainCode Checker for Ada verifies about 70 coding rules by default. It allows you to select the rules you actually want the RainCode Checker to check, or to use them as examples to code your own rules in the tool.
• The tool is multi-platform (Windows, Unix, Solaris, and all Unix-like)
• RainCode Checker is adaptable: each company can have its specific RainCode Checker for Ada, with its own coding guidelines.

Testing and documentation

The Checker allows you to attach, for each rule, a set of positive and negative examples that show the expected errors. The regression testing facility checks that each rule is correctly implemented, and documents what each rule does in the generated report.

Report Generation

After you have checked the whole project against a set of rules, you can ask RainCode Checker to generate a report with different levels of detail. This report in PDF format can be used:

• as a deliverable for a third party, which lists all the sources which have been checked, with the matching list of offences; or
• as a complete documentation of the coding guidelines used within the organization or project.

Evaluation Version

The RainCode Checker for Ada comes in a user-friendly GUI version. To see what it looks like, and what it can do for you, just register here and log in. On the download page, you will have access to the evaluation version, which is build on a sample set of 20 Ada sources.