keel.GraphInterKeel.experiments

Class PartitionCreator

java.lang.Object

javax.swing.SwingWorker<java.lang.Boolean,java.lang.Integer>

keel.GraphInterKeel.experiments.PartitionCreator

All Implemented Interfaces:

java.lang.Runnable, java.util.concurrent.Future<java.lang.Boolean>, java.util.concurrent.RunnableFuture<java.lang.Boolean>

public class PartitionCreator
extends javax.swing.SwingWorker<java.lang.Boolean,java.lang.Integer>

Nested Class Summary

Nested classes/interfaces inherited from class javax.swing.SwingWorker

javax.swing.SwingWorker.StateValue

Method Summary

Modifier and Type	Method and Description
protected java.lang.Boolean	doInBackground() Do partitions
protected void	process(java.util.List<java.lang.Integer> progress) Set process

Methods inherited from class javax.swing.SwingWorker

addPropertyChangeListener, cancel, done, execute, firePropertyChange, get, get, getProgress, getPropertyChangeSupport, getState, isCancelled, isDone, publish, removePropertyChangeListener, run, setProgress

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

process

protected void process(java.util.List<java.lang.Integer> progress)

Set process

Overrides:

process in class javax.swing.SwingWorker<java.lang.Boolean,java.lang.Integer>

Parameters:

progress - List of processes

doInBackground

protected java.lang.Boolean doInBackground()

Do partitions

Specified by:

doInBackground in class javax.swing.SwingWorker<java.lang.Boolean,java.lang.Integer>

Returns:

Finishing