Ada-ASSURED 3.5 Release Notes

Introduction

GrammaTech, Inc. is pleased to announce the new release of Ada-ASSURED 3.5. This version of Ada-ASSURED runs on the following platforms:

This document describes all changes since version 3.4.

A new enforcement parameter Align While/For Loop for allowing the loop keyword to be on its own line is now available.
The vertical alignment of items has changed in several respects to be more flexible and to cover more constructs:
- Assignment statements are now aligned around the assignment operator.
- More kinds of declarations can now be aligned, including object and constant declarations.
- Two new enforcement parameters allow the user to control when an item is considered anomalous: Anomaly Sigmas and Maximum Column Width.
Declarations of subprograms with a single parameter are now prettyprinted on a single line.

The prettyprinter can now be customized to perform transformations on the code before saving it.
The section of the manual that describes the Ada grammar has been improved to allow much easier navigation.
Ada-Audit is now more flexible about where it puts its results. These can be printed on standard output or saved to a text file.
Ada-Audit temporary files can now be optionally saved to a separate directory.
An option is provided to allow Ada-Audit to report that no flaws were found.

Ada-ASSURED 3.5 contains many fixes and improvements.

The bug on Windows platforms where AA would crash on exit has been fixed.
The prettyprinting of the aliased keyword in record declarations is now better.
The prettyprinting of the package name after the end keyword is now correct.
A problem with aa-audit failing when given too many files on the command line has been corrected.
The flaw where the user0 resource was being ignored has been fixed.
Missing links from the enforcement messages have been corrected.
An error in the Ada 83 upwards compatibility scripts has been fixed.
An error with extra blank lines appearing in the bodies of case statement alternatives has been corrected.
Exported variables in private child packages are no longer considered visible.