de.uka.ilkd.key.gui

Class InfoTreeModel.TermLabelsNode

java.lang.Object

javax.swing.tree.DefaultMutableTreeNode

de.uka.ilkd.key.gui.InfoTreeNode

de.uka.ilkd.key.gui.InfoTreeModel.TermLabelsNode

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, javax.swing.tree.MutableTreeNode, javax.swing.tree.TreeNode

Enclosing class:

InfoTreeModel

private class InfoTreeModel.TermLabelsNode
extends InfoTreeNode

Field Summary

Fields

Modifier and Type	Field and Description
private static long	serialVersionUID

Fields inherited from class javax.swing.tree.DefaultMutableTreeNode

allowsChildren, children, EMPTY_ENUMERATION, parent, userObject

Constructor Summary

Constructors

Constructor and Description
TermLabelsNode(MainWindow mainWindow, java.util.Properties termLabelExplanations)

Method Summary

Methods inherited from class de.uka.ilkd.key.gui.InfoTreeNode

getDescription, getTitle, setTitleToAltName

Methods inherited from class javax.swing.tree.DefaultMutableTreeNode

add, breadthFirstEnumeration, children, clone, depthFirstEnumeration, getAllowsChildren, getChildAfter, getChildAt, getChildBefore, getChildCount, getDepth, getFirstChild, getFirstLeaf, getIndex, getLastChild, getLastLeaf, getLeafCount, getLevel, getNextLeaf, getNextNode, getNextSibling, getParent, getPath, getPathToRoot, getPreviousLeaf, getPreviousNode, getPreviousSibling, getRoot, getSharedAncestor, getSiblingCount, getUserObject, getUserObjectPath, insert, isLeaf, isNodeAncestor, isNodeChild, isNodeDescendant, isNodeRelated, isNodeSibling, isRoot, pathFromAncestorEnumeration, postorderEnumeration, preorderEnumeration, remove, remove, removeAllChildren, removeFromParent, setAllowsChildren, setParent, setUserObject, toString

Methods inherited from class java.lang.Object

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

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

Constructor Detail

TermLabelsNode

TermLabelsNode(MainWindow mainWindow,
               java.util.Properties termLabelExplanations)