avail/avail.interpreter.levelOne/L1InstructionWriter

L1InstructionWriter

class L1InstructionWriter(module: A_Module, startingLineNumber: Int, phrase: A_Phrase)

An instance of this class can be used to construct a compiled code object without detailed knowledge of the level one nybblecode instruction set.

Author

Mark van Gulik

Parameters

module

The module containing this code.

startingLineNumber

Where this code starts in the module.

phrase

The phrase that should be captured for this raw function. nil is also valid, but less informative.

Constructors

L1InstructionWriter

constructor(module: A_Module, startingLineNumber: Int, phrase: A_Phrase)

Create a new L1InstructionWriter Level One instruction writer.

Properties

var primitive: Primitive?

The primitive of the compiled code being generated.

var returnType: A_Type?

The return type of the FunctionDescriptor under construction.

returnTypeIfPrimitiveFails

var returnTypeIfPrimitiveFails: A_Type?

The return type that will be produced if the function is not a primitive, or if the primitive fails.

Functions

fun addLiteral(literal: A_BasicObject): Int

Locate or record the specified literal object. Answer its 1-based index.

fun argumentTypes(vararg argTypes: A_Type)

Set the array of types of the arguments.

argumentTypesTuple

fun argumentTypesTuple(argTypes: A_Tuple)

Specify the types of the arguments that the resulting compiled code object will accept.

fun compiledCode(): AvailObject

Produce the compiled code object which we have just incrementally specified.

fun createConstant(constantType: A_Type): Int

Declare a local constant with the specified type. Answer its index. The index is relative to the start of the arguments.

fun createLocal(localType: A_Type): Int

Declare a local variable with the specified type. Answer its index. The index is relative to the start of the arguments.

fun createOuter(outerType: A_Type): Int

Declare an outer (lexically captured) variable, specifying its type.

fun write(lineNumber: Int, operation: L1Operation, vararg operands: Int)

Write an L1 instruction to the nybblecode stream. Some opcodes (automatically) write an extension nybble (0xF). Also write any operands. Validate that the right number of operands are provided.