org.qedeq.kernel.se.common
Interface State

All Known Implementing Classes:

AbstractState, DependencyState, FormallyProvedState, LoadingImportsState, LoadingState, WellFormedState

public interface State

Describes whiche state a QEDEQ module is currently in.

Author:

Michael Meylin

Method Summary

int	getCode() Get module state code.
java.lang.String	getText() Get meaning of module state.
boolean	isFailure() Is this a failure state?

Method Detail

getText

java.lang.String getText()

Get meaning of module state.

Returns:

meaning of module state.

isFailure

boolean isFailure()

Is this a failure state?

Returns:

is this a failure state?

getCode

int getCode()

Get module state code.

Returns:

Module state.