jflex

Class CharSetEnumerator

java.lang.Object

jflex.CharSetEnumerator

public final class CharSetEnumerator
extends Object

Enumerator for the elements of a CharSet. Does not implement java.util.Enumeration, but supports the same protocol.

Version:

JFlex 1.7.0-SNAPSHOT

Author:

Gerwin Klein

Constructor Summary

Constructors

Constructor and Description
CharSetEnumerator(CharSet characters)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	hasMoreElements()
int	nextElement()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CharSetEnumerator

public CharSetEnumerator(CharSet characters)

Method Detail

hasMoreElements

public boolean hasMoreElements()

nextElement

public int nextElement()