[all packages] [package net.sf.pizzacompiler.util] [class hierarchy] [index]

public class net.sf.pizzacompiler.util.EmptyEnumerator<A>

(source file: /home/enno/source/tmp/pizza/main/src/net/sf/pizzacompiler/util/EmptyEnumerator.pizza)
java.lang.Object
   |
   +----net.sf.pizzacompiler.util.Enumerator<A>
           |
           +----net.sf.pizzacompiler.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 net.sf.pizzacompiler.util] [class hierarchy] [index]
net.sf.pizzacompiler.util.EmptyEnumerator.html