Menu ▾ ▴

Commit [r4846]  Maximize  Restore  History

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

mgricken 2009-03-25

Browse code at this revision

Parent: [r4845]

Child: [r4847]

changed /trunk/drjava/lib/javalanglevels-base.jar
changed /trunk/javalanglevels/src/edu/rice/cs/javalanglevels/Augmentor.java
changed /trunk/javalanglevels/src/edu/rice/cs/javalanglevels/LanguageLevelConverter.java
/trunk/drjava/lib/javalanglevels-base.jar
Binary file was changed.
/trunk/javalanglevels/src/edu/rice/cs/javalanglevels/Augmentor.java Diff Switch to side-by-side view
Loading...
/trunk/javalanglevels/src/edu/rice/cs/javalanglevels/LanguageLevelConverter.java Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB