edu.mit.ai.psg.jeva
Class JNEInstanceOfExpression

java.lang.Object
  |
  +--edu.mit.ai.psg.jeva.SimpleNode
        |
        +--edu.mit.ai.psg.jeva.JevaNode
              |
              +--edu.mit.ai.psg.jeva.ExpressionNode
                    |
                    +--edu.mit.ai.psg.jeva.JNEInstanceOfExpression

public class JNEInstanceOfExpression

extends ExpressionNode

Jeva parse Node for Expr instanceof Class [JavaLangSpec1.0 sec15.19.2 Type Comparison Operator instanceof]

Author:

CarlManning, caroma@ai.mit.edu
Copyright (c) 1997, 1998, 1999 Massachusetts Institute of Technology

Fields inherited from class edu.mit.ai.psg.jeva.SimpleNode

children, id, parent

Method Summary

boolean	computeIsConstant(IEnv env)
IClass	computeType(IEnv env) checks for legal subexpression and class types [JLS1.0sec15.19.2]
Object	eval(IEnv env) [JavaLangSpec1.0 sec15.19.2 Type Comparison Operator instanceof]
IExpressionNode	getExpressionNode()
JNType	getTypeNode()
Object	jjtAccept(IJevaVisitor visitor, Object data)

Methods inherited from class edu.mit.ai.psg.jeva.ExpressionNode

getType, getType, getValue, isConstant

Methods inherited from class edu.mit.ai.psg.jeva.JevaNode

checkInsertionPoint, find2ndTokenBeforeEndBody, findChildIndex, findPrecedingToken, findTokenBeforeChild, findTokenBeforeChild, findTokenBeforeEnd, getBeginToken, getEndToken, insertChildTokens, insertNewChildAfter, insertNewChildAt, insertNewChildBefore, jnGetChild, jnGetParent, print, print, printToken, printToString, printToString, removeChild, removeChildTokens, replaceChild, replaceChild, setBeginToken, setEndToken, updateEndTokens, updateEndTokensPriorChild, updateEndTokensPriorNode, updateEndTokensPriorNode

Methods inherited from class edu.mit.ai.psg.jeva.SimpleNode

dump, jjtAddChild, jjtClose, jjtGetChild, jjtGetNumChildren, jjtGetParent, jjtOpen, jjtSetParent, toString, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

jjtAccept

public Object jjtAccept(IJevaVisitor visitor,
                        Object data)

Overrides:

jjtAccept in class JevaNode

getExpressionNode

public IExpressionNode getExpressionNode()

getTypeNode

public JNType getTypeNode()

computeType

public IClass computeType(IEnv env)
                   throws VerifyingException

checks for legal subexpression and class types [JLS1.0sec15.19.2]

Overrides:

computeType in class ExpressionNode

computeIsConstant

public boolean computeIsConstant(IEnv env)
                          throws VerifyingException

Overrides:

computeIsConstant in class ExpressionNode

eval

public Object eval(IEnv env)
            throws ThrowException

[JavaLangSpec1.0 sec15.19.2 Type Comparison Operator instanceof]

Overrides:

eval in class ExpressionNode