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

public class pizza.util.EmptyEnumerator<A>

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

Constuctor Index

O empty
a variable for the empty enumerator

Methods

O hasMoreElements()
O nextElement()

Constructors

O empty
public case empty;
a variable for the empty enumerator

Methods

O hasMoreElements
public boolean hasMoreElements();

O nextElement

public A nextElement();

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