DrJava Legacy SVN Repository

DynamicJava:

- Fixed recursive calls in TypeNameChecker so that ensureWellFormed is never called from a structure check.

- Redesigned ClassMemberChecker (renamed ClassChecker) to handle multiple stages of class processing: class signature initialization (only structural checks), member signature checking (including ensureWellFormed for class signatures), and then body checking.

- Updated local and top-level class-handling code to use this three-stage process. Name resolution is still flawed: inherited names in a class are only available during the first pass if the referenced class has already been processed (no attempt is made to order the classes based on name dependencies); but the JLS is unclear on the correct behavior here, anyway -- see Java bug 6863462.

- Provided static support for nested classes; there still seem to be some runtime issues (internal errors when I try to use these interactively-defined nested classes).

- Added some status output to SourceChecker.

- Added Library.classLoader() and LibraryContext.getClassLoader() methods to simplify keeping track of TreeClassLoaders.

Prior commit failed to include the new file JExpressionIFPrunableDepthFirstVisitor.java derived drom JExpressionIFPrunableDepthFirstVisitor_void.java which was deleted.

The following file was added:

A src/edu/rice/cs/javalanglevels/JExpressionIFPrunableDepthFirstVisitor.java

Infrastructure for file associations.

This revision fixes a bug in checking for redundant files in LanguageLevelConverter.java and streamlines the implementation of that checking.

The following file was modified:

M src/edu/rice/cs/javalanglevels/LanguageLevelConverter.java

This revision eliminates the code (including some entire classes)
concerned witht he special treatement of "void" instantiations of
generic visitor classes. The new code uses the instantiation type
java.lang.Void as a substitute for the "void" type. The price paid
for this approach is gratuitous "return null" statements in method
of Void return type.

In addition, this revision includes some reformatting cleanup in an
attempt to maintain a line length limit of 120 chars and the DrJava
conventions for formatting javadoc comments.

The following files were modified.

M src/edu/rice/cs/javalanglevels/TypeChecker.java
M src/edu/rice/cs/javalanglevels/BodyBodyAdvancedVisitor.java
M src/edu/rice/cs/javalanglevels/InterfaceBodyAdvancedVisitor.java
M src/edu/rice/cs/javalanglevels/ElementaryVisitor.java
M src/edu/rice/cs/javalanglevels/ClassBodyAdvancedVisitor.java
M src/edu/rice/cs/javalanglevels/IntermediateVisitor.java
M src/edu/rice/cs/javalanglevels/Augmentor.java
M src/edu/rice/cs/javalanglevels/LanguageLevelConverter.java
D src/edu/rice/cs/javalanglevels/JExpressionIFPrunableDepthFirstVisitor_void.java
M src/edu/rice/cs/javalanglevels/BodyBodyElementaryVisitor.java
M src/edu/rice/cs/javalanglevels/AdvancedVisitor.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/LanguageLevelVisitor.java
M src/edu/rice/cs/javalanglevels/util/Log.java
M src/edu/rice/cs/javalanglevels/ClassBodyIntermediateVisitor.java

Opening .drjava projects by double-clicking on Macs.

Changed default project file extension to .drjava. Fixed remote.

PLT Utilities: Added comments to UnindexedRelation.

PLT Utilities: Implemented UnindexedRelation, a lightweight alternative to IndexedRelation. Implemented comparator() factory methods for tuple classes (Option, Pair, Triple, Quad). Implemented ObjectUtil.compare for comparing multiple objects.

Updated http://drjava.org/compiz URL.