ConForM.CoopnTools.JavaProto.MiniJava
Class CatchBlock

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

public class CatchBlock
extends JavaNode


Constructor Summary
CatchBlock()
          finally
CatchBlock(java.lang.String type, java.lang.String var, Instruction body)
           
 
Method Summary
 JavaNode accept(JavaNodeVisitor v)
           
 java.util.Iterator children()
           
 Instruction getBody()
           
 java.lang.String getType()
           
 java.lang.String getVar()
           
 boolean hasChildren()
           
 boolean isFinally()
           
 void setBody(Instruction body)
           
 void setType(java.lang.String type)
           
 void setVar(java.lang.String var)
           
 
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

CatchBlock

public CatchBlock(java.lang.String type,
                  java.lang.String var,
                  Instruction body)

CatchBlock

public CatchBlock()
finally
Method Detail

setType

public void setType(java.lang.String type)

setVar

public void setVar(java.lang.String var)

setBody

public void setBody(Instruction body)

getType

public java.lang.String getType()

getVar

public java.lang.String getVar()

getBody

public Instruction getBody()

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

isFinally

public boolean isFinally()