edu.mit.ai.psg.jeva
Class JNSBlock

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

public class JNSBlock

extends JevaNode

implements IStatementNode

Jeva parse Node for block Statements: {...}

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

children, id, parent

Method Summary

IEnv	eval(IEnv env) Sequentially evaluate each statement in block.
Object	jjtAccept(IJevaVisitor visitor, Object data) Accept a visitor.
IEnv	verifyTypes(IEnv env) Sequentially verify each statement in block.

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, notVerified, print, print, printSpecialTokens, printToken, printToString, printToString, removeChild, removeChildTokens, replaceChild, replaceChild, setBeginToken, setEndToken, shouldNotHappen, shouldNotHappen, shouldNotHappen, 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)

Description copied from interface: IJevaNode

Accept a visitor. For visitor design pattern: jjtAccept must simply

  return visitor.visit(this, data);  

which dispatches on the type of this to appropriate method of visitor

Overrides:

jjtAccept in class JevaNode

verifyTypes

public IEnv verifyTypes(IEnv env)
                 throws VerifyingException

Sequentially verify each statement in block. Each statement verified in environment possibly extended by previous statements. Extensions made in block are NOT seen outside block, so return original env.

Specified by:

verifyTypes in interface IStatementNode

Throws:

VerifyingException - if statement is illegal.

eval

public IEnv eval(IEnv env)
          throws AbruptCompletionException

Sequentially evaluate each statement in block. Each statement evaluated in environment possible extended by previous statements. Extensions made in block are NOT seen outside block, so return original env.

Specified by:

eval in interface IStatementNode

Throws:

AbruptCompletionException - if body statements complete abruptly