|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectcom.uppaal.model.core2.Element
com.uppaal.model.core2.Node
public class Node
Nodes are elements that can be placed in a tree structure represented by references to the parent, the first child and left and right siblings.
| Field Summary | |
|---|---|
Node |
first
First child of this element. |
Node |
next
The right sibling of this element. |
Node |
previous
The left sibling of this element. |
| Fields inherited from class com.uppaal.model.core2.Element |
|---|
listeners, properties, prototype |
| Constructor Summary | |
|---|---|
Node(Element prototype)
|
|
| Method Summary | |
|---|---|
void |
accept(Visitor visitor)
Accept a visitor. |
Object |
clone()
Returns a deep clone of the node. |
Node |
getFirst()
Returns the first child. |
Node |
getLast()
Returns the last child. |
Node |
getNext()
Returns the right sibling. |
Node |
getPrevious()
Returns the left sibling. |
Node |
insert(Node node,
Node position)
Insert a child node. |
Node |
move(Node child,
Node position)
Move a child node among siblings. |
void |
remove()
Remove the node from the tree structure. |
void |
setPrototype(Element prototype)
Sets the prototype of this element to the given argument. |
| Methods inherited from class com.uppaal.model.core2.Element |
|---|
acceptSafe, addListener, getColor, getDocument, getLocalProperty, getParent, getProperties, getProperty, getPropertyValue, getPrototype, getPrototypeFromParent, getTemplate, getX, getY, hasFlag, importInto, isPropertyLocal, removeListener, setProperties, setProperty, setPropertyFromPath |
| Methods inherited from class java.lang.Object |
|---|
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
public Node previous
public Node next
public Node first
| Constructor Detail |
|---|
public Node(Element prototype)
| Method Detail |
|---|
public Node getPrevious()
public Node getNext()
public Node getFirst()
public Node getLast()
public void accept(Visitor visitor)
throws Exception
Element
accept in class ElementException
public Node insert(Node node,
Node position)
public Node move(Node child,
Node position)
public void remove()
public Object clone()
throws CloneNotSupportedException
clone in class ElementCloneNotSupportedExceptionpublic void setPrototype(Element prototype)
setPrototype in class Element
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||