[all packages] [package pizza.util] [class hierarchy] [index]

public class pizza.util.SingletonEnumerator<A>

(source file: pizza/util/SingletonEnumerator.pizza)
java.lang.Object
   |
   +----pizza.util.Enumerator<A>
           |
           +----pizza.util.SingletonEnumerator<A>
The pure class interface. 
public class SingletonEnumerator<A>
  extends Enumerator<A>
A class for the empty enumerator, which yields no elements

Constuctor Index

O SingletonEnumerator(A)

Methods

O hasMoreElements()
O nextElement()

Constructors

O SingletonEnumerator
public SingletonEnumerator(A value);

Methods

O hasMoreElements
public boolean hasMoreElements();

O nextElement

public A nextElement();

[all packages] [package pizza.util] [class hierarchy] [index]
pizza.util.SingletonEnumerator.html