edu.rice.cs.drjava.model.repl
Class TypeCheckerExtension

java.lang.Object
  |
  +--koala.dynamicjava.tree.visitor.VisitorObject
        |
        +--koala.dynamicjava.interpreter.TypeChecker
              |
              +--edu.rice.cs.drjava.model.repl.TypeCheckerExtension
All Implemented Interfaces:
Visitor

public class TypeCheckerExtension
extends TypeChecker

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
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait
 

Constructor Detail

TypeCheckerExtension

public TypeCheckerExtension(Context c)
Method Detail

visit

public Object visit(DivideExpression node)
Visits a DivideExpression
Overrides:
visit in class TypeChecker
Parameters:
node - the node to visit

visit

public Object visit(RemainderExpression node)
Visits a RemainderExpression
Overrides:
visit in class TypeChecker
Parameters:
node - the node to visit

visitNumericExpression

private static Class visitNumericExpression(BinaryExpression node,
                                            String s)
Visits a numeric expression