org.qedeq.kernel.utility
Class Enumerator

java.lang.Object
  org.qedeq.kernel.utility.Enumerator

public final class Enumerator

extends Object

An object of this class represents a number, that could be compared and increased.

Version:

$Revision: 1.1 $

Constructor Summary

Enumerator()
Constructs an object.

Enumerator(int number)
Constructs an object with given start number.

Method Summary

int	getNumber() Gets current number.
void	increaseNumber() Increases current number by one.
String	toString() Return number in String format.

Methods inherited from class java.lang.Object

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

Constructor Detail

Enumerator

public Enumerator()

Constructs an object.

Enumerator

public Enumerator(int number)

Constructs an object with given start number.

Parameters:

number - Start value.

Method Detail

getNumber

public final int getNumber()

Gets current number.

Returns:

Current number.

increaseNumber

public final void increaseNumber()

Increases current number by one.

toString

public final String toString()

Return number in String format.

Returns:

Number as String.