DrJava Legacy SVN Repository

Fixes bug 2831253: Starting DrJava with Project as Parameter
by moving the code to open command line-specified files
after MainFrame.start().

Updating plt.jar for DrJava.

Fixed file associations when Explorer was used. Sometimes projects don't open correctly.

Added friendly name and disabled file associations for .jar file (must be .exe)

DynamicJava: Removed wildcard bound check that was happening before types were resolved (the check is handled later by ensureWellFormed()); prevented infinite looping when checking well-formedness of variable bounds; fixed userRepresentation() printing of ParameterizedClassTypes for static inner classes.

PLT Utilities: Fixed broken RMILogSink: the code that starts the remote process must not try to log to debug or error -- otherwise, there may be an infinite loop! (Added a test to prevent this from accidentally being reintroduced.)

DynamicJava: Fixed process of assigning type arguments to static inner classes.

File associations for .java, .drjava and .djapp files in
Windows. Mostly functional now, except when "Open with...",
"Always open with this" has been performed in Explorer.
Still need improvement for those cases.

M platform/src-windows/edu/rice/cs/drjava/platform/WindowsPlatform.java
M platform/src-windows/edu/rice/cs/drjava/platform/WindowsRegistry.java
M platform/classes/base-windows/edu/rice/cs/drjava/platform/WindowsPlatform.class
M platform/classes/base-windows/edu/rice/cs/drjava/platform/WindowsRegistry.class
M drjava/lib/platform.jar
M drjava/src/edu/rice/cs/drjava/platform/PlatformSupport.java
M drjava/src/edu/rice/cs/drjava/platform/DefaultPlatform.java
M drjava/src/edu/rice/cs/drjava/config/OptionConstants.java
M drjava/src/edu/rice/cs/drjava/ui/MainFrame.java
M drjava/src/edu/rice/cs/drjava/ui/config/ConfigFrame.java

DynamicJava: Bug fixes for inner class implementation. Dynamically-loaded inner classes now work.

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.