org.semanticweb.HermiT.debugger
Class DerivationViewer.DerivationTreeTreeModel
java.lang.Object
org.semanticweb.HermiT.debugger.DerivationViewer.DerivationTreeTreeModel
- All Implemented Interfaces:
- java.io.Serializable, javax.swing.tree.TreeModel
- Enclosing class:
- DerivationViewer
protected static class DerivationViewer.DerivationTreeTreeModel
- extends java.lang.Object
- implements javax.swing.tree.TreeModel, java.io.Serializable
- See Also:
- Serialized Form
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
m_eventListeners
protected final javax.swing.event.EventListenerList m_eventListeners
m_root
protected final DerivationHistory.Fact m_root
DerivationViewer.DerivationTreeTreeModel
public DerivationViewer.DerivationTreeTreeModel(DerivationHistory.Fact root)
addTreeModelListener
public void addTreeModelListener(javax.swing.event.TreeModelListener listener)
- Specified by:
addTreeModelListener
in interface javax.swing.tree.TreeModel
removeTreeModelListener
public void removeTreeModelListener(javax.swing.event.TreeModelListener listener)
- Specified by:
removeTreeModelListener
in interface javax.swing.tree.TreeModel
getChild
public java.lang.Object getChild(java.lang.Object parent,
int index)
- Specified by:
getChild
in interface javax.swing.tree.TreeModel
getChildCount
public int getChildCount(java.lang.Object parent)
- Specified by:
getChildCount
in interface javax.swing.tree.TreeModel
getIndexOfChild
public int getIndexOfChild(java.lang.Object parent,
java.lang.Object child)
- Specified by:
getIndexOfChild
in interface javax.swing.tree.TreeModel
getRoot
public java.lang.Object getRoot()
- Specified by:
getRoot
in interface javax.swing.tree.TreeModel
isLeaf
public boolean isLeaf(java.lang.Object node)
- Specified by:
isLeaf
in interface javax.swing.tree.TreeModel
valueForPathChanged
public void valueForPathChanged(javax.swing.tree.TreePath path,
java.lang.Object newValue)
- Specified by:
valueForPathChanged
in interface javax.swing.tree.TreeModel
refresh
public void refresh()