|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--koala.dynamicjava.tree.visitor.VisitorObject | +--koala.dynamicjava.interpreter.TypeChecker | +--edu.rice.cs.drjava.model.repl.TypeCheckerExtension
Overrides divide and mod so that they won't evaluate any expressions in the type checker since this may cause divide by zero exceptions even when short circuiting should occur (e.g. (false) ? 2/0 else 1 will cause an exception). $Id: TypeCheckerExtension.java,v 1.1 2002/08/13 18:07:38 jhsia Exp $
Fields inherited from class koala.dynamicjava.interpreter.TypeChecker |
context |
Constructor Summary | |
TypeCheckerExtension(Context c)
|
Method Summary | |
Object |
visit(DivideExpression node)
Visits a DivideExpression |
Object |
visit(RemainderExpression node)
Visits a RemainderExpression |
private static Class |
visitNumericExpression(BinaryExpression node,
String s)
Visits a numeric expression |
Methods inherited from class koala.dynamicjava.interpreter.TypeChecker |
checkAssignmentStaticRules, checkCastStaticRules, checkEqualityStaticRules, checkList, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visitBitwiseAssign, visitBitwiseExpression, visitRelationalExpression, visitShiftExpression, visitUnaryOperation |
Methods inherited from class koala.dynamicjava.tree.visitor.VisitorObject |
visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit |
Methods inherited from class java.lang.Object |
|
Constructor Detail |
public TypeCheckerExtension(Context c)
Method Detail |
public Object visit(DivideExpression node)
visit
in class TypeChecker
node
- the node to visitpublic Object visit(RemainderExpression node)
visit
in class TypeChecker
node
- the node to visitprivate static Class visitNumericExpression(BinaryExpression node, String s)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |