org.qedeq.kernel.bo.module
Interface MathematicalStateDescriptions

public interface MathematicalStateDescriptions

This interface provides primitive constants for the MathematicalState. TODO mime 20070312: what about exception lists? e.g. not all can be imported, but we have only some checking errors within the module directly

Version:

$Revision: 1.1 $

Field Summary

static int	STATE_CODE_COMPLETELY_CHECKED Code for successfully completely checked state.
static int	STATE_CODE_EXTERNAL_CHECK_FAILED Code for external check failure.
static int	STATE_CODE_EXTERNAL_CHECKING Code for external checking phase.
static int	STATE_CODE_INTERNAL_CHECK_FAILED Code for check failure.
static int	STATE_CODE_INTERNAL_CHECKING Code for internal checking phase.
static int	STATE_CODE_UNCHECKED Code for unchecked state.
static String	STATE_STRING_COMPLETELY_CHECKED Description for successfully completely checked state.
static String	STATE_STRING_EXTERNAL_CHECK_FAILED Description for external check failure.
static String	STATE_STRING_EXTERNAL_CHECKING Description for external internal checking phase.
static String	STATE_STRING_INTERNAL_CHECK_FAILED Description for check failure.
static String	STATE_STRING_INTERNAL_CHECKING Description for internal checking phase.
static String	STATE_STRING_UNCHECKED Description for unchecked state.

Field Detail

STATE_CODE_UNCHECKED

public static final int STATE_CODE_UNCHECKED

Code for unchecked state.

See Also:

Constant Field Values

STATE_STRING_UNCHECKED

public static final String STATE_STRING_UNCHECKED

Description for unchecked state.

See Also:

Constant Field Values

STATE_CODE_EXTERNAL_CHECKING

public static final int STATE_CODE_EXTERNAL_CHECKING

Code for external checking phase.

See Also:

Constant Field Values

STATE_STRING_EXTERNAL_CHECKING

public static final String STATE_STRING_EXTERNAL_CHECKING

Description for external internal checking phase.

See Also:

Constant Field Values

STATE_CODE_EXTERNAL_CHECK_FAILED

public static final int STATE_CODE_EXTERNAL_CHECK_FAILED

Code for external check failure.

See Also:

Constant Field Values

STATE_STRING_EXTERNAL_CHECK_FAILED

public static final String STATE_STRING_EXTERNAL_CHECK_FAILED

Description for external check failure.

See Also:

Constant Field Values

STATE_CODE_INTERNAL_CHECKING

public static final int STATE_CODE_INTERNAL_CHECKING

Code for internal checking phase.

See Also:

Constant Field Values

STATE_STRING_INTERNAL_CHECKING

public static final String STATE_STRING_INTERNAL_CHECKING

Description for internal checking phase.

See Also:

Constant Field Values

STATE_CODE_INTERNAL_CHECK_FAILED

public static final int STATE_CODE_INTERNAL_CHECK_FAILED

Code for check failure.

See Also:

Constant Field Values

STATE_STRING_INTERNAL_CHECK_FAILED

public static final String STATE_STRING_INTERNAL_CHECK_FAILED

Description for check failure.

See Also:

Constant Field Values

STATE_CODE_COMPLETELY_CHECKED

public static final int STATE_CODE_COMPLETELY_CHECKED

Code for successfully completely checked state.

See Also:

Constant Field Values

STATE_STRING_COMPLETELY_CHECKED

public static final String STATE_STRING_COMPLETELY_CHECKED

Description for successfully completely checked state.

See Also:

Constant Field Values