Package com.uppaal.model.io2

Class RelToAbsVisitor

java.lang.Object

com.uppaal.model.core2.AbstractVisitor

com.uppaal.model.io2.RelToAbsVisitor

All Implemented Interfaces:

Visitor

public class RelToAbsVisitor
extends AbstractVisitor

Constructor Summary

Constructors

Constructor	Description
RelToAbsVisitor()

Method Summary

Modifier and Type	Method	Description
void	visitBranchPoint(BranchPoint branchPoint)
void	visitEdge(Edge edge)
void	visitLocation(Location location)
void	visitNail(Nail nail)
void	visitProperty(Property property)

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

RelToAbsVisitor

public RelToAbsVisitor()

Method Detail

visitProperty

public void visitProperty(Property property)
                   throws java.lang.Exception

Specified by:

visitProperty in interface Visitor

Overrides:

visitProperty in class AbstractVisitor

Throws:

java.lang.Exception

visitNail

public void visitNail(Nail nail)
               throws java.lang.Exception

Specified by:

visitNail in interface Visitor

Overrides:

visitNail in class AbstractVisitor

Throws:

java.lang.Exception

visitEdge

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

Specified by:

visitEdge in interface Visitor

Overrides:

visitEdge in class AbstractVisitor

Throws:

java.lang.Exception

visitLocation

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

Specified by:

visitLocation in interface Visitor

Overrides:

visitLocation in class AbstractVisitor

Throws:

java.lang.Exception

visitBranchPoint

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

Specified by:

visitBranchPoint in interface Visitor

Overrides:

visitBranchPoint in class AbstractVisitor

Throws:

java.lang.Exception