Menu

Commit [r5255]  Maximize  Restore  History

This commit fixes some glitches in the new functional LL (effectively

subsuming both the Elementary (.dj0) and Intermediate (.dj1) language
levels. It appears to type check static methods more accurately
distinguishing legal dynamic method invocations on object receivers
from illegal dynamic method invocations on "this".

The following files were modified:

M src/edu/rice/cs/javalanglevels/TypeChecker.java
M src/edu/rice/cs/javalanglevels/ArrayData.java
M src/edu/rice/cs/javalanglevels/MethodData.java
M src/edu/rice/cs/javalanglevels/LValueTypeChecker.java
M src/edu/rice/cs/javalanglevels/VariableData.java
M src/edu/rice/cs/javalanglevels/BodyTypeChecker.java
M src/edu/rice/cs/javalanglevels/IntermediateVisitor.java
M src/edu/rice/cs/javalanglevels/SymbolData.java
M src/edu/rice/cs/javalanglevels/Bob.java
M src/edu/rice/cs/javalanglevels/LValueWithValueTypeChecker.java
M src/edu/rice/cs/javalanglevels/jexpr.jj
M src/edu/rice/cs/javalanglevels/ClassBodyTypeChecker.java
M src/edu/rice/cs/javalanglevels/ExpressionTypeChecker.java
M src/edu/rice/cs/javalanglevels/BodyBodyIntermediateVisitor.java
M src/edu/rice/cs/javalanglevels/LanguageLevelVisitor.java
M src/edu/rice/cs/javalanglevels/ClassBodyIntermediateVisitor.java

rcartwright 2010-05-26

changed /trunk/javalanglevels/src/edu/rice/cs/javalanglevels/ArrayData.java
changed /trunk/javalanglevels/src/edu/rice/cs/javalanglevels/Bob.java
changed /trunk/javalanglevels/src/edu/rice/cs/javalanglevels/BodyBodyIntermediateVisitor.java
changed /trunk/javalanglevels/src/edu/rice/cs/javalanglevels/BodyTypeChecker.java
changed /trunk/javalanglevels/src/edu/rice/cs/javalanglevels/ClassBodyIntermediateVisitor.java
changed /trunk/javalanglevels/src/edu/rice/cs/javalanglevels/ClassBodyTypeChecker.java
changed /trunk/javalanglevels/src/edu/rice/cs/javalanglevels/ExpressionTypeChecker.java
changed /trunk/javalanglevels/src/edu/rice/cs/javalanglevels/IntermediateVisitor.java
changed /trunk/javalanglevels/src/edu/rice/cs/javalanglevels/LValueTypeChecker.java
changed /trunk/javalanglevels/src/edu/rice/cs/javalanglevels/LValueWithValueTypeChecker.java
changed /trunk/javalanglevels/src/edu/rice/cs/javalanglevels/LanguageLevelVisitor.java
changed /trunk/javalanglevels/src/edu/rice/cs/javalanglevels/MethodData.java
changed /trunk/javalanglevels/src/edu/rice/cs/javalanglevels/SymbolData.java
changed /trunk/javalanglevels/src/edu/rice/cs/javalanglevels/TypeChecker.java
changed /trunk/javalanglevels/src/edu/rice/cs/javalanglevels/VariableData.java
changed /trunk/javalanglevels/src/edu/rice/cs/javalanglevels/jexpr.jj
/trunk/javalanglevels/src/edu/rice/cs/javalanglevels/ArrayData.java Diff Switch to side-by-side view
Loading...
/trunk/javalanglevels/src/edu/rice/cs/javalanglevels/Bob.java Diff Switch to side-by-side view
Loading...
/trunk/javalanglevels/src/edu/rice/cs/javalanglevels/BodyBodyIntermediateVisitor.java Diff Switch to side-by-side view
Loading...
/trunk/javalanglevels/src/edu/rice/cs/javalanglevels/BodyTypeChecker.java Diff Switch to side-by-side view
Loading...
/trunk/javalanglevels/src/edu/rice/cs/javalanglevels/ClassBodyIntermediateVisitor.java Diff Switch to side-by-side view
Loading...
/trunk/javalanglevels/src/edu/rice/cs/javalanglevels/ClassBodyTypeChecker.java Diff Switch to side-by-side view
Loading...
/trunk/javalanglevels/src/edu/rice/cs/javalanglevels/ExpressionTypeChecker.java Diff Switch to side-by-side view
Loading...
/trunk/javalanglevels/src/edu/rice/cs/javalanglevels/IntermediateVisitor.java Diff Switch to side-by-side view
Loading...
/trunk/javalanglevels/src/edu/rice/cs/javalanglevels/LValueTypeChecker.java Diff Switch to side-by-side view
Loading...
/trunk/javalanglevels/src/edu/rice/cs/javalanglevels/LValueWithValueTypeChecker.java Diff Switch to side-by-side view
Loading...
/trunk/javalanglevels/src/edu/rice/cs/javalanglevels/LanguageLevelVisitor.java Diff Switch to side-by-side view
Loading...
/trunk/javalanglevels/src/edu/rice/cs/javalanglevels/MethodData.java Diff Switch to side-by-side view
Loading...
/trunk/javalanglevels/src/edu/rice/cs/javalanglevels/SymbolData.java Diff Switch to side-by-side view
Loading...
/trunk/javalanglevels/src/edu/rice/cs/javalanglevels/TypeChecker.java Diff Switch to side-by-side view
Loading...
/trunk/javalanglevels/src/edu/rice/cs/javalanglevels/VariableData.java Diff Switch to side-by-side view
Loading...
/trunk/javalanglevels/src/edu/rice/cs/javalanglevels/jexpr.jj Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB