org.semanticweb.HermiT.debugger
Class DerivationViewer.DerivationTreeTreeModel

java.lang.Object
  extended by 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

Field Summary
protected  javax.swing.event.EventListenerList m_eventListeners
           
protected  DerivationHistory.Fact m_root
           
 
Constructor Summary
DerivationViewer.DerivationTreeTreeModel(DerivationHistory.Fact root)
           
 
Method Summary
 void addTreeModelListener(javax.swing.event.TreeModelListener listener)
           
 java.lang.Object getChild(java.lang.Object parent, int index)
           
 int getChildCount(java.lang.Object parent)
           
 int getIndexOfChild(java.lang.Object parent, java.lang.Object child)
           
 java.lang.Object getRoot()
           
 boolean isLeaf(java.lang.Object node)
           
 void refresh()
           
 void removeTreeModelListener(javax.swing.event.TreeModelListener listener)
           
 void valueForPathChanged(javax.swing.tree.TreePath path, java.lang.Object newValue)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_eventListeners

protected final javax.swing.event.EventListenerList m_eventListeners

m_root

protected final DerivationHistory.Fact m_root
Constructor Detail

DerivationViewer.DerivationTreeTreeModel

public DerivationViewer.DerivationTreeTreeModel(DerivationHistory.Fact root)
Method Detail

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()