Uses of Interface
java.util.Enumeration

Packages that use Enumeration

java.lang	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
java.sql	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
java.util	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
javax.servlet
javax.servlet.http
org.jmlspecs.models	This package is a collection of types with immutable objects; it also enumerators (which have mutable objects) for the types of the immutable collections in the package.
org.jmlspecs.racwrap.runner

Uses of Enumeration in java.lang

Methods in java.lang that return Enumeration

protected Enumeration	ClassLoader.findResources(String)
private static Enumeration	ClassLoader.getBootstrapResources(String)
Enumeration	ClassLoader.getResources(String)
static Enumeration	ClassLoader.getSystemResources(String)

Uses of Enumeration in java.sql

Methods in java.sql that return Enumeration

static Enumeration

DriverManager.getDrivers()

Uses of Enumeration in java.util

Methods in java.util that return Enumeration

abstract Enumeration	Dictionary.keys()
abstract Enumeration	Dictionary.elements()
Enumeration	Hashtable.keys()
Enumeration	Hashtable.elements()
Enumeration	Vector.elements()
Enumeration	Properties.propertyNames()
abstract Enumeration	ResourceBundle.getKeys()

Uses of Enumeration in javax.servlet

Methods in javax.servlet that return Enumeration

abstract Enumeration	FilterConfig.getInitParameterNames()
abstract Enumeration	ServletRequest.getAttributeNames()
abstract Enumeration	ServletRequest.getParameterNames()
abstract Enumeration	ServletRequest.getLocales()
abstract Enumeration	ServletContext.getServlets() Deprecated.
abstract Enumeration	ServletContext.getServletNames() Deprecated.
abstract Enumeration	ServletContext.getInitParameterNames()
abstract Enumeration	ServletContext.getAttributeNames()
abstract Enumeration	ServletConfig.getInitParameterNames()
Enumeration	ServletRequestWrapper.getAttributeNames()
Enumeration	ServletRequestWrapper.getParameterNames()
Enumeration	ServletRequestWrapper.getLocales()
Enumeration	GenericServlet.getInitParameterNames()

Uses of Enumeration in javax.servlet.http

Methods in javax.servlet.http that return Enumeration

abstract Enumeration	HttpSession.getAttributeNames()
abstract Enumeration	HttpSessionContext.getIds() Deprecated.
abstract Enumeration	HttpServletRequest.getHeaders(String name)
abstract Enumeration	HttpServletRequest.getHeaderNames()
Enumeration	HttpServletRequestWrapper.getHeaders(String name)
Enumeration	HttpServletRequestWrapper.getHeaderNames()

Uses of Enumeration in org.jmlspecs.models

Subinterfaces of Enumeration in org.jmlspecs.models

interface

JMLEnumeration A combination of JMLType and java.util.Enumeration.

Classes in org.jmlspecs.models that implement Enumeration

class	JMLEqualsBagEnumerator Enumerators for bags (i.e., multisets) of objects.
class	JMLEqualsSequenceEnumerator An enumerator for sequences of objects.
class	JMLEqualsSetEnumerator An enumerator for sets of objects.
class	JMLEqualsToEqualsRelationEnumerator Enumerator for pairs of keys of type Object to values of type Object that form the associations in a relation.
class	JMLEqualsToEqualsRelationImageEnumerator Enumerator for pairs of keys and their relational images.
class	JMLEqualsToObjectRelationEnumerator Enumerator for pairs of keys of type Object to values of type Object that form the associations in a relation.
class	JMLEqualsToObjectRelationImageEnumerator Enumerator for pairs of keys and their relational images.
class	JMLEqualsToValueRelationEnumerator Enumerator for pairs of keys of type Object to values of type JMLType that form the associations in a relation.
class	JMLEqualsToValueRelationImageEnumerator Enumerator for pairs of keys and their relational images.
class	JMLObjectBagEnumerator Enumerators for bags (i.e., multisets) of objects.
class	JMLObjectSequenceEnumerator An enumerator for sequences of objects.
class	JMLObjectSetEnumerator An enumerator for sets of objects.
class	JMLObjectToEqualsRelationEnumerator Enumerator for pairs of keys of type Object to values of type Object that form the associations in a relation.
class	JMLObjectToEqualsRelationImageEnumerator Enumerator for pairs of keys and their relational images.
class	JMLObjectToObjectRelationEnumerator Enumerator for pairs of keys of type Object to values of type Object that form the associations in a relation.
class	JMLObjectToObjectRelationImageEnumerator Enumerator for pairs of keys and their relational images.
class	JMLObjectToValueRelationEnumerator Enumerator for pairs of keys of type Object to values of type JMLType that form the associations in a relation.
class	JMLObjectToValueRelationImageEnumerator Enumerator for pairs of keys and their relational images.
class	JMLValueBagEnumerator Enumerators for bags (i.e., multisets) of values.
class	JMLValueSequenceEnumerator An enumerator for sequences of values.
class	JMLValueSetEnumerator An enumerator for sets of values.
class	JMLValueToEqualsRelationEnumerator Enumerator for pairs of keys of type JMLType to values of type Object that form the associations in a relation.
class	JMLValueToEqualsRelationImageEnumerator Enumerator for pairs of keys and their relational images.
class	JMLValueToObjectRelationEnumerator Enumerator for pairs of keys of type JMLType to values of type Object that form the associations in a relation.
class	JMLValueToObjectRelationImageEnumerator Enumerator for pairs of keys and their relational images.
class	JMLValueToValueRelationEnumerator Enumerator for pairs of keys of type JMLType to values of type JMLType that form the associations in a relation.
class	JMLValueToValueRelationImageEnumerator Enumerator for pairs of keys and their relational images.

Uses of Enumeration in org.jmlspecs.racwrap.runner

Methods in org.jmlspecs.racwrap.runner that return Enumeration

abstract Enumeration	Node.getKeys() returns an Enumeration of the names of the node's children.
abstract Enumeration	Node.getChildren() returns an Enumeration of Nodes, which are this node's children.
Enumeration	BranchNode.getKeys()
Enumeration	BranchNode.getChildren()
Enumeration	Leaf.getChildren() always returns null.
Enumeration	Leaf.getKeys() always returns null.