ConForM.CoopnTools.JavaProto.MiniJava
Class WhileInstruction

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

public class WhileInstruction
extends Instruction


Constructor Summary
WhileInstruction(java.lang.String expr, Instruction body)
           
 
Method Summary
 JavaNode accept(JavaNodeVisitor v)
           
 java.util.Iterator children()
           
 Instruction getBody()
           
 java.lang.String getExpr()
           
 boolean hasChildren()
           
 void setBody(Instruction body)
           
 void setExpr(java.lang.String expr)
           
 
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

WhileInstruction

public WhileInstruction(java.lang.String expr,
                        Instruction body)
Method Detail

accept

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

setExpr

public void setExpr(java.lang.String expr)

setBody

public void setBody(Instruction body)

getExpr

public java.lang.String getExpr()

getBody

public Instruction getBody()

hasChildren

public boolean hasChildren()
Overrides:
hasChildren in class JavaNode

children

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