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 and Description
AbstractVisitor()

Method Summary

Modifier and Type	Method and 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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AbstractVisitor

public AbstractVisitor()

Method Detail

visitElement

public void visitElement(Element element)
                  throws Exception

Specified by:

visitElement in interface Visitor

Throws:

Exception

visitNode

public void visitNode(Node node)
               throws Exception

Specified by:

visitNode in interface Visitor

Throws:

Exception

visitProperty

public void visitProperty(Property property)
                   throws Exception

Specified by:

visitProperty in interface Visitor

Throws:

Exception

visitDocument

public void visitDocument(Document document)
                   throws Exception

Specified by:

visitDocument in interface Visitor

Throws:

Exception

visitTemplate

public void visitTemplate(AbstractTemplate template)
                   throws Exception

Specified by:

visitTemplate in interface Visitor

Throws:

Exception

visitLocation

public void visitLocation(Location location)
                   throws Exception

Specified by:

visitLocation in interface Visitor

Throws:

Exception

visitBranchPoint

public void visitBranchPoint(BranchPoint branchPoint)
                      throws Exception

Specified by:

visitBranchPoint in interface Visitor

Throws:

Exception

visitEdge

public void visitEdge(Edge edge)
               throws Exception

Specified by:

visitEdge in interface Visitor

Throws:

Exception

visitNail

public void visitNail(Nail nail)
               throws Exception

Specified by:

visitNail in interface Visitor

Throws:

Exception

visitInstanceLine

public void visitInstanceLine(InstanceLine instance)
                       throws Exception

Specified by:

visitInstanceLine in interface Visitor

Throws:

Exception

visitPrechart

public void visitPrechart(Prechart prechart)
                   throws Exception

Specified by:

visitPrechart in interface Visitor

Throws:

Exception

visitMessage

public void visitMessage(Message message)
                  throws Exception

Specified by:

visitMessage in interface Visitor

Throws:

Exception

visitUpdate

public void visitUpdate(Update update)
                 throws Exception

Specified by:

visitUpdate in interface Visitor

Throws:

Exception

visitCondition

public void visitCondition(Condition condition)
                    throws Exception

Specified by:

visitCondition in interface Visitor

Throws:

Exception

visitCut

public void visitCut(Cut cut)
              throws Exception

Specified by:

visitCut in interface Visitor

Throws:

Exception

visitQueries

public void visitQueries(QueryList queryList)
                  throws Exception

Specified by:

visitQueries in interface Visitor

Throws:

Exception

visitQuery

public void visitQuery(Query query)
                throws Exception

Specified by:

visitQuery in interface Visitor

Throws:

Exception