Interface Block<M>

Represent a reacheable basic block.

Type Parameters

  • M extends string

Hierarchy

  • Block

Properties

opcodes pcend states

Properties

Readonly opcodes

opcodes: {
    opcode: Opcode<M>;
    stack?: Stack<Expr>;
}[]

The Opcodes decoded from bytecode augmented with its Stack trace.

Type declaration

  • Readonly opcode: Opcode<M>

    The Opcode decoded and executed from bytecode.

  • Optional stack?: Stack<Expr>

    The Stack trace after executing this opcode.

Readonly pcend

pcend: number

Where this block ends, exclusive.

Readonly states

states: State<Inst, Expr>[]

Settings

Member Visibility

Theme

On This Page

Generated using TypeDoc v0.25.2