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

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 Details

visitElement

void visitElement(Element element) throws Exception

Throws:

Exception

visitNode

void visitNode(Node node) throws Exception

Throws:

Exception

visitProperty

void visitProperty(Property property) throws Exception

Throws:

Exception

visitDocument

void visitDocument(Document document) throws Exception

Throws:

Exception

visitTemplate

void visitTemplate(AbstractTemplate template) throws Exception

Throws:

Exception

visitLocation

void visitLocation(Location location) throws Exception

Throws:

Exception

visitBranchPoint

void visitBranchPoint(BranchPoint branchPoint) throws Exception

Throws:

Exception

visitEdge

void visitEdge(Edge edge) throws Exception

Throws:

Exception

visitNail

void visitNail(Nail nail) throws Exception

Throws:

Exception

visitInstanceLine

void visitInstanceLine(InstanceLine instance) throws Exception

Throws:

Exception

visitPrechart

void visitPrechart(Prechart prechart) throws Exception

Throws:

Exception

visitMessage

void visitMessage(Message message) throws Exception

Throws:

Exception

visitUpdate

void visitUpdate(Update update) throws Exception

Throws:

Exception

visitCondition

void visitCondition(Condition condition) throws Exception

Throws:

Exception

visitCut

void visitCut(Cut cut) throws Exception

Throws:

Exception

visitQueries

void visitQueries(QueryList queries) throws Exception

Throws:

Exception

visitQuery

void visitQuery(Query query) throws Exception

Throws:

Exception