DrJava Legacy SVN Repository

A lightweight programming environment for Java

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

Commit [r4630] Maximize Restore History

DynamicJava: Integrated contextual expected types into inference. Refactored ExpressionChecker so that TypeNames are handled by a new TypeNameChecker, and both hide their visitor implementation, forcing invocations to go through a public "check" method. Updated the build script's usage of Retroweaver so that verification is turned on; replaced jlbench.jar with jlbench-base-14.jar to prevent clashes with PLT classes.

Authored by: dlsmith 2008-08-06

Browse code at this revision

Parent: [r4629]

Child: [r4631]

changed	/trunk/dynamicjava/build.xml
added	/trunk/dynamicjava/lib/buildlib/jlbench-base-14.jar
removed	/trunk/dynamicjava/lib/buildlib/jlbench.jar
changed	/trunk/dynamicjava/src/edu/rice/cs/dynamicjava/interpreter/ClassMemberChecker.java
changed	/trunk/dynamicjava/src/edu/rice/cs/dynamicjava/interpreter/ExpressionChecker.java
changed	/trunk/dynamicjava/src/edu/rice/cs/dynamicjava/interpreter/StatementChecker.java
changed	/trunk/dynamicjava/src/edu/rice/cs/dynamicjava/interpreter/TopLevelTest.java
added	/trunk/dynamicjava/src/edu/rice/cs/dynamicjava/interpreter/TypeNameChecker.java
changed	/trunk/dynamicjava/src/edu/rice/cs/dynamicjava/symbol/ExtendedTypeSystem.java
changed	/trunk/dynamicjava/src/edu/rice/cs/dynamicjava/symbol/Type.ast
changed	/trunk/dynamicjava/src/edu/rice/cs/dynamicjava/symbol/TypeSystem.java

/trunk/dynamicjava/build.xml Diff Switch to side-by-side view

/trunk/dynamicjava/lib/buildlib/jlbench-base-14.jar

Binary file was added.

/trunk/dynamicjava/lib/buildlib/jlbench.jar

File was removed.

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

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

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

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

/trunk/dynamicjava/src/edu/rice/cs/dynamicjava/interpreter/TypeNameChecker.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/Type.ast Diff Switch to side-by-side view

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