ConForM.CoopnTools.JavaProto.MiniJava
Class JavaNode

java.lang.Object
  |
  +--ConForM.CoopnTools.JavaProto.MiniJava.JavaNode
Direct Known Subclasses:
CatchBlock, CatchList, Expression, Instruction

public abstract class JavaNode
extends java.lang.Object

Syntactic element of java


Constructor Summary
JavaNode()
           
 
Method Summary
 JavaNode accept(JavaNodeVisitor v)
           
 void acceptChildren(JavaNodeVisitor v)
           
 java.util.Iterator children()
           
 boolean hasChildren()
           
protected  java.util.Iterator makeIterator(JavaNode a)
           
protected  java.util.Iterator makeIterator(JavaNode a, JavaNode b)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

JavaNode

public JavaNode()
Method Detail

accept

public JavaNode accept(JavaNodeVisitor v)

acceptChildren

public void acceptChildren(JavaNodeVisitor v)

hasChildren

public boolean hasChildren()

children

public java.util.Iterator children()

makeIterator

protected java.util.Iterator makeIterator(JavaNode a)

makeIterator

protected java.util.Iterator makeIterator(JavaNode a,
                                          JavaNode b)