DrJava Legacy SVN Repository

DynamicJava: Fixed checking of switch statement constants. Fixed internal error when processing break or continue statements. Fixed stack overflow occuring during well-formedness and subtyping checks.

PLT Utilities: Cosmetic change in the display of TreeLogSink.

This revision represents an attempt to cleanup the architecture of
this code base which is littered with static fields, flags, and
incomprehensible contracts.

The following files were modified:

M testFiles/forElementaryLevelTest/shouldBreak/ShadowingTestClass.dj0
M testFiles/forElementaryLevelTest/shouldBreak/BeginnerShouldBreakAnonClass.dj0
M src/edu/rice/cs/javalanglevels/IntermediateLevelTest.java
M src/edu/rice/cs/javalanglevels/TypeChecker.java
M src/edu/rice/cs/javalanglevels/ArrayData.java
M src/edu/rice/cs/javalanglevels/Data.java
M src/edu/rice/cs/javalanglevels/Symboltable.java
M src/edu/rice/cs/javalanglevels/LValueTypeChecker.java
M src/edu/rice/cs/javalanglevels/BodyBodyAdvancedVisitor.java
M src/edu/rice/cs/javalanglevels/InterfaceBodyAdvancedVisitor.java
M src/edu/rice/cs/javalanglevels/BodyTypeChecker.java
M src/edu/rice/cs/javalanglevels/ElementaryVisitor.java
M src/edu/rice/cs/javalanglevels/TryCatchBodyTypeChecker.java
M src/edu/rice/cs/javalanglevels/ClassBodyAdvancedVisitor.java
M src/edu/rice/cs/javalanglevels/IntermediateVisitor.java
M src/edu/rice/cs/javalanglevels/AdvancedLevelTest.java
M src/edu/rice/cs/javalanglevels/SymbolData.java
M src/edu/rice/cs/javalanglevels/Bob.java
M src/edu/rice/cs/javalanglevels/LanguageLevelConverter.java
M src/edu/rice/cs/javalanglevels/InterfaceBodyTypeChecker.java
M src/edu/rice/cs/javalanglevels/LValueWithValueTypeChecker.java
M src/edu/rice/cs/javalanglevels/VoidMethodsNotAllowedClassBodyTypeChecker.java
M src/edu/rice/cs/javalanglevels/ClassBodyTypeChecker.java
M src/edu/rice/cs/javalanglevels/TypeData.java
M src/edu/rice/cs/javalanglevels/BodyBodyElementaryVisitor.java
M src/edu/rice/cs/javalanglevels/AdvancedVisitor.java
M src/edu/rice/cs/javalanglevels/ExpressionTypeChecker.java
M src/edu/rice/cs/javalanglevels/BodyBodyIntermediateVisitor.java
M src/edu/rice/cs/javalanglevels/InterfaceBodyIntermediateVisitor.java
M src/edu/rice/cs/javalanglevels/ClassBodyElementaryVisitor.java
M src/edu/rice/cs/javalanglevels/ConstructorBodyTypeChecker.java
M src/edu/rice/cs/javalanglevels/LanguageLevelVisitor.java
M src/edu/rice/cs/javalanglevels/ElementaryLevelTest.java
M src/edu/rice/cs/javalanglevels/JExpressionIFPrunableDepthFirstVisitor.java
M src/edu/rice/cs/javalanglevels/ClassBodyIntermediateVisitor.java

Fixes bug NullPointerException After Closing File with Error
ID: 2835156

Updated the OS X executable stub file to support 64-bit JVMs. This should allow users to select Java 6 in "Java Preferences" and launch DrJava accordingly. Unfortunately, 64-bit VMs seem to be preferred currently -- you can't use "Java Preferences" to tell it to launch with 32-bit Java 5 rather than a 64-bit VM, even if that entry is at the top of the list.

Also fixed a bug in the build process, which was corrupting binary files in DrJava.app via filtering. Don't know how we survived this long without encountering a problem...

Temporary workaround for limited memory when testing under Java 6. The correct fix is to change the tests so that each process only creates a single MainFrame (and make MainFrame a singleton).

Created tag drjava-beta-20090803-r4975

Updated javalanglevels-base.jar for DrJava to include bug fixes to language level facility.

Added .java and .djapp to Mac OS file types. Small rearrangements in MainFrame/Edit menu and Preferences.

Created tag drjava-beta-20090803-r4972