edu.mit.ai.psg.jeva
Class JNType
java.lang.Object
|
+--edu.mit.ai.psg.jeva.SimpleNode
|
+--edu.mit.ai.psg.jeva.JevaNode
|
+--edu.mit.ai.psg.jeva.JNType
- public class JNType
- extends JevaNode
Jeva parse Node for type nodes, except void.
( PrimitiveType() | Name() ) [ ArrayDims() ]
- See Also:
JNPrimitiveType,
JNResultType
| 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 |
jjtAccept
public Object jjtAccept(IJevaVisitor visitor,
Object data)
- Description copied from class: JevaNode
- Accept a visitor. For Visitor design pattern.
- Overrides:
- jjtAccept in class JevaNode
getBaseClassNode
public IJevaNode getBaseClassNode()
- returns a JNPrimitiveType node or a JNName of class
toType
public IClass toType(IEnv env)
throws VerifyingException