taskResult(Task) -- retrieve the value returned by a task

Synopsis

• Function: taskResult

• Usage:

  taskResult t

• Inputs:
  • t, a task,
• Outputs:
  • the value returned by the function provided to schedule(Function) when the task was started, provided it is ready (done), as determined by isReady(Task). If the task is not ready, an error will be signaled.
• Consequences:

  • The field in t where the return value is stored is set to null, and the task is considered to have completely terminated. Attempting to fetch the return value a second time will signal an error.