Package com.uppaal.model.core2

Class Nail

java.lang.Object

com.uppaal.model.core2.Element

com.uppaal.model.core2.Node

com.uppaal.model.core2.Nail

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable

public class Nail
extends Node

Nails models the graphical layout of edges. May have "x" and "y" properties.

See Also:

Edge, Element, Property, 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

Method Summary

Modifier and Type	Method	Description
void	accept(Visitor visitor)	Accept a visitor.
Element	getPrototypeFromParent(Element parent)	Returns the #nail property value of the parent argument.

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

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

Method Detail

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 Element getPrototypeFromParent(Element parent)

Returns the #nail property value of the parent argument.

Overrides:

getPrototypeFromParent in class Element

Parameters:

parent - - The parent element

Returns:

The property element