de.uka.ilkd.key.gui

Class InfoTreeModel.FunctionsNode

java.lang.Object

javax.swing.tree.DefaultMutableTreeNode

de.uka.ilkd.key.gui.InfoTreeNode

de.uka.ilkd.key.gui.InfoTreeModel.FunctionsNode

All Implemented Interfaces:

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

Enclosing class:

InfoTreeModel

private class InfoTreeModel.FunctionsNode
extends InfoTreeNode

Field Summary

Fields

Modifier and Type	Field and Description
private static java.lang.String	COLLECTION
private static java.lang.String	DEFAULT_FUNCTIONS_LABEL
private static long	serialVersionUID

Fields inherited from class javax.swing.tree.DefaultMutableTreeNode

allowsChildren, children, EMPTY_ENUMERATION, parent, userObject

Constructor Summary

Constructors

Constructor and Description
FunctionsNode(java.util.Properties functionExplanations)

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

COLLECTION

private static final java.lang.String COLLECTION

See Also:

Constant Field Values

DEFAULT_FUNCTIONS_LABEL

private static final java.lang.String DEFAULT_FUNCTIONS_LABEL

See Also:

Constant Field Values

Constructor Detail

FunctionsNode

FunctionsNode(java.util.Properties functionExplanations)