avail/avail.interpreter.levelOne/L1Operation/L1Ext_doPushLabel

L1Ext_doPushLabel

L1Ext_doPushLabel

Push a continuation just like the current one, such that if it is ever resumed it will have the same effect as restarting the current one.

Functions

open override fun dispatch(operationDispatcher: L1OperationDispatcher)

Dispatch this operation through an L1OperationDispatcher.

fun shortName(): String

fun writeTo(stream: NybbleOutputStream)

Write this operation to a NybbleOutputStream. Do not output operands.

Properties

val name: String

val operandTypes: Array<out L1OperandType>

This operation's collection of operand types.

val ordinal: Int