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

LayoutVisitor()

Method Summary

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, 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 Exception

Specified by:

visitTemplate in interface Visitor

Overrides:

visitTemplate in class AbstractVisitor

Throws:

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 Exception

Specified by:

visitLocation in interface Visitor

Overrides:

visitLocation in class AbstractVisitor

Throws:

Exception

visitBranchPoint

public void visitBranchPoint(BranchPoint element)
                      throws Exception

Specified by:

visitBranchPoint in interface Visitor

Overrides:

visitBranchPoint in class AbstractVisitor

Throws:

Exception

visitEdge

public void visitEdge(Edge element)
               throws Exception

Specified by:

visitEdge in interface Visitor

Overrides:

visitEdge in class AbstractVisitor

Throws:

Exception