Package com.uppaal.model.core2
Class AbstractVisitor
- java.lang.Object
-
- com.uppaal.model.core2.AbstractVisitor
-
- All Implemented Interfaces:
Visitor
- Direct Known Subclasses:
BoundCalc
,ConvertSyntaxVisitor
,LayoutVisitor
,PrintVisitor
,PrototypeVisitor
,RelToAbsVisitor
,UGIWriter
,XMLWriter
,XTAWriter
public class AbstractVisitor extends Object implements Visitor
Abstract implementation of the visitor interface. By default, visiting any instance of a specialization of the Element class will call the visit method on the super class. For nodes and elements the children and properties are visited.
-
-
Constructor Summary
Constructors Constructor Description AbstractVisitor()
-
Method Summary
All Methods Instance Methods Concrete 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 queryList)
void
visitQuery(Query query)
void
visitTemplate(AbstractTemplate template)
void
visitUpdate(Update update)
-
-
-
Method Detail
-
visitElement
public void visitElement(Element element) throws Exception
- Specified by:
visitElement
in interfaceVisitor
- Throws:
Exception
-
visitProperty
public void visitProperty(Property property) throws Exception
- Specified by:
visitProperty
in interfaceVisitor
- Throws:
Exception
-
visitDocument
public void visitDocument(Document document) throws Exception
- Specified by:
visitDocument
in interfaceVisitor
- Throws:
Exception
-
visitTemplate
public void visitTemplate(AbstractTemplate template) throws Exception
- Specified by:
visitTemplate
in interfaceVisitor
- Throws:
Exception
-
visitLocation
public void visitLocation(Location location) throws Exception
- Specified by:
visitLocation
in interfaceVisitor
- Throws:
Exception
-
visitBranchPoint
public void visitBranchPoint(BranchPoint branchPoint) throws Exception
- Specified by:
visitBranchPoint
in interfaceVisitor
- Throws:
Exception
-
visitInstanceLine
public void visitInstanceLine(InstanceLine instance) throws Exception
- Specified by:
visitInstanceLine
in interfaceVisitor
- Throws:
Exception
-
visitPrechart
public void visitPrechart(Prechart prechart) throws Exception
- Specified by:
visitPrechart
in interfaceVisitor
- Throws:
Exception
-
visitMessage
public void visitMessage(Message message) throws Exception
- Specified by:
visitMessage
in interfaceVisitor
- Throws:
Exception
-
visitUpdate
public void visitUpdate(Update update) throws Exception
- Specified by:
visitUpdate
in interfaceVisitor
- Throws:
Exception
-
visitCondition
public void visitCondition(Condition condition) throws Exception
- Specified by:
visitCondition
in interfaceVisitor
- Throws:
Exception
-
visitQueries
public void visitQueries(QueryList queryList) throws Exception
- Specified by:
visitQueries
in interfaceVisitor
- Throws:
Exception
-
visitQuery
public void visitQuery(Query query) throws Exception
- Specified by:
visitQuery
in interfaceVisitor
- Throws:
Exception
-
-