GrowValidator
object GrowValidator
Methods
visit
fun visit(node: Grow, context: FunctionBody): FunctionBody
Validates the given node, and if necessary: its children (recursively, using other ValidationVisitor instances).
Parameters
| Name | Description |
|---|---|
node: Grow
|
|
context: FunctionBody
|
ReturnValue
| Name | Description |
|---|---|
FunctionBody
|
Validator of MemoryInstruction.Grow nodes.
From
the docs:C.mems[0]must be defined in the context.\[i32] => \[i32].