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
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
-
Constructor Details
-
PrototypeVisitor
public PrototypeVisitor()
-
-
Method Details
-
visitElement
- Specified by:
visitElement
in interfaceVisitor
- Overrides:
visitElement
in classAbstractVisitor
- Throws:
Exception
-