|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.cau.cs.kieler.sim.kiem.automated.execution.CancelManager
public final class CancelManager
Manager for everything related to the premature termination of the current execution run.
Nested Class Summary | |
---|---|
static class |
CancelManager.CancelStatus
The status of the operation. |
static class |
CancelManager.MonitorChecker
This thread checks whether the user canceled the monitor while a step was being processed. |
Field Summary | |
---|---|
static int |
DISPLACEMENT
The displacement from the KIEMs timeout, in order to cancel before KIEM does. |
Method Summary | |
---|---|
void |
cancelExecution(CancelManager.CancelStatus status)
Cancel the currently running execution. |
void |
cancelExecutionFile(CancelManager.CancelStatus status)
Cancel the currently running execution file. |
void |
cancelIteration(CancelManager.CancelStatus status)
Cancel the currently running iteration. |
void |
cancelModelFile(CancelManager.CancelStatus status)
Cancel the currently running model file. |
static CancelManager |
getInstance()
Getter for the singleton instance. |
protected static int |
getTimeout()
Getter for the timeout. |
protected CancelManager.CancelStatus |
isExecutionCanceled()
Determine whether or not the entire execution should be canceled. |
protected CancelManager.CancelStatus |
isExecutionFileCanceled()
Determine whether or not the current execution file should be skipped. |
protected CancelManager.CancelStatus |
isIterationCanceled()
Determine whether or not the current iteration should be skipped. |
protected CancelManager.CancelStatus |
isModelFileCanceled()
Determine whether or not the current model file should be skipped. |
protected static void |
loadTimeout()
Load the timeout from the KiemPlugin or use default value. |
protected void |
resetExecutionCancel()
Reset the cancel conditions. |
protected void |
resetExecutionFileCancel()
Reset the cancel conditions. |
protected void |
resetIterationCancel()
Reset the cancel conditions. |
protected void |
resetModelFileCancel()
Reset the cancel conditions. |
protected static void |
restoreTimeout()
Restore the saved timeout in KIEM. |
void |
setMonitor(IProgressMonitor monitorParam)
Setter for the monitor. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final int DISPLACEMENT
Method Detail |
---|
public static CancelManager getInstance()
public void cancelIteration(CancelManager.CancelStatus status)
status
- the status that the operation was canceled with.protected CancelManager.CancelStatus isIterationCanceled()
protected void resetIterationCancel()
public void cancelModelFile(CancelManager.CancelStatus status)
status
- the status of the operationprotected CancelManager.CancelStatus isModelFileCanceled()
protected void resetModelFileCancel()
public void cancelExecutionFile(CancelManager.CancelStatus status)
status
- the status of the operationprotected CancelManager.CancelStatus isExecutionFileCanceled()
protected void resetExecutionFileCancel()
public void cancelExecution(CancelManager.CancelStatus status)
status
- the status of the operationprotected CancelManager.CancelStatus isExecutionCanceled()
protected void resetExecutionCancel()
public void setMonitor(IProgressMonitor monitorParam)
monitorParam
- the monitor to setprotected static void loadTimeout()
protected static int getTimeout()
protected static void restoreTimeout()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |