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

PrototypeVisitor()

Method Summary

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, 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