edu.mit.csail.sdg.alloy4
Interface WorkerEngine.WorkerTask

All Superinterfaces:

java.io.Serializable

Enclosing class:

WorkerEngine

public static interface WorkerEngine.WorkerTask
extends java.io.Serializable

This defines an interface for performing tasks in a subprocess.

Method Summary

void	run(WorkerEngine.WorkerCallback out) The task should send zero or more non-null Objects to out.callback(msg) to report progress to the parent process.

Method Detail

run

void run(WorkerEngine.WorkerCallback out)
         throws java.lang.Exception

The task should send zero or more non-null Objects to out.callback(msg) to report progress to the parent process.

Throws:

java.lang.Exception