Interface LambdaNode

All Superinterfaces:
ASTNode, ExpressionNode, ForLoopInitializerNode, InitializerNode, SizeableNode

public interface LambdaNode extends ExpressionNode
A lambda function, including two/three components, a bound variable declaration (optional) and the lambda term. It has the following syntax:
 lambda: 
   $lambda ( bound-variable-decl ? ) lambda-function ;
 free-variable-decl:
   type ID
 
 
e.g.,
 $lambda (int x) x*1.5
 
  • Method Details

    • freeVariable

      VariableDeclarationNode freeVariable()
      Returns:
      The bound variable declaration node
    • restriction

      ExpressionNode restriction()
      Returns:
      The boolean restriction on the bound variable
    • lambdaFunction

      ExpressionNode lambdaFunction()
      Returns:
      The lambda function expression