Ada-ASSURED Release Notes
|
|
|
|
|
Online Documentation Home Page
Introduction
ONE
GrammaTech, Inc. is pleased to announce the new release of Ada-ASSURED
3.5.
This version of Ada-ASSURED runs on the following platforms:
- x86/Microsoft Windows NT/2000/XP
- Sparc/Solaris 2.5.1 and above
- x86/Linux
This document describes all the differences since version 3.4.
Prettyprinting Improvements
This version provides better default prettyprinting of
Ada programs, and allows more options for configuring
the prettyprinter:
- Assignment statement alignment
-
Contiguous assignment statements are now aligned about the
assignment operator :=.
- Declaration alignment
-
More declarations are aligned when in a contiguous block.
For example, constant and number declarations are now aligned
with object declarations.
- Anomalous alignment items
-
In a group of contiguous items that can be aligned, a single item is
usually considered an anomalous item if its width is more than two
standard deviations away from the mean of all the widths in the group.
The other items in the group are aligned according to their maximum
width, and the anomalous item is unaligned. This behavior is
usually sufficient to yield high quality prettyprinting.
This version allows greater control over what are considered
anomalies. The enforcement parameter Maximum column width
tells the prettyprinter to consider only those items that exceed that
width to be considered anomalous. Also, the enforcement parameter
Anomaly sigmas tells the prettyprinter to consider anomalous those
items whose width exceeds the mean by Anomaly sigmas times the
standard deviation.
- Alignment of while/for loop
-
A new enforcement parameter Align while/for loop allows
control over whether the while or for keyword
is aligned vertically with the loop keyword.
- Single line subprogram declarations
-
A new enforcement parameter Single line subprogram declarations
allows control over whether subprogram declarations with zero
or one parameter are prettyprinted on a single line.
License manager
This version uses a new version of the license manager, version 9.2.
Deprecated features
Bug Fixes
Ada-ASSURED 3.5 contains many fixes and improvements.
This section lists the most significant of these.
- Some parsing problems where comments were improperly moved have
been corrected.
- Missing hyperlinks for enforcement messages have been restored.
- A few problems with running the Ada83 upwards compatibility
scripts have been corrected.
- A documented way of setting the enforcement parameters file
was broken. This has now been fixed.
- The transformation convert-to-new for updating an
old-style enforcement parameters file has been fixed.
- The prettyprinting of the child package name after the end
keyword has been fixed.
- The prettyprinting of the aliased keyword in a record
definition has been fixed.
- The style violation V12 no longer shows up for
object declarations in the visible part of a child package.
- On windows, quitting AA will no longer kill off any instances
of Internet Explorer.