|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.processmining.framework.ui.SwingWorker
org.processmining.mining.cloudchamber.CloudChamberMiner.UpdateWorker
protected class CloudChamberMiner.UpdateWorker
Field Summary | |
---|---|
protected boolean |
isActive
|
protected boolean |
isRunning
|
Constructor Summary | |
---|---|
protected |
CloudChamberMiner.UpdateWorker()
|
Method Summary | |
---|---|
java.lang.Object |
construct()
Compute the value to be returned by the get method. |
protected void |
exit()
|
void |
stop()
|
Methods inherited from class org.processmining.framework.ui.SwingWorker |
---|
finished, get, getValue, interrupt, join, sleep, start |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected boolean isActive
protected boolean isRunning
Constructor Detail |
---|
protected CloudChamberMiner.UpdateWorker()
Method Detail |
---|
public java.lang.Object construct()
SwingWorker
get
method.
construct
in class SwingWorker
public void stop()
protected void exit()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |