ConForM.CoopnTools.JavaProto.MiniJava
Class CatchList

java.lang.Object
  |
  +--ConForM.CoopnTools.JavaProto.MiniJava.JavaNode
        |
        +--ConForM.CoopnTools.JavaProto.MiniJava.CatchList

public class CatchList
extends JavaNode


Constructor Summary
CatchList()
           
 
Method Summary
 JavaNode accept(JavaNodeVisitor v)
           
 void addChild(CatchBlock child)
           
 java.util.Iterator children()
           
 boolean hasChildren()
           
 
Methods inherited from class ConForM.CoopnTools.JavaProto.MiniJava.JavaNode
acceptChildren, makeIterator, makeIterator
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CatchList

public CatchList()
Method Detail

accept

public JavaNode accept(JavaNodeVisitor v)
Overrides:
accept in class JavaNode

hasChildren

public boolean hasChildren()
Overrides:
hasChildren in class JavaNode

children

public java.util.Iterator children()
Overrides:
children in class JavaNode

addChild

public void addChild(CatchBlock child)