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 offenses. 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 180 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.

Eclipse integration

The user-interface is now available as a stand-alone tool, or as an Eclipse plugin. This replace the aging Swing-based user-interface while retaining its most valuable property, namely, its availability on every mainstream platform.

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 comes in a user-friendly GUI version. To see what it looks like, and what it can do for you, you will require the software and the license file. Please contact us to get your demonstration license file. The software shall then be available at our download site under the "Downloads" left menu item.

The RainCode Checker is based on the Ada RainCode Engine, a scriptable source code analysis tool which natively recognizes the entire Ada95 language. More information is available here.