org.tigris.gef.util
Class Enum

java.lang.Object
  extended byorg.tigris.gef.util.Enum
All Implemented Interfaces:
java.util.Enumeration, java.io.Serializable

public class Enum
extends java.lang.Object
implements java.util.Enumeration, java.io.Serializable

See Also:
Serialized Form

Field Summary
protected  java.util.Enumeration _enum
           
protected  java.lang.Object _nextElement
           
protected  Predicate _postFilter
           
protected  Predicate _preFilter
           
protected  Functor _transform
           
 
Constructor Summary
Enum(java.util.Enumeration e)
           
Enum(java.util.Enumeration e, Functor f)
           
Enum(java.util.Enumeration e, Functor f, Predicate p1, Predicate p2)
           
 
Method Summary
 void enum(java.util.Enumeration e)
           
protected  void findNextElement()
           
 boolean hasMoreElements()
           
 void map(Functor f)
           
 java.lang.Object nextElement()
           
 void postFilter(Predicate p)
           
 void preFilter(Predicate p)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

_enum

protected java.util.Enumeration _enum

_nextElement

protected java.lang.Object _nextElement

_transform

protected Functor _transform

_preFilter

protected Predicate _preFilter

_postFilter

protected Predicate _postFilter
Constructor Detail

Enum

public Enum(java.util.Enumeration e)

Enum

public Enum(java.util.Enumeration e,
            Functor f,
            Predicate p1,
            Predicate p2)

Enum

public Enum(java.util.Enumeration e,
            Functor f)
Method Detail

enum

public void enum(java.util.Enumeration e)

map

public void map(Functor f)

preFilter

public void preFilter(Predicate p)

postFilter

public void postFilter(Predicate p)

hasMoreElements

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

nextElement

public java.lang.Object nextElement()
Specified by:
nextElement in interface java.util.Enumeration

findNextElement

protected void findNextElement()