org.qedeq.kernel.se.state
Class WellFormedState

java.lang.Object
  org.qedeq.kernel.se.state.AbstractState
      org.qedeq.kernel.se.state.WellFormedState

All Implemented Interfaces:

State

public final class WellFormedState
extends AbstractState
implements State

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

Author:

Michael Meyling

Field Summary

static WellFormedState	STATE_CHECKED Successfully completely checked.
static WellFormedState	STATE_EXTERNAL_CHECKING External checking.
static WellFormedState	STATE_EXTERNAL_CHECKING_FAILED External checking failed.
static WellFormedState	STATE_INTERNAL_CHECKING Internal checking phase.
static WellFormedState	STATE_INTERNAL_CHECKING_FAILED Internal check failed.
static WellFormedState	STATE_UNCHECKED Unchecked.

Method Summary

Methods inherited from class org.qedeq.kernel.se.state.AbstractState

equals, getCode, getText, hashCode, isFailure, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.qedeq.kernel.se.common.State

getCode, getText, isFailure

Field Detail

STATE_UNCHECKED

public static final WellFormedState STATE_UNCHECKED

Unchecked.

STATE_EXTERNAL_CHECKING

public static final WellFormedState STATE_EXTERNAL_CHECKING

External checking.

STATE_EXTERNAL_CHECKING_FAILED

public static final WellFormedState STATE_EXTERNAL_CHECKING_FAILED

External checking failed.

STATE_INTERNAL_CHECKING

public static final WellFormedState STATE_INTERNAL_CHECKING

Internal checking phase.

STATE_INTERNAL_CHECKING_FAILED

public static final WellFormedState STATE_INTERNAL_CHECKING_FAILED

Internal check failed.

STATE_CHECKED

public static final WellFormedState STATE_CHECKED

Successfully completely checked.