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)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
RestartVisitor
public RestartVisitor(java.lang.String restart,
java.lang.String state,
java.lang.String key)
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