org.semanticweb.HermiT.debugger
Class DerivationViewer.DerivationTreeTreeModel

java.lang.Object
  extended by org.semanticweb.HermiT.debugger.DerivationViewer.DerivationTreeTreeModel
All Implemented Interfaces:
Serializable, TreeModel
Enclosing class:
DerivationViewer

protected static class DerivationViewer.DerivationTreeTreeModel
extends Object
implements TreeModel, Serializable

See Also:
Serialized Form

Field Summary
protected  EventListenerList m_eventListeners
           
protected  DerivationHistory.Fact m_root
           
 
Constructor Summary
DerivationViewer.DerivationTreeTreeModel(DerivationHistory.Fact root)
           
 
Method Summary
 void addTreeModelListener(TreeModelListener listener)
           
 Object getChild(Object parent, int index)
           
 int getChildCount(Object parent)
           
 int getIndexOfChild(Object parent, Object child)
           
 Object getRoot()
           
 boolean isLeaf(Object node)
           
 void refresh()
           
 void removeTreeModelListener(TreeModelListener listener)
           
 void valueForPathChanged(TreePath path, 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 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(TreeModelListener listener)
Specified by:
addTreeModelListener in interface TreeModel

removeTreeModelListener

public void removeTreeModelListener(TreeModelListener listener)
Specified by:
removeTreeModelListener in interface TreeModel

getChild

public Object getChild(Object parent,
                       int index)
Specified by:
getChild in interface TreeModel

getChildCount

public int getChildCount(Object parent)
Specified by:
getChildCount in interface TreeModel

getIndexOfChild

public int getIndexOfChild(Object parent,
                           Object child)
Specified by:
getIndexOfChild in interface TreeModel

getRoot

public Object getRoot()
Specified by:
getRoot in interface TreeModel

isLeaf

public boolean isLeaf(Object node)
Specified by:
isLeaf in interface TreeModel

valueForPathChanged

public void valueForPathChanged(TreePath path,
                                Object newValue)
Specified by:
valueForPathChanged in interface TreeModel

refresh

public void refresh()


Copyright © 2012. All Rights Reserved.