uci.util
Class Enum

java.lang.Object
  |
  +--uci.util.Enum

public class Enum

extends Object

implements Enumeration, Serializable

See Also:

Serialized Form

Field Summary

protected Enumeration	_enum
protected Object	_nextElement
protected Predicate	_postFilter
protected Predicate	_preFilter
protected Functor	_transform

Constructor Summary

Enum(Enumeration e)

Enum(Enumeration e, Functor f)

Enum(Enumeration e, Functor f, Predicate p1, Predicate p2)

Method Summary

void	enum(Enumeration e)
protected void	findNextElement()
boolean	hasMoreElements()
void	map(Functor f)
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 Enumeration _enum

_nextElement

protected Object _nextElement

_transform

protected Functor _transform

_preFilter

protected Predicate _preFilter

_postFilter

protected Predicate _postFilter

Constructor Detail

Enum

public Enum(Enumeration e)

Enum

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

Enum

public Enum(Enumeration e,
            Functor f)

Method Detail

enum

public void enum(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 Enumeration

nextElement

public Object nextElement()

Specified by:

nextElement in interface Enumeration

findNextElement

protected void findNextElement()