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
All Methods Instance Methods Concrete Methods 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
-
-
-
-
Method Detail
-
visitDocument
public void visitDocument(Document document) throws Exception
- Specified by:
visitDocument
in interfaceVisitor
- Overrides:
visitDocument
in classAbstractVisitor
- Throws:
Exception
-
visitTemplate
public void visitTemplate(AbstractTemplate template) throws Exception
- Specified by:
visitTemplate
in interfaceVisitor
- Overrides:
visitTemplate
in classAbstractVisitor
- Throws:
Exception
-
visitLocation
public void visitLocation(Location location) throws Exception
- Specified by:
visitLocation
in interfaceVisitor
- Overrides:
visitLocation
in classAbstractVisitor
- Throws:
Exception
-
visitEdge
public void visitEdge(Edge edge) throws Exception
- Specified by:
visitEdge
in interfaceVisitor
- Overrides:
visitEdge
in classAbstractVisitor
- Throws:
Exception
-
visitCondition
public void visitCondition(Condition condition)
- Specified by:
visitCondition
in interfaceVisitor
- Overrides:
visitCondition
in classAbstractVisitor
-
visitUpdate
public void visitUpdate(Update update)
- Specified by:
visitUpdate
in interfaceVisitor
- Overrides:
visitUpdate
in classAbstractVisitor
-
-