DataSegmentValidator

DataSegmentValidator

object DataSegmentValidator

Validator of DataSegment nodes.

From the docs:

  • The memory C.mems[x] must be defined in the context.
  • The expression expr must be valid with result type [i32].
  • The expression expr must be constant.
  • Then the data segment is valid.

Methods

visit

fun visit(node: DataSegment, context: Module): Module

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

Parameters

Name Description
node: DataSegment
context: Module

ReturnValue

Name Description
Module