avail/avail.interpreter.levelTwoSimple/L2Simple_SuperCall

L2Simple_SuperCall

class L2Simple_SuperCall(val stackp: Int, val pc: Int, val nextOffset: Int, val liveIndices: IntArray, val expectedType: A_Type, val mustCheck: Boolean, val bundle: A_Bundle, val superUnionType: A_Type) : L2Simple_AbstractInvokerInstruction

Perform a lookup using arguments taken from the stack as for L2Simple_GeneralCall, but where the lookup is forced to look at or above the constraining tuple type.

Constructors

L2Simple_SuperCall

constructor(stackp: Int, pc: Int, nextOffset: Int, liveIndices: IntArray, expectedType: A_Type, mustCheck: Boolean, bundle: A_Bundle, superUnionType: A_Type)

Properties

bundle

val bundle: A_Bundle

expectedType

val expectedType: A_Type

liveIndices

val liveIndices: IntArray

mustCheck

val mustCheck: Boolean

nextOffset

val nextOffset: Int

val pc: Int

stackp

val stackp: Int

superUnionType

val superUnionType: A_Type

Functions

fieldValueToString

fun fieldValueToString(value: Any?): String

Generate a suitable print representation of the value.

handleVariableGetException

fun handleVariableGetException(e: VariableGetException, interpreter: Interpreter, registers: Array<AvailObject>): StackReifier

A VariableGetException has occurred. Invoke the READ_UNASSIGNED_VARIABLE hook function, which, because it is ⊥-valued, can only reify. Eventually answer that StackReifier.

handleVariableSetException

fun handleVariableSetException(e: VariableSetException, variable: A_Variable, value: AvailObject, interpreter: Interpreter, registers: Array<AvailObject>): StackReifier?

A VariableSetException has occurred. Run the implicit-observe handler, and answer null if it completes, or a suitable StackReifier if it eventually reifies.

reenter

open override fun reenter(registers: Array<AvailObject>, interpreter: Interpreter): StackReifier?

This is called when the invocation for this step had to reify, and now we've finished the actual Avail call and we're attempting to continue where we left off. We have to check the returned value and either capture it on the stack or invoke the result check failure function.

step

open override fun step(registers: Array<AvailObject>, interpreter: Interpreter): StackReifier?

Perform this instruction, a single step of an L2SimpleChunk. The mutable Array of AvailObjects acts as a simple set of registers. Element 0 is the current function, and the remaining elements correspond with the continuation slots, should one need to be constructed.

toString

open override fun toString(): String