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

Enclosing class:

WorkerEngine

public static interface WorkerEngine.WorkerCallback

This defines an interface for receiving results from a subprocess.

Method Summary

void	callback(java.lang.Object msg) The task would send zero or more non-null Objects to this handler (the objects will be serialized by the sub JVM and deserialized in the parent JVM).
void	done() If the task completed successfully, this method will be called.
void	fail() If the task terminated with an error, this method will be called.

Method Detail

callback

void callback(java.lang.Object msg)

The task would send zero or more non-null Objects to this handler (the objects will be serialized by the sub JVM and deserialized in the parent JVM).

done

void done()

If the task completed successfully, this method will be called.

fail

void fail()

If the task terminated with an error, this method will be called.