DrJava Legacy SVN Repository

Added JUnit 4.4 classes HTML for auto-complete and open Javadoc.

A docs/src/javaapi/allclasses-junit4.4.html

DynamicJava: Implemented support for static final fields as constant expressions (allowing them to appear in switch statements); fixed implicit supertype of enums from raw Enum to Enum<Foo>.

DynamicJava: Bug fix for identifying "this" corresponding to an expected type.

DynamicJava: Fixed special scoping of switch constants for enum types (the constant must be an identifier naming a constant in the corresponding enum type)

DynamicJava: Bug fix for subtyping cases involving unions; updated "more specific" method relation to support varargs; added an option to "pack" capture variables that are the result of inference (javac does this, JLS doesn't specify it); fixed TypePrinter bug.

Complete task ID:159412 - JUnit4 Compatibility -- allows for tests of both JUnit3.x and JUnit4 convention to be run in DrJava. -- 9-16-09 -- John Cate

Null check to fix bug 2859588: NullPointerException in
JarJDKToolsLibrary.guessVersion(JarJDKToolsLibrary.java:215)

I'm guessing this is because a zip file was specified as tools.jar
location, not a jar file.

M src/edu/rice/cs/drjava/model/JarJDKToolsLibrary.java

Created branch for Mint compiler integration. This is more difficult
than I expected, and I cannot continue right now.

Preliminary OpenJDK6 compiler adapter (necessary because OpenJDK6
seems to be the default on Ubuntu).
Difficult to distinguish OpenJDK6 correctly just by looking at
a tools.jar file.
Added a VendorType to JavaVersion.FullVersion, and creating a
completely initialized FullVersion requires the properties
"java.version", "java.runtime.name", and "java.vm.vendor"
(those three allow us to distinguish Sun, Apple and OpenJDK
at runtime).

DynamicJava: Refactored variable-name printing in error messages so that capture variables are named consistently throughout the error message.