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:
Serializable
,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
-
-
Constructor Summary
Constructors Constructor Description AbstractTemplate(Element prototype)
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description void
accept(Visitor visitor)
Accept a visitor.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
-
-
-
-
Constructor Detail
-
AbstractTemplate
public AbstractTemplate(Element prototype)
-
-
Method Detail
-
clone
public Object clone() throws 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 classNode
- Returns:
- The cloned object
- Throws:
CloneNotSupportedException
- an object cannot be cloned.
-
getTemplate
public AbstractTemplate getTemplate()
Description copied from class:Element
Returns the template of this element.- Overrides:
getTemplate
in classElement
- Returns:
- The template
-
accept
public void accept(Visitor visitor) throws Exception
Description copied from class:Element
Accept a visitor. This method is specialized in every subclass. Part of the visitor pattern.
-
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 classElement
- Parameters:
parent
- - The parent element- Returns:
- - The property
-
-