Module dev.civl.abc
Package dev.civl.abc.ast.node.IF.expression

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