Module dev.civl.abc

Package dev.civl.abc.ast.node.IF.type

Interface LambdaTypeNode

All Superinterfaces:

ASTNode, SizeableNode, TypeNode

public interface LambdaTypeNode
extends TypeNode

A TypeNode representing a $lambda(free-var-type:func-type) type

Nested Class Summary

Nested classes/interfaces inherited from interface dev.civl.abc.ast.node.IF.ASTNode

ASTNode.NodeKind

Nested classes/interfaces inherited from interface dev.civl.abc.ast.node.IF.type.TypeNode

TypeNode.TypeNodeKind

Method Summary

Modifier and Type	Method	Description
TypeNode	freeVariableType()
TypeNode	lambdaFunctionType()

Methods inherited from interface dev.civl.abc.ast.node.IF.ASTNode

addAllTransformAnnotations, addTransformAnnotation, child, childIndex, children, diff, equiv, getAttribute, getOwner, getScope, getSource, id, keepOnly, nextDFS, nodeKind, numChildren, parent, prettyPrint, prettyRepresentation, prettyRepresentation, print, remove, removeChild, removeTransformAnnotation, setAttribute, setChild, setId, setOwner, setScope, toString, transformAnnotations

Methods inherited from interface dev.civl.abc.ast.node.IF.type.TypeNode

copy, getType, isAtomicQualified, isConstQualified, isInputQualified, isOutputQualified, isRestrictQualified, isVolatileQualified, kind, setAtomicQualified, setConstQualified, setInputQualified, setOutputQualified, setRestrictQualified, setType, setVolatileQualified

Method Details

freeVariableType

TypeNode freeVariableType()

Returns:

The TypeNode representing the type of the free variable

lambdaFunctionType

TypeNode lambdaFunctionType()

Returns:

The TypeNode representing the type of the lambda function.