org.qedeq.base.utility
Class Enumerator

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

public final class Enumerator
extends java.lang.Object

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

Author:

Michael Meyling

Constructor Summary

Enumerator()
Constructs an object with 0 as start number.

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

Method Summary

boolean	equals(java.lang.Object object)
int	getNumber() Gets current number.
int	hashCode()
void	increaseNumber() Increases current number by one.
void	reset() Reset counter to zero.
java.lang.String	toString() Return number in String format.

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Enumerator

public Enumerator()

Constructs an object with 0 as start number.

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.

reset

public final void reset()

Reset counter to zero.

increaseNumber

public final void increaseNumber()

Increases current number by one.

equals

public final boolean equals(java.lang.Object object)

Overrides:

equals in class java.lang.Object

hashCode

public final int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public final java.lang.String toString()

Return number in String format.

Overrides:

toString in class java.lang.Object

Returns:

Number as String.