Package com.uppaal.model.core2
Class PrintVisitor
- java.lang.Object
-
- com.uppaal.model.core2.AbstractVisitor
-
- com.uppaal.model.core2.PrintVisitor
-
- All Implemented Interfaces:
Visitor
public class PrintVisitor extends AbstractVisitor
-
-
Field Summary
Fields Modifier and Type Field Description protected int
indentation
-
Constructor Summary
Constructors Constructor Description PrintVisitor()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected void
indent()
protected void
print(String s)
void
visitBranchPoint(BranchPoint b)
void
visitEdge(Edge e)
void
visitElement(Element e)
void
visitLocation(Location l)
void
visitNail(Nail n)
void
visitTemplate(AbstractTemplate t)
-
Methods inherited from class com.uppaal.model.core2.AbstractVisitor
visitCondition, visitCut, visitDocument, visitInstanceLine, visitMessage, visitNode, visitPrechart, visitProperty, visitQueries, visitQuery, visitUpdate
-
-
-
-
Method Detail
-
indent
protected void indent()
-
print
protected void print(String s)
-
visitElement
public void visitElement(Element e) throws Exception
- Specified by:
visitElement
in interfaceVisitor
- Overrides:
visitElement
in classAbstractVisitor
- Throws:
Exception
-
visitTemplate
public void visitTemplate(AbstractTemplate t) throws Exception
- Specified by:
visitTemplate
in interfaceVisitor
- Overrides:
visitTemplate
in classAbstractVisitor
- Throws:
Exception
-
visitLocation
public void visitLocation(Location l) throws Exception
- Specified by:
visitLocation
in interfaceVisitor
- Overrides:
visitLocation
in classAbstractVisitor
- Throws:
Exception
-
visitBranchPoint
public void visitBranchPoint(BranchPoint b) throws Exception
- Specified by:
visitBranchPoint
in interfaceVisitor
- Overrides:
visitBranchPoint
in classAbstractVisitor
- Throws:
Exception
-
visitEdge
public void visitEdge(Edge e) throws Exception
- Specified by:
visitEdge
in interfaceVisitor
- Overrides:
visitEdge
in classAbstractVisitor
- Throws:
Exception
-
-