org.semanticweb.HermiT.debugger.commands
Class SubtreeViewer.SubtreeTreeModel

java.lang.Object
  extended by org.semanticweb.HermiT.debugger.commands.SubtreeViewer.SubtreeTreeModel
All Implemented Interfaces:
javax.swing.tree.TreeModel
Enclosing class:
SubtreeViewer

protected static class SubtreeViewer.SubtreeTreeModel
extends java.lang.Object
implements javax.swing.tree.TreeModel


Field Summary
protected  Debugger m_debugger
           
protected  javax.swing.event.EventListenerList m_eventListeners
           
protected  Node m_root
           
 
Constructor Summary
SubtreeViewer.SubtreeTreeModel(Debugger debugger, Node root)
           
 
Method Summary
 void addTreeModelListener(javax.swing.event.TreeModelListener listener)
           
 Node 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_debugger

protected final Debugger m_debugger

m_root

protected final Node m_root
Constructor Detail

SubtreeViewer.SubtreeTreeModel

public SubtreeViewer.SubtreeTreeModel(Debugger debugger,
                                      Node 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 Node 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()