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