org.semanticweb.HermiT.debugger
Class DerivationViewer.DerivationTreeTreeModel
java.lang.Object
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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
m_eventListeners
protected final EventListenerList m_eventListeners
m_root
protected final DerivationHistory.Fact m_root
DerivationViewer.DerivationTreeTreeModel
public DerivationViewer.DerivationTreeTreeModel(DerivationHistory.Fact root)
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.