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 and Description
PrototypeVisitor()

Method Summary

Modifier and Type	Method and 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

Methods inherited from class java.lang.Object

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

Constructor Detail

PrototypeVisitor

public PrototypeVisitor()

Method Detail

visitElement

public void visitElement(Element element)
                  throws Exception

Specified by:

visitElement in interface Visitor

Overrides:

visitElement in class AbstractVisitor

Throws:

Exception