edu.mit.ai.psg.jevaES
Class JNResultType

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

public class JNResultType

extends JevaNode

implements JevaESParserConstants

Jeva parse Node for result types: "void" | Type().

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

Class

toType(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

toType

public Class toType(IEnv env)
             throws VerifyingException