DrJava Legacy SVN Repository

A lightweight programming environment for Java

Brought to you by: camus546, csreis, dlsmith, eallen, and 6 others

Commit [r5054] Maximize Restore History

DynamicJava: Improved cast checking and added an option to allow unchecked casts. Added an Options parameter to TypeSystems, which required adjusting the Options interface. Fixed incorrect types produced for static fields accessed via the raw class types.

Authored by: dlsmith 2009-09-03

Browse code at this revision

Parent: [r5053]

Child: [r5055]

changed	/trunk/dynamicjava/src/edu/rice/cs/dynamicjava/Options.java
changed	/trunk/dynamicjava/src/edu/rice/cs/dynamicjava/sourcechecker/SourceChecker.java
changed	/trunk/dynamicjava/src/edu/rice/cs/dynamicjava/symbol/ExtendedTypeSystem.java
changed	/trunk/dynamicjava/src/edu/rice/cs/dynamicjava/symbol/JLSTypeSystem.java
changed	/trunk/dynamicjava/src/edu/rice/cs/dynamicjava/symbol/StandardTypeSystem.java

DrJava Legacy SVN Repository

A lightweight programming environment for Java

Commit [r5054] Maximize Restore History

/trunk/dynamicjava/src/edu/rice/cs/dynamicjava/Options.java Diff Switch to side-by-side view

/trunk/dynamicjava/src/edu/rice/cs/dynamicjava/sourcechecker/SourceChecker.java Diff Switch to side-by-side view

/trunk/dynamicjava/src/edu/rice/cs/dynamicjava/symbol/ExtendedTypeSystem.java Diff Switch to side-by-side view

/trunk/dynamicjava/src/edu/rice/cs/dynamicjava/symbol/JLSTypeSystem.java Diff Switch to side-by-side view

/trunk/dynamicjava/src/edu/rice/cs/dynamicjava/symbol/StandardTypeSystem.java Diff Switch to side-by-side view