|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.meyling.principia.module.ModuleProperties
Represents a module and its state.
Constructor Summary | |
ModuleProperties(ModuleAddress address)
Creates new module properties. |
Method Summary | |
String |
getAddress()
Get address of module. |
Exception |
getException()
Get exception. |
Module |
getModule()
Get module. |
ModuleAddress |
getModuleAddress()
Get ModuleAddress of module. |
String |
getModuleVersion()
Get module version information. |
String |
getName()
Get name of module. |
String |
getRuleVersion()
Get rule version information. |
ModuleState |
getState()
Get module state. |
String |
getStateDescription()
Get module state description. |
String |
getUrl()
Get orginal URL of module. |
boolean |
hasFailures()
Is this a failure state the module is in? |
boolean |
isCheckedAndLoaded()
Get orginal URL of module. |
void |
setCheckedAndLoaded(Module module)
Set checked and loaded state and module. |
void |
setCompleteness(int completeness)
Set completeness percentage. |
void |
setFailureState(ModuleState state,
Exception e)
Set failure module state. |
void |
setProgressState(ModuleState state)
Set progress module state. |
String |
toString()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public ModuleProperties(ModuleAddress address)
address
- module addressMethod Detail |
public final boolean hasFailures()
public final String getAddress()
public final ModuleAddress getModuleAddress()
ModuleAddress
of module. Maybe null
.
public final void setCompleteness(int completeness)
public final void setProgressState(ModuleState state)
state
- module statepublic final void setFailureState(ModuleState state, Exception e)
state
- module state
IllegalArgumentException
- state
is no failure statepublic final ModuleState getState()
public final Exception getException()
public final String getStateDescription()
public final String getName()
public final String getModuleVersion()
public final String getRuleVersion()
public final String getUrl()
public final boolean isCheckedAndLoaded()
public final void setCheckedAndLoaded(Module module)
module
- checked and loaded module.public final Module getModule()
public final String toString()
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
©left GNU General Public Licence All Rights Reserved. |