DrJava Legacy SVN Repository

DynamicJava: Constructors can have return statements

DynamicJava: Bug fix for incorrect handling of names shadowed by a different kind of name in the same namespace (variables shadowed by fields, for example). Added an InitializerContext so that final fields can be set by initializer blocks; improved the final-field-mutation check.

DynamicJava: fixed broken final variable mutation check (was allowing some incorrect code and rejecting good code) internal failures when constructing error messages are more cleanly handled

Working full boot classpath for Mint compiler.
Soylatte recognized on Macs.

M plt/src/edu/rice/cs/plt/reflect/JavaVersion.java
M platform/src-mint/edu/rice/cs/drjava/model/compiler/MintCompiler.java
M platform/classes/base-mint/edu/rice/cs/drjava/model/compiler/MintCompiler$1$1.class
M platform/classes/base-mint/edu/rice/cs/drjava/model/compiler/MintCompiler.class
M platform/classes/base-mint/edu/rice/cs/drjava/model/compiler/MintCompiler$1.class
M drjava/lib/platform.jar
M drjava/lib/plt.jar
M drjava/src/edu/rice/cs/drjava/model/JarJDKToolsLibrary.java

Reverted 'cosmetic change' of x+y to x + y inside a
regular expression: "\\d+" is not the same as "\\d + ".

Changed JUnit javadocs to 4.4.

M src/edu/rice/cs/drjava/config/OptionConstants.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/config/ConfigFrame.java

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

M drjava/lib/docs.jar

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.