public interface TreeElement extends MutableTreeNode
| Modifier and Type | Method and Description |
|---|---|
String |
getID() |
String |
getNodeName() |
insert, remove, remove, removeFromParent, setParent, setUserObjectchildren, getAllowsChildren, getChildAt, getChildCount, getIndex, getParent, isLeafCopyright © 2009–2020 KRDB Research Centre for Knowledge and Data, Free University of Bozen-Bolzano. All rights reserved.