Activity for Werner Dietl
-
Werner Dietl committed [r1262]
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.
1 >