code: TaskStatus[] getTaskStatuses(TaskID tipid) {
      TaskInProgress tip = getTip(tipid);
      return (tip == null ? new TaskStatus[0]
              : tip.getTaskStatuses());
    }
docs: Get all the TaskStatuses from the tipid.