de.uka.ilkd.key.gui

Class InfoTreeModel

java.lang.Object

javax.swing.tree.DefaultTreeModel

de.uka.ilkd.key.gui.InfoTreeModel

All Implemented Interfaces:

Serializable, TreeModel

public class InfoTreeModel
extends DefaultTreeModel

Extension of DefaultTreeModel used by InfoTree.

Author:

Kai Wallisch

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
private class	InfoTreeModel.FunctionsNode
private class	InfoTreeModel.RulesNode
private class	InfoTreeModel.TermLabelsNode

Field Summary

Fields

Modifier and Type	Field and Description
private static String	LEMMAS
private static long	serialVersionUID
private static String	TACLET_BASE

Fields inherited from class javax.swing.tree.DefaultTreeModel

asksAllowsChildren, listenerList, root

Constructor Summary

Constructors

Constructor and Description
InfoTreeModel(Goal goal, XMLResources xmlResources, MainWindow mainWindow)

Method Summary

Modifier and Type	Method and Description
private void	insertAsLast(InfoTreeNode ins, InfoTreeNode parent)

Methods inherited from class javax.swing.tree.DefaultTreeModel

addTreeModelListener, asksAllowsChildren, fireTreeNodesChanged, fireTreeNodesInserted, fireTreeNodesRemoved, fireTreeStructureChanged, getChild, getChildCount, getIndexOfChild, getListeners, getPathToRoot, getPathToRoot, getRoot, getTreeModelListeners, insertNodeInto, isLeaf, nodeChanged, nodesChanged, nodeStructureChanged, nodesWereInserted, nodesWereRemoved, reload, reload, removeNodeFromParent, removeTreeModelListener, setAsksAllowsChildren, setRoot, valueForPathChanged

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

LEMMAS

private static final String LEMMAS

See Also:

Constant Field Values

TACLET_BASE

private static final String TACLET_BASE

See Also:

Constant Field Values

Constructor Detail

InfoTreeModel

public InfoTreeModel(Goal goal,
                     XMLResources xmlResources,
                     MainWindow mainWindow)

Method Detail

insertAsLast

private void insertAsLast(InfoTreeNode ins,
                          InfoTreeNode parent)