Package com.uppaal.model

Class LayoutVisitor

java.lang.Object

com.uppaal.model.core2.AbstractVisitor

com.uppaal.model.LayoutVisitor

All Implemented Interfaces:

Visitor

public class LayoutVisitor
extends AbstractVisitor

Constructor Summary

Constructors

Constructor	Description
LayoutVisitor()

Method Summary

Modifier and Type	Method	Description
void	visitBranchPoint(BranchPoint element)
void	visitEdge(Edge element)
void	visitLocation(Location element)
void	visitProperty(Property element)
void	visitTemplate(AbstractTemplate element)

Methods inherited from class com.uppaal.model.core2.AbstractVisitor

visitCondition, visitCut, visitDocument, visitElement, visitInstanceLine, visitMessage, visitNail, visitNode, visitPrechart, visitQueries, visitQuery, visitUpdate

Methods inherited from class java.lang.Object

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

Constructor Detail

LayoutVisitor

public LayoutVisitor()

Method Detail

visitTemplate

public void visitTemplate(AbstractTemplate element)
                   throws java.lang.Exception

Specified by:

visitTemplate in interface Visitor

Overrides:

visitTemplate in class AbstractVisitor

Throws:

java.lang.Exception

visitProperty

public void visitProperty(Property element)

Specified by:

visitProperty in interface Visitor

Overrides:

visitProperty in class AbstractVisitor

visitLocation

public void visitLocation(Location element)
                   throws java.lang.Exception

Specified by:

visitLocation in interface Visitor

Overrides:

visitLocation in class AbstractVisitor

Throws:

java.lang.Exception

visitBranchPoint

public void visitBranchPoint(BranchPoint element)
                      throws java.lang.Exception

Specified by:

visitBranchPoint in interface Visitor

Overrides:

visitBranchPoint in class AbstractVisitor

Throws:

java.lang.Exception

visitEdge

public void visitEdge(Edge element)
               throws java.lang.Exception

Specified by:

visitEdge in interface Visitor

Overrides:

visitEdge in class AbstractVisitor

Throws:

java.lang.Exception