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

Constructor Summary

ConvertSyntaxVisitor()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ConvertSyntaxVisitor

public ConvertSyntaxVisitor()

Method Detail

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