org.qedeq.kernel.bo.module
Class MathematicalState

java.lang.Object
  org.qedeq.kernel.bo.module.MathematicalState

public final class MathematicalState

extends Object

Represents a mathematical module state.

Version:

$Revision: 1.1 $

Field Summary

static MathematicalState	STATE_CHECKED Successfully completely checked.
static MathematicalState	STATE_EXTERNAL_CHECK_FAILED Successfully created.
static MathematicalState	STATE_EXTERNAL_CHECKING External checking.
static MathematicalState	STATE_INTERNAL_CHECK_FAILED Internal check failed.
static MathematicalState	STATE_INTERNAL_CHECKING Internal checking phase.
static MathematicalState	STATE_UNCHECKED Unchecked.

Method Summary

boolean	equals(Object obj)
int	getCode() Get module state code.
String	getText() Get meaning of module state.
int	hashCode()
boolean	isFailure() Is this a failure state?
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

STATE_UNCHECKED

public static final MathematicalState STATE_UNCHECKED

Unchecked.

STATE_EXTERNAL_CHECKING

public static final MathematicalState STATE_EXTERNAL_CHECKING

External checking.

STATE_EXTERNAL_CHECK_FAILED

public static final MathematicalState STATE_EXTERNAL_CHECK_FAILED

Successfully created.

STATE_INTERNAL_CHECKING

public static final MathematicalState STATE_INTERNAL_CHECKING

Internal checking phase.

STATE_INTERNAL_CHECK_FAILED

public static final MathematicalState STATE_INTERNAL_CHECK_FAILED

Internal check failed.

STATE_CHECKED

public static final MathematicalState STATE_CHECKED

Successfully completely checked.

Method Detail

getText

public final String getText()

Get meaning of module state.

Returns:

meaning of module state.

isFailure

public final boolean isFailure()

Is this a failure state?

Returns:

is this a failure state?

getCode

public final int getCode()

Get module state code.

Returns:

Module state.

toString

public final String toString()

hashCode

public final int hashCode()

equals

public final boolean equals(Object obj)