ConForM.CoopnTools.JavaProto.MiniJava
Class RestartVisitor

java.lang.Object
  |
  +--ConForM.CoopnTools.JavaProto.MiniJava.RestartVisitor
All Implemented Interfaces:
JavaNodeVisitor

public class RestartVisitor
extends java.lang.Object
implements JavaNodeVisitor


Constructor Summary
RestartVisitor(java.lang.String restart, java.lang.String state, java.lang.String key)
           
 
Method Summary
 JavaNode visit(Assignment c)
           
 JavaNode visit(CatchBlock c)
           
 JavaNode visit(CatchList c)
           
 JavaNode visit(IfInstruction i)
           
 JavaNode visit(Instruction i)
           
 JavaNode visit(InstructionList i)
           
 JavaNode visit(JavaNode i)
           
 JavaNode visit(Return r)
           
 JavaNode visit(SimpleInstruction i)
           
 JavaNode visit(TryInstruction i)
           
 JavaNode visit(VarDeclaration i)
           
 JavaNode visit(WhileInstruction i)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

RestartVisitor

public RestartVisitor(java.lang.String restart,
                      java.lang.String state,
                      java.lang.String key)
Method Detail

visit

public JavaNode visit(JavaNode i)
Specified by:
visit in interface JavaNodeVisitor

visit

public JavaNode visit(Instruction i)
Specified by:
visit in interface JavaNodeVisitor

visit

public JavaNode visit(TryInstruction i)
Specified by:
visit in interface JavaNodeVisitor

visit

public JavaNode visit(IfInstruction i)
Specified by:
visit in interface JavaNodeVisitor

visit

public JavaNode visit(WhileInstruction i)
Specified by:
visit in interface JavaNodeVisitor

visit

public JavaNode visit(VarDeclaration i)
Specified by:
visit in interface JavaNodeVisitor

visit

public JavaNode visit(InstructionList i)
Specified by:
visit in interface JavaNodeVisitor

visit

public JavaNode visit(Return r)
Specified by:
visit in interface JavaNodeVisitor

visit

public JavaNode visit(CatchBlock c)
Specified by:
visit in interface JavaNodeVisitor

visit

public JavaNode visit(CatchList c)
Specified by:
visit in interface JavaNodeVisitor

visit

public JavaNode visit(Assignment c)
Specified by:
visit in interface JavaNodeVisitor

visit

public JavaNode visit(SimpleInstruction i)
Specified by:
visit in interface JavaNodeVisitor