Hilbert II - JAVA-Packages - Principia Mathematica II

com.meyling.principia.argument
Class Enumerator

java.lang.Object
  extended bycom.meyling.principia.argument.Enumerator

public class Enumerator
extends Object

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

Version:
$Revision: 1.5 $
Author:
Michael Meyling

Constructor Summary
Enumerator()
          Constructs an object.
Enumerator(int number)
          Constructs an object with a certain start number.
 
Method Summary
 int getNumber()
          Gets current number.
 void increaseNumber()
          Increases current number.
 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 a certain start number. param number start value

Method Detail

getNumber

public final int getNumber()
Gets current number.

Returns:
current number

increaseNumber

public final void increaseNumber()
Increases current number.


toString

public String toString()
Return number in String format.

Returns:
number as String

Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.