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