isCanceled(Task) -- whether a task has been canceled

• Function: isCanceled

• Usage:

  isCanceled t

• Inputs:
  • t, a task,
• Outputs:
  • a Boolean value, whether the task t has been canceled

i1 : n = 0

o1 = 0

i2 : t = schedule(() -> while true do n = n + 1)

o2 = <<task, created>>

o2 : Task

i3 : sleep 1

o3 = 0

i4 : isCanceled t

o4 = false

i5 : sleep 1

o5 = 0

i6 : cancelTask t

i7 : sleep 2
stdio:2:25:(3):[1]: error: interrupted

o7 = 0

i8 : isCanceled t

o8 = true