Package com.uppaal.model

Class ConvertSyntaxVisitor

java.lang.Object

com.uppaal.model.core2.AbstractVisitor

com.uppaal.model.ConvertSyntaxVisitor

All Implemented Interfaces:

Visitor

public class ConvertSyntaxVisitor
extends AbstractVisitor

Class convert syntax visitor

Constructor Summary

Constructors

Constructor	Description
ConvertSyntaxVisitor()

Method Summary

Modifier and Type	Method	Description
void	visitCondition(Condition condition)
void	visitDocument(Document document)
void	visitEdge(Edge edge)
void	visitLocation(Location location)
void	visitTemplate(AbstractTemplate template)
void	visitUpdate(Update update)

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

visitBranchPoint, visitCut, visitElement, visitInstanceLine, visitMessage, visitNail, visitNode, visitPrechart, visitProperty, visitQueries, visitQuery

Methods inherited from class java.lang.Object

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

Constructor Details

ConvertSyntaxVisitor

public ConvertSyntaxVisitor()

Method Details

visitDocument

public void visitDocument(Document document) throws Exception

Specified by:

visitDocument in interface Visitor

Overrides:

visitDocument in class AbstractVisitor

Throws:

Exception

visitTemplate

public void visitTemplate(AbstractTemplate template) throws Exception

Specified by:

visitTemplate in interface Visitor

Overrides:

visitTemplate in class AbstractVisitor

Throws:

Exception

visitLocation

public void visitLocation(Location location) throws Exception

Specified by:

visitLocation in interface Visitor

Overrides:

visitLocation in class AbstractVisitor

Throws:

Exception

visitEdge

public void visitEdge(Edge edge) throws Exception

Specified by:

visitEdge in interface Visitor

Overrides:

visitEdge in class AbstractVisitor

Throws:

Exception

visitCondition

public void visitCondition(Condition condition)

Specified by:

visitCondition in interface Visitor

Overrides:

visitCondition in class AbstractVisitor

visitUpdate

public void visitUpdate(Update update)

Specified by:

visitUpdate in interface Visitor

Overrides:

visitUpdate in class AbstractVisitor