|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.qedeq.kernel.se.state.AbstractState
org.qedeq.kernel.se.state.LoadingImportsState
public final class LoadingImportsState
Represents a module state. Every instance of this class is unique.
| Field Summary | |
|---|---|
static LoadingImportsState |
STATE_LOADED_IMPORTED_MODULES
All directly required modules are loaded. |
static LoadingImportsState |
STATE_LOADING_IMPORTS
Loading directly required (= imported) modules. |
static LoadingImportsState |
STATE_LOADING_IMPORTS_FAILED
Loading directly required modules failed. |
static LoadingImportsState |
STATE_UNDEFINED
Undefined loading state. |
| Method Summary | |
|---|---|
boolean |
areAllDirectlyRequiredLoaded()
Are all directly required modules loaded? |
| 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 |
|---|
public static final LoadingImportsState STATE_UNDEFINED
public static final LoadingImportsState STATE_LOADING_IMPORTS
public static final LoadingImportsState STATE_LOADING_IMPORTS_FAILED
public static final LoadingImportsState STATE_LOADED_IMPORTED_MODULES
| Method Detail |
|---|
public boolean areAllDirectlyRequiredLoaded()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||