DrJava Legacy SVN Repository

Updated DynamicJava with accessibility checks and other options (all turned off by default).

DynamicJava: Implemented private and package-private accessibility checks. Added options to Options to turn these checks on or off. Also implemented requireSemicolon() and requireVariableType() options.

Added a "run" check to verify that the main method to be invoked has the correct signature. Updated dynamicjava-base.jar with other improvements for the Interactions pane.

Platform: fixed incorrect usage of shutdown hook registration within a shutdown hook in Javac160Compiler.

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

DynamicJava: Writing incorrect data to an array produces an ArrayStoreException.

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