DrJava Legacy SVN Repository

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.

DynamicJava: Fixed Java5Class handling of parameterized static nested classes: Map.Entry<K,V> was being treated incorrectly as a raw type (because "Map" is raw). Improved error printing of anonymous class names.

DynamicJava: Added a TypeSystem.isDisjoint function. Redefined casting and valid ==, !=, instanceof in terms of it.

DynamicJava: Bug fix in cast check (ClassType.getClass() and ClassType.ofClass() are very different things).

DynamicJava: Moved accessibility checks into member lookup, etc., rather than afterwards in order to prevent incorrect shadowing by inaccessible members.