org.qedeq.kernel.bo.module
Class LogicalState

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

public final class LogicalState

extends Object

Represents a mathematical module state. Every instance of this class is unique.

Version:

$Revision: 1.4 $

Field Summary

static LogicalState	STATE_CHECKED Successfully completely checked.
static LogicalState	STATE_EXTERNAL_CHECKING External checking.
static LogicalState	STATE_EXTERNAL_CHECKING_FAILED Successfully created.
static LogicalState	STATE_INTERNAL_CHECKING Internal checking phase.
static LogicalState	STATE_INTERNAL_CHECKING_FAILED Internal check failed.
static LogicalState	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 LogicalState STATE_UNCHECKED

Unchecked.

STATE_EXTERNAL_CHECKING

public static final LogicalState STATE_EXTERNAL_CHECKING

External checking.

STATE_EXTERNAL_CHECKING_FAILED

public static final LogicalState STATE_EXTERNAL_CHECKING_FAILED

Successfully created.

STATE_INTERNAL_CHECKING

public static final LogicalState STATE_INTERNAL_CHECKING

Internal checking phase.

STATE_INTERNAL_CHECKING_FAILED

public static final LogicalState STATE_INTERNAL_CHECKING_FAILED

Internal check failed.

STATE_CHECKED

public static final LogicalState STATE_CHECKED

Successfully completely checked.

Method Detail

getText

public String getText()

Get meaning of module state.

Returns:

meaning of module state.

isFailure

public boolean isFailure()

Is this a failure state?

Returns:

is this a failure state?

getCode

public int getCode()

Get module state code.

Returns:

Module state.

toString

public String toString()

hashCode

public int hashCode()

equals

public boolean equals(Object obj)