DrJava Legacy SVN Repository

Better creation context.

DynamicJava: Minor improvements to method lookup error messages.

PLT Utilities: Set factories based on Iterables (makeSet(), makeRelation()) tweaked to preserve order using LinkedHashSet.

Better calling context.

DynamicJava: Major improvement to error messages involving method and constructor invocations. Refactored MethodFinder, etc., to work with lists of DJMethods rather than wrapping those in unnecessary invocation information. Bug fix for looking up static-imported methods -- instance methods with the same name could be matched as well, leading to a runtime crash.

DynamicJava: Refactored DJMethod/DJConstructor to keep track of the declaring instance (different than the object itself when class type parameters have been instantiated). This allows the lookup algorithms to ignore that detail. The declaring instance is necessary for compilation and (probably) overloading analysis.

Working on better creation context integration.

DynamicJava: Enums are always treated as static. Capture variable bounds are always normalized. Error messages with lists of types group the capture-variable bound output together in a single side condition.

DynamicJava:
- Revised member lookup, fixing correctness problems in method lookup and making everything a lot more readable.
- Implemented implicit inner constructor calls ("new Inner()", which is interpreted as "Outer.this.new Inner()").
- Fixed name lookup bug (internal exception) when inside of anonymous classes.
- Improved error messages when a lookup result is ambiguous.
- Fixed a bug in the TreeCompiler's handling of inner classes appearing in generic signatures.
- Changed format of capture variables appearing in error messages ("?T1" instead of "?1").

Working on better Creation Context errors.