DrJava Legacy SVN Repository

Fix for issue where compiling would re-open a test case that had failed and been subsequently closed.

Disabled junit.JUnitErrorModelTest.testLanguageLevelJUnitErrorLine unit test:
It was based on incorrect assumptions, does not work at all anymore, and
needs to be rewritten to use the line number map at the beginning of the
generated java file.

M src/edu/rice/cs/drjava/model/junit/JUnitErrorModelTest.java

Changed line number map in Language Level Converter to a table at the top of the generated file. The entries are <line in dj*>-<line in java> pairs.

Fixes a bug introduced in r4447 that prevented the configuration
of any colors -- the changes to the colors in the preferences did
not reflect outside the preferences dialog, nor were they saved.
Also added a foreground and background color option for the line
numbers. Made the background color for the line numbers a very
light gray.

Updated javalanglevels-base.jar in DrJava.

Fixes test cases for language levels and line number annotations.

This commit introduces line number comments in *.java files generated
by the language level converter. The line number comments have the
form //[1] and are located at the end of the lines. If a line doesn't
have such a line number comment, then the line number comment that
was last seen still applies.

M drjava/lib/javalanglevels-base.jar
M javalanglevels/src/edu/rice/cs/javalanglevels/Augmentor.java
M javalanglevels/src/edu/rice/cs/javalanglevels/LanguageLevelConverter.java

Addresses feature request ID: 2712392 - More Space between Line Number... -- resolved my John Cate 3-25-09

Changed Javadoc generation to include private access.

DynamicJava: Refactored ExtendedTypeSystem by separating customizeable subtyping and inference functions from the standard conversion, lookup, etc. code. Standard code was lifted into an abstract parent, StandardTypeSystem. Also eliminated the bounds check from makeClassType(), allowing bounds checking to occur at a later stage.