harpoon.Util
Class FilterEnumerator

java.lang.Object
  |
  +--harpoon.Util.FilterEnumerator
All Implemented Interfaces:
Enumeration

Deprecated. Use harpoon.Util.FilterIterator instead.

public class FilterEnumerator
extends Object
implements Enumeration

A FilterEnumerator filters and maps a source Enumeration to generate a new one.

Version:
$Id: FilterEnumerator.java,v 1.2 2002/02/25 21:08:45 cananian Exp $
Author:
C. Scott Ananian <cananian@alumni.princeton.edu>

Nested Class Summary
static class FilterEnumerator.Filter
          Deprecated.  
 
Constructor Summary
FilterEnumerator(Enumeration e, FilterEnumerator.Filter f)
          Deprecated. Creates a FilterEnumerator.
 
Method Summary
 boolean hasMoreElements()
          Deprecated.  
 Object nextElement()
          Deprecated.  
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FilterEnumerator

public FilterEnumerator(Enumeration e,
                        FilterEnumerator.Filter f)
Deprecated. 
Creates a FilterEnumerator.

Method Detail

nextElement

public Object nextElement()
Deprecated. 
Specified by:
nextElement in interface Enumeration

hasMoreElements

public boolean hasMoreElements()
Deprecated. 
Specified by:
hasMoreElements in interface Enumeration