SuspendableOperation

abstract def continuation(ustate: UState): Unit

The operation we want to do only if the test is true.

abstract def rd: TermRuntimeData

abstract def test(ustate: UState): Boolean

Returns true if continuation can be run.

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

def UE(ustate: UState, s: String, args: Any*): Nothing

final def areLogging(lvl: Type): Boolean

final def asInstanceOf[T0]: T0

final def block(nodeOrVar: AnyRef, info: AnyRef, index: Long, exc: AnyRef): Unit

final def blockedLocation: String

def clone(): AnyRef

def doLogging(lvl: Type, msg: String, args: Seq[Any]): Unit

final def doTask(ustate: UState): Unit

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

final def explain(): Unit

def finalize(): Unit

final def getClass(): Class[_]

def getLogWriter(): LogWriter

final def getLoggingLevel(): Type

def hashCode(): Int

final def isBlocked: Boolean

final def isDone: Boolean

final def isInstanceOf[T0]: Boolean

final def isMakingProgress: Boolean

val isReadOnly: Boolean

Specifies that this suspension does not write to the data output stream.

final macro def log(lvl: Type, msg: String, args: Any*): Unit

lazy val logID: String

var logLevel: Maybe[Type]

var logWriter: Maybe[LogWriter]

def maybeKnownLengthInBits(ustate: UState): MaybeULong

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def run(ustate: UState): Unit

Run the first time.

final def runSuspension(): Unit

After calling this, call isDone and if that's false call isMakingProgress to understand whether it is done, blocked on the exactly same situation, or blocked elsewhere.

final def savedUstate: UState

final def setDone: Unit

def setLogWriter(lw: LogWriter): Unit

def setLoggingLevel(level: Type): Unit

final def setUnblocked(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

macro def withLoggingLevel[S](newLevel: Type)(body: ⇒ S): Unit