StartFunctionValidator

StartFunctionValidator

object StartFunctionValidator

Validator of StartFunction nodes.

From the docs:

  • The function C.funcs[x] must be defined in the context.
  • The type of C.funcs[x] must be [] => [].
  • Then the start function is valid.

Methods

visit

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

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

Parameters

Name Description
node: StartFunction
context: Module

ReturnValue

Name Description
Module