|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectjavax.swing.tree.DefaultTreeModel
zeus.ontology.TypeTreeModel
| Field Summary | |
protected static java.lang.String |
BASIC_TYPES
|
protected static java.lang.String |
DEFAULT_ROOT
|
static int |
FACT
|
protected static java.lang.String |
FACTS
|
protected int |
mode
|
protected OntologyDb |
model
|
static int |
RESTRICTION
|
protected static java.lang.String |
RESTRICTIONS
|
protected static java.lang.String |
SETS
|
| Fields inherited from class javax.swing.tree.DefaultTreeModel |
asksAllowsChildren, listenerList, root |
| Constructor Summary | |
TypeTreeModel(OntologyDb model,
int mode)
|
|
| Method Summary | |
protected void |
createTree(javax.swing.tree.DefaultMutableTreeNode m_node,
TreeNode a_node)
|
(package private) void |
refresh()
|
| Methods inherited from class javax.swing.tree.DefaultTreeModel |
addTreeModelListener, asksAllowsChildren, fireTreeNodesChanged, fireTreeNodesInserted, fireTreeNodesRemoved, fireTreeStructureChanged, getChild, getChildCount, getIndexOfChild, getListeners, getPathToRoot, getPathToRoot, getRoot, getTreeModelListeners, insertNodeInto, isLeaf, nodeChanged, nodesChanged, nodeStructureChanged, nodesWereInserted, nodesWereRemoved, reload, reload, removeNodeFromParent, removeTreeModelListener, setAsksAllowsChildren, setRoot, valueForPathChanged |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
public static final int FACT
public static final int RESTRICTION
protected static final java.lang.String DEFAULT_ROOT
protected static final java.lang.String BASIC_TYPES
protected static final java.lang.String RESTRICTIONS
protected static final java.lang.String FACTS
protected static final java.lang.String SETS
protected OntologyDb model
protected int mode
| Constructor Detail |
public TypeTreeModel(OntologyDb model,
int mode)
| Method Detail |
void refresh()
protected void createTree(javax.swing.tree.DefaultMutableTreeNode m_node,
TreeNode a_node)
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||