ConForM.CoopnTools.JavaProto.MiniJava
Class CatchBlock
java.lang.Object
|
+--ConForM.CoopnTools.JavaProto.MiniJava.JavaNode
|
+--ConForM.CoopnTools.JavaProto.MiniJava.CatchBlock
- public class CatchBlock
- extends JavaNode
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
CatchBlock
public CatchBlock(java.lang.String type,
java.lang.String var,
Instruction body)
CatchBlock
public CatchBlock()
- finally
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()