© Copyright 2014 Contributors. All rights reserved.

AspectJML 1.7.0 Readme

The full list of resolved issues in 1.7.0 (which is available since 12-Dec-2014) is listed below:

Notable changes

Enhancement of Java 5+ features

Since AspectJML is based on the old JML2 infrastructure of JML, which has no support for Java features above 1.4, the enhancement to support Java 1.5 or above is continuous. This time AspectJML was enhanced in Enum types and speed up of Java 5+ parsing.