edu.mit.ai.psg.jeva
Class JNEConditionalAndExpression

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.JNEConditionalAndExpression

public class JNEConditionalAndExpression

extends ExpressionNode

Jeva parse Node for && Expressions.

Author:

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

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

children, id, parent

Method Summary

boolean	computeIsConstant(IEnv env) constant if all children are constant before a constant false, or if all are constant true
IClass	computeType(IEnv env) includes type check that subexpressions are boolean
Object	eval(IEnv env)
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

computeType

public IClass computeType(IEnv env)
                   throws VerifyingException

includes type check that subexpressions are boolean

Overrides:

computeType in class ExpressionNode

computeIsConstant

public boolean computeIsConstant(IEnv env)
                          throws VerifyingException

constant if all children are constant before a constant false, or if all are constant true

Overrides:

computeIsConstant in class ExpressionNode

eval

public Object eval(IEnv env)
            throws ThrowException

Overrides:

eval in class ExpressionNode