51 for (
$i = 0;
$i < count($expectedTypes);
$i++) {
52 $expectedType = $expectedTypes[
$i];
54 if (!$givenType->isExtensionOf($expectedType)) {
57 .
". Expected type $expectedType given type $givenType.");
71 if (is_a($value, Value::class)) {
72 return $value->getType();
74 if (is_a($value, Task::class)) {
78 return $value->getOutputType();
92 $thunk->setParentTask($this);
108 if ($value instanceof
Task) {
109 $inputs[] = $value->getOutput();
110 } elseif ($value instanceof
Value) {
113 $inputs[] = $this->wrapScalar($value);
135 return get_called_class();
149 if (is_a($input, ThunkValue::class)) {
150 $list = array_merge(
$list, $input->getParentTask()->unfoldTask());
if(isset($_REQUEST['delete'])) $list
getRemoveOption()
Option An Option to remove the current task and do some cleanup if possible. This Option is displayed...
unfoldTask()
Unfold the task.
getAbortOption()
Option In case a Job is failed or did not respond for some time, an Abort-Option is displayed...