Ada-Utilities
Prettyprinting and Standards EnforcementWhat Customers Say
"We incorporated Ada-Utilities into our configuration management for standards checking so it's now an automatic part of our process. Having Ada-ASSURED there contributes to making our code inspections run a lot smoother as a result. Code formatting is automated and we know our coding style standards are being met, so we no longer have to spend much time on these issues during reviews."
– Lockheed Martin
Overview
Ada-Utilities is based on the same technology as Ada-ASSURED, but includes additional features. Ada-Utilities provides batch-mode processing, so it is possible to format all the code in a project at once. Similarly, all the code can be reviewed at once for coding-standards violations. A command-line interface also makes it possible to integrate Ada-ASSURED’s high-quality prettyprinting into your favorite editor.
The additional tools included with Ada-Utilities are listed below:
- Ada-Audit: a programmable tool for monitoring compliance with coding standards. Ada-Audit produces reports that can be organized or tabularized however you like. Standard reports display coding errors by file, defect, and severity level. HTML links provide instant navigation to the offending source code and cross-references to appropriate sections of the Ada LRM and the Software Productivity Consortium's Ada Quality and Style Guideline, so problems can be quickly understood and corrected.
- Ada-Prettyprint: a high-quality pretty printer that formats your code for a consistent and professional-looking presentation that improves understanding. Ada-Prettyprint follows AQ&S Guidelines, however it may be tailored to follow your project's coding standards.
- Ada-Grep: a structured find utility similar to the UNIX grep utility, but with an additional argument to narrow the search to a particular Ada structure, such as a name, an expression or a statement.
- Ada-ASSURED Scripting Language: Ada-Utilities comes with the powerful Ada-ASSURED scripting language for customizing and automating the standard Ada-Utilities. It is also useful for creating your own code analysis and transformation utilities. Imagine a language-sensitive version of awk, sed, or perl. You can precisely locate, and modify, if you wish, any fragment of Ada code. Global changes that would be difficult or nearly impossible to do with text-based tools are easy with the Ada-ASSURED scripting language.
A copy of Ada-ASSURED is included with Ada-Utilities.
Free Evaluation Copy
The best way to learn more about Ada-Utilities is to try it. A free evaluation copy can be found here.