Testcases for the Universe type system.
File is automatically generated.
Use $(JAVA) to run the correct java binary.
Integration of the Universe type system.
Additional testcases for the Universe type system.
Some updates for the Universe type system.
New files for the Universe type system.
Corrected wrong package specification.
A filter to only show Universe warning messages.
Changed the result of rep * rep and peer * rep to be readonly.
Changes to CArrayType constructor.
Improved some Universes-related error messages (hopefully).
Fix for Bug item #999045.
Updated the URL to the Sun API documents.
Less verbose universe messages.
Reduced the verboseness of the Universe messages.
A list of the modified files from the integration of JUTS.
Bugfix for the second universe annotation for arrays.
Improvements to the Universe type system.
Improved some Universes-related error messages (hopefully).
Changed messages from cautions to warnings.
Removed the deprecated constructor in CArrayType.
Small fix to cast expressions to allow a cast of the
Made the code more robust against null values.
Made the code more robust against null values.
Some documentation and examples for the Universe type system.
File not needed.
Universes: fixed a String concatenation problem.
Some update to the Universe part:
Added all the Universe-related files.
Added all Universe-related dependencies (fixed).
Testcases for the Universe runtime checks.
Fixing various small bugs related to the Universe type system.
Forgotten files.
Implementation of runtime checks for the Universe type system.
Universes: Fixing, when information is stored in the syntax tree.
Some line numbers got mixed up.
Change in signature, to allow arrays that are referenced by an
These files should not be in the repository.
Implementation of runtime checks for the Universe type system.
One of the classes affected by the interface change was not checked in
Universes: Moved code for method purity from JML to MJ.
Bytecode support for the Universe type system.
Reduce verbosity.
Updates do purity checking and inner classes.
Small fix to the documentation.
Testcases for universe runtime checks added.
Added target to make a JAR file of the classes needed
Forgotten skip file for the testcases.
Code simplification for JNewObjectExpression.
Universes: Moved code for method purity from JML to MJ.
Updates to the description of the Universe type system.
Adding the universe subdirectory to the release jar.
Use correct variable for the jar command.
Many small fixes to the Universe type checks.
Fixing upcasts of arrays to Object.
Added the universe runtime checks package.
Bytecode support for the Universe type system.
Java 5 annotation types for the Universe type system.
Fix to strange error in combination with JML.
Change direct calls of "java" to "${JAVA}" to use the
Improved support for Java 5 generics, especially addition
Updates to work on a Java 5 JRE.
Making these export the JAVA variable, for use in makefiles,
Fixed the Universe testcase bugs under Java 5.
Updates to enable Universe runtime checks in the JMLRAC.
Use the correct $JAVA environment variable.
Fixes to the JML specifications.
Fixes to the inheritance of the JavaDoc.
Change direct calls of "java" to "${JAVA}" to use the
Some improvements to Annotation-handling by Ovidio.
Removed old test files.
Compound assignment with readonly receiver is forbidden.
Implementation of Generic Universe Types and
Test case for composite assignment where receiver is readonly.
Updating the test suite.
Updates to the test cases.
Adapted purity.
Updates to the tests for the Universe type system.
Some more small changes.
Testcases that cover the Pre- and Postfix operator handling on
Multi-dimensional arrays of primitive types can now take two ownership modifiers.
New testcases for Generic Universe Types.
Removed.
Pre- and Postfix operations on a field that is reached through
Problems with how generic subtyping works.
Small updates.
CVS file.
Fixes to the JavaDoc to remove all warnings and errors.
Changed CArrayType constructor call.
Addapted to new CArrayType, bugfixes.
Integration of the Universe type system.
Bugfix for the second Universe modifier for arrays.
Documentation and examples for the Universe type system.
Fix for Bug item #999045.
Update to the Universe command line option.
Small beautification in the Universe part.
Extracted all the Universe options into one file and added
Modified Universe command line messages.
Corrected expected --universesx output.