org.processmining.mining.cloudchamber
Class CloudChamberMiner.UpdateWorker

java.lang.Object
  extended by org.processmining.framework.ui.SwingWorker
      extended by org.processmining.mining.cloudchamber.CloudChamberMiner.UpdateWorker
Enclosing class:
CloudChamberMiner

protected class CloudChamberMiner.UpdateWorker
extends SwingWorker


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

isActive

protected boolean isActive

isRunning

protected boolean isRunning
Constructor Detail

CloudChamberMiner.UpdateWorker

protected CloudChamberMiner.UpdateWorker()
Method Detail

construct

public java.lang.Object construct()
Description copied from class: SwingWorker
Compute the value to be returned by the get method.

Specified by:
construct in class SwingWorker

stop

public void stop()

exit

protected void exit()