Package com.uppaal.model.core2
Class PrototypeVisitor
- java.lang.Object
-
- com.uppaal.model.core2.AbstractVisitor
-
- com.uppaal.model.core2.PrototypeVisitor
-
- All Implemented Interfaces:
Visitor
public class PrototypeVisitor extends AbstractVisitor
Only difference to AbstractVisitor is that this visitor knows about the #template, #location, #edge and #nail properties used to set the default prototype for these elements. The visitor makes sure also to visit the default prototypes.
-
-
Constructor Summary
Constructors Constructor Description PrototypeVisitor()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
visitElement(Element element)
-
Methods inherited from class com.uppaal.model.core2.AbstractVisitor
visitBranchPoint, visitCondition, visitCut, visitDocument, visitEdge, visitInstanceLine, visitLocation, visitMessage, visitNail, visitNode, visitPrechart, visitProperty, visitQueries, visitQuery, visitTemplate, visitUpdate
-
-
-
-
Method Detail
-
visitElement
public void visitElement(Element element) throws Exception
- Specified by:
visitElement
in interfaceVisitor
- Overrides:
visitElement
in classAbstractVisitor
- Throws:
Exception
-
-