edu.mit.ai.psg.jeva
Class JNDConstructorDeclaration

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

public class JNDConstructorDeclaration

extends JevaNode

implements IClassBodyDeclaration, JevaParserConstants

JNDConstructorDeclaration: parse node for constructors. Body is not a simple block, since first statement may be an ExplicitConstructorInvocation which must be treated specially.

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

children, id, parent

Fields inherited from interface edu.mit.ai.psg.jeva.JevaParserConstants

_DEFAULT, ABSTRACT, ANDASSIGN, ASSIGN, BANG, BIT_AND, BIT_OR, BOOLEAN, BREAK, BYTE, CASE, CATCH, CHAR, CHARACTER_LITERAL, CLASS, COLON, COMMA, CONST, CONTINUE, DECIMAL_LITERAL, DECR, DEFAULT, DIGIT, DO, DOT, DOUBLE, ELSE, EOF, EQ, EXPONENT, EXTENDS, FALSE, FINAL, FINALLY, FLOAT, FLOATING_POINT_LITERAL, FOR, FORMAL_COMMENT, GE, GOTO, GT, HEX_LITERAL, HOOK, IDENTIFIER, IF, IMPLEMENTS, IMPORT, INCR, INSTANCEOF, INT, INTEGER_LITERAL, INTERFACE, LBRACE, LBRACKET, LE, LETTER, LONG, LPAREN, LSHIFT, LSHIFTASSIGN, LT, MINUS, MINUSASSIGN, MULTI_LINE_COMMENT, NATIVE, NE, NEW, NULL, OCTAL_LITERAL, ORASSIGN, PACKAGE, PLUS, PLUSASSIGN, PRIVATE, PROTECTED, PUBLIC, RBRACE, RBRACKET, REM, REMASSIGN, RETURN, RPAREN, RSIGNEDSHIFT, RSIGNEDSHIFTASSIGN, RUNSIGNEDSHIFT, RUNSIGNEDSHIFTASSIGN, SC_AND, SC_OR, SEMICOLON, SHORT, SINGLE_LINE_COMMENT, SLASH, SLASHASSIGN, STAR, STARASSIGN, STATIC, STRING_LITERAL, SUPER, SWITCH, SYNCHRONIZED, THIS, THROW, THROWS, TILDE, tokenImage, TRANSIENT, TRUE, TRY, VOID, VOLATILE, WHILE, WHITE_SPACE, XOR, XORASSIGN

Method Summary

protected InterpretedConstructor	computeConstructor(IEnv env) Create constructor.
void	evalConstructorBody(Object target, Object[] arguments, IEnv classEnv) eval constructor body AFTER explicit constructor invocation
Object	evalExplicitConstructorCallParameter(int paramIndex, Object[] arguments, IEnv classEnv)
InterpretedConstructor	getConstructor()
int	getFirstStatementIndex() return index at which first statement can be inserted
int	getNumStatementNodes()
JNFormalParameterList	getParametersNode()
IStatementNode	getStatementNode(int i)
Object	jjtAccept(IJevaVisitor visitor, Object data) Accept a visitor.
IEnv	verifyTypes(IEnv staticEnv, IEnv objectEnv)

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

getConstructor

public InterpretedConstructor getConstructor()
                                      throws IllegalStateException

getParametersNode

public JNFormalParameterList getParametersNode()

getNumStatementNodes

public int getNumStatementNodes()

getStatementNode

public IStatementNode getStatementNode(int i)

getFirstStatementIndex

public int getFirstStatementIndex()

return index at which first statement can be inserted

computeConstructor

protected InterpretedConstructor computeConstructor(IEnv env)
                                             throws VerifyingException

Create constructor. Also initializes this node, adding default explicit constructor invocation "super();" if missing. Called by JNDClassDeclaration.computeTypeSignature, so does not verify body of constructor.

verifyTypes

public IEnv verifyTypes(IEnv staticEnv,
                        IEnv objectEnv)
                 throws VerifyingException

evalExplicitConstructorCallParameter

public Object evalExplicitConstructorCallParameter(int paramIndex,
                                                   Object[] arguments,
                                                   IEnv classEnv)
                                            throws ThrowException

evalConstructorBody

public void evalConstructorBody(Object target,
                                Object[] arguments,
                                IEnv classEnv)
                         throws ThrowException

eval constructor body AFTER explicit constructor invocation