Package com.uppaal.model.core2

Class AbstractTemplate

java.lang.Object

com.uppaal.model.core2.Element

com.uppaal.model.core2.Node

com.uppaal.model.core2.AbstractTemplate

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable

Direct Known Subclasses:

LscTemplate, Template

public abstract class AbstractTemplate
extends Node

AbstractTemplate has two subclasses: Template (for TA) and LscTemplate (for LSC)

See Also:

Serialized Form

Field Summary

Fields inherited from class com.uppaal.model.core2.Node

first, next, previous

Fields inherited from class com.uppaal.model.core2.Element

listeners, properties, prototype

Constructor Summary

Constructors

Constructor	Description
AbstractTemplate(Element prototype)

Method Summary

Modifier and Type	Method	Description
void	accept(Visitor visitor)	Accept a visitor.
java.lang.Object	clone()	Returns a deep clone of the node.
abstract Element	getPrototypeFromParent(Element parent)	Return the proper prototype for this element stored in the parent.
AbstractTemplate	getTemplate()	Returns the template of this element.

Methods inherited from class com.uppaal.model.core2.Node

getFirst, getLast, getNext, getPrevious, getXPathTag, insert, move, remove, setPrototype

Methods inherited from class com.uppaal.model.core2.Element

acceptSafe, addListener, getColor, getCommandManager, getDocument, getLocalProperty, getParent, getProperties, getProperty, getPropertyValue, getPrototype, getX, getXMLLabelKinds, getXPath, getY, hasFlag, importInto, isPropertyLocal, removeListener, setCommandManager, setProperties, setProperty, setPropertyFromPath

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractTemplate

public AbstractTemplate(Element prototype)

Method Detail

clone

public java.lang.Object clone()
                       throws java.lang.CloneNotSupportedException

Description copied from class: Node

Returns a deep clone of the node. The sibling references of the clone are set to null.

Overrides:

clone in class Node

Returns:

The cloned object

Throws:

java.lang.CloneNotSupportedException - an object cannot be cloned.

getTemplate

public AbstractTemplate getTemplate()

Description copied from class: Element

Returns the template of this element.

Overrides:

getTemplate in class Element

Returns:

The template

accept

public void accept(Visitor visitor)
            throws java.lang.Exception

Description copied from class: Element

Accept a visitor. This method is specialized in every subclass. Part of the visitor pattern.

Overrides:

accept in class Node

Parameters:

visitor - - The visitor

Throws:

java.lang.Exception - the visitor threw an exception.

getPrototypeFromParent

public abstract Element getPrototypeFromParent(Element parent)

Description copied from class: Element

Return the proper prototype for this element stored in the parent. This is used by importInto().

Overrides:

getPrototypeFromParent in class Element

Parameters:

parent - - The parent element

Returns:

- The property