Uses of Interface
edu.mit.csail.sdg.alloy4.WorkerEngine.WorkerCallback

Packages that use WorkerEngine.WorkerCallback

edu.mit.csail.sdg.alloy4

This package contains general data structures and helper classes.

Uses of WorkerEngine.WorkerCallback in edu.mit.csail.sdg.alloy4

Methods in edu.mit.csail.sdg.alloy4 with parameters of type WorkerEngine.WorkerCallback

void	WorkerEngine.WorkerTask.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.
static void	WorkerEngine.run(WorkerEngine.WorkerTask task, int newmem, int newstack, java.lang.String jniPath, java.lang.String classPath, WorkerEngine.WorkerCallback callback) This issues a new task to the subprocess; if subprocess hasn't been constructed yet or has terminated abnormally, this method will launch a new subprocess.
static void	WorkerEngine.runLocally(WorkerEngine.WorkerTask task, WorkerEngine.WorkerCallback callback) This executes a task using the current thread.