de.uka.ilkd.key.gui

Class InfoTreeModel.RulesNode

java.lang.Object

javax.swing.tree.DefaultMutableTreeNode

de.uka.ilkd.key.gui.InfoTreeNode

de.uka.ilkd.key.gui.InfoTreeModel.RulesNode

All Implemented Interfaces:

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

Enclosing class:

InfoTreeModel

private class InfoTreeModel.RulesNode
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
RulesNode(java.util.Properties ruleExplanations, Goal goal)

Method Summary

Modifier and Type	Method and Description
private int	getChildCount(InfoTreeNode root)
private java.lang.String	getName(InfoTreeNode t1)
private void	insertAndGroup(InfoTreeNode ins, InfoTreeNode parent, java.util.Properties ruleExplanations) groups subsequent insertions with the same name under a new node
private java.util.List<NoPosTacletApp>	sort(java.util.Set<NoPosTacletApp> set)

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

RulesNode

RulesNode(java.util.Properties ruleExplanations,
          Goal goal)

Method Detail

getChildCount

private int getChildCount(InfoTreeNode root)

insertAndGroup

private void insertAndGroup(InfoTreeNode ins,
                            InfoTreeNode parent,
                            java.util.Properties ruleExplanations)

groups subsequent insertions with the same name under a new node

getName

private java.lang.String getName(InfoTreeNode t1)

sort

private java.util.List<NoPosTacletApp> sort(java.util.Set<NoPosTacletApp> set)