FunctionTypeValidator

FunctionTypeValidator

object FunctionTypeValidator

Validator for a FunctionType node.

From the docs:

Function types may not specify more than one result.


[tn^1] => [tm^2]
  • The arity m must not be larger than 1.
  • Then the function type is valid.

Methods

visit

fun visit(node: FunctionType, context: ValidationContext): ValidationContext

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

Parameters

Name Description
node: FunctionType
context: ValidationContext

ReturnValue

Name Description
ValidationContext