DataSegmentValidator
object DataSegmentValidator
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
|
Validator of DataSegment nodes.
From the docs:
C.mems[x]
must be defined in the context.expr
must be valid with result type[i32]
.expr
must be constant.