de.uka.ilkd.key.gui.prooftree

Class GUIAbstractTreeNode.ChildEnumeration

java.lang.Object

de.uka.ilkd.key.gui.prooftree.GUIAbstractTreeNode.ChildEnumeration

All Implemented Interfaces:

java.util.Enumeration<javax.swing.tree.TreeNode>

Enclosing class:

GUIAbstractTreeNode

private class GUIAbstractTreeNode.ChildEnumeration
extends java.lang.Object
implements java.util.Enumeration<javax.swing.tree.TreeNode>

Field Summary

Fields

Modifier and Type	Field and Description
(package private) int	current

Constructor Summary

Constructors

Modifier	Constructor and Description
private	ChildEnumeration()

Method Summary

Modifier and Type	Method and Description
boolean	hasMoreElements()
javax.swing.tree.TreeNode	nextElement()

Methods inherited from class java.lang.Object

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

Field Detail

current

int current

Constructor Detail

ChildEnumeration

private ChildEnumeration()

Method Detail

hasMoreElements

public boolean hasMoreElements()

Specified by:

hasMoreElements in interface java.util.Enumeration<javax.swing.tree.TreeNode>

nextElement

public javax.swing.tree.TreeNode nextElement()

Specified by:

nextElement in interface java.util.Enumeration<javax.swing.tree.TreeNode>