edu.mit.ai.psg.jevaES
Class JNSLabeledStatement

java.lang.Object
  |
  +--edu.mit.ai.psg.jevaES.SimpleNode
        |
        +--edu.mit.ai.psg.jevaES.JevaNode
              |
              +--edu.mit.ai.psg.jevaES.JNSLabeledStatement

public class JNSLabeledStatement

extends JevaNode

implements IStatementNode

Jeva parse Node for labeled statements e.g., "label: while(true){ ... break label; ... }"

Author:

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

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

children, id, parent

Method Summary

IEnv	eval(IEnv env)
String	getLabel()
IStatementNode	getStatement()
IEnv	verifyTypes(IEnv env)

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

getBeginToken, getEndToken, print, print, printToken, printToString, printToString, setBeginToken, setEndToken

Methods inherited from class edu.mit.ai.psg.jevaES.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

getStatement

public IStatementNode getStatement()

getLabel

public String getLabel()

verifyTypes

public IEnv verifyTypes(IEnv env)
                 throws VerifyingException

Specified by:

verifyTypes in interface IStatementNode

eval

public IEnv eval(IEnv env)
          throws AbruptCompletionException

Specified by:

eval in interface IStatementNode