Package com.uppaal.model
Class LayoutVisitor
- java.lang.Object
-
- com.uppaal.model.core2.AbstractVisitor
-
- com.uppaal.model.LayoutVisitor
-
- All Implemented Interfaces:
Visitor
public class LayoutVisitor extends AbstractVisitor
-
-
Constructor Summary
Constructors Constructor Description LayoutVisitor()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
visitBranchPoint(BranchPoint element)
void
visitEdge(Edge element)
void
visitLocation(Location element)
void
visitProperty(Property element)
void
visitTemplate(AbstractTemplate element)
-
Methods inherited from class com.uppaal.model.core2.AbstractVisitor
visitCondition, visitCut, visitDocument, visitElement, visitInstanceLine, visitMessage, visitNail, visitNode, visitPrechart, visitQueries, visitQuery, visitUpdate
-
-
-
-
Method Detail
-
visitTemplate
public void visitTemplate(AbstractTemplate element) throws Exception
- Specified by:
visitTemplate
in interfaceVisitor
- Overrides:
visitTemplate
in classAbstractVisitor
- Throws:
Exception
-
visitProperty
public void visitProperty(Property element)
- Specified by:
visitProperty
in interfaceVisitor
- Overrides:
visitProperty
in classAbstractVisitor
-
visitLocation
public void visitLocation(Location element) throws Exception
- Specified by:
visitLocation
in interfaceVisitor
- Overrides:
visitLocation
in classAbstractVisitor
- Throws:
Exception
-
visitBranchPoint
public void visitBranchPoint(BranchPoint element) throws Exception
- Specified by:
visitBranchPoint
in interfaceVisitor
- Overrides:
visitBranchPoint
in classAbstractVisitor
- Throws:
Exception
-
-