Package com.uppaal.model.core2
Interface Visitor
-
- All Known Implementing Classes:
AbstractVisitor
,BoundCalc
,ConvertSyntaxVisitor
,LayoutVisitor
,PrintVisitor
,PrototypeVisitor
,RelToAbsVisitor
,UGIWriter
,XMLWriter
,XTAWriter
public interface Visitor
Interface for implementing the visitor pattern.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
visitBranchPoint(BranchPoint branchPoint)
void
visitCondition(Condition condition)
void
visitCut(Cut cut)
void
visitDocument(Document document)
void
visitEdge(Edge edge)
void
visitElement(Element element)
void
visitInstanceLine(InstanceLine instance)
void
visitLocation(Location location)
void
visitMessage(Message message)
void
visitNail(Nail nail)
void
visitNode(Node node)
void
visitPrechart(Prechart prechart)
void
visitProperty(Property property)
void
visitQueries(QueryList queries)
void
visitQuery(Query query)
void
visitTemplate(AbstractTemplate template)
void
visitUpdate(Update update)
-
-
-
Method Detail
-
visitTemplate
void visitTemplate(AbstractTemplate template) throws Exception
- Throws:
Exception
-
visitBranchPoint
void visitBranchPoint(BranchPoint branchPoint) throws Exception
- Throws:
Exception
-
visitInstanceLine
void visitInstanceLine(InstanceLine instance) throws Exception
- Throws:
Exception
-
-