ParametricInstructionValidator

ParametricInstructionValidator

object ParametricInstructionValidator

Validator of ParametricInstruction nodes.

From the docs:

ParametricInstruction.Drop

  • The instruction is valid with type [t] =>[], for any value type t.

ParametricInstruction.Select

  • The instruction is valid with type [t t i32] => [t], for any value type t.

Methods

visit

fun visit(node: ParametricInstruction, context: FunctionBody): FunctionBody

Validates the given node, and if necessary: its children (recursively, using other ValidationVisitor instances).

Parameters

Name Description
node: ParametricInstruction
context: FunctionBody

ReturnValue

Name Description
FunctionBody