Class LambdaExpression

java.lang.Object

org.aspectj.org.eclipse.jdt.internal.compiler.ast.ASTNode

org.aspectj.org.eclipse.jdt.internal.compiler.ast.Statement

org.aspectj.org.eclipse.jdt.internal.compiler.ast.Expression

org.aspectj.org.eclipse.jdt.internal.compiler.ast.FunctionalExpression

org.aspectj.org.eclipse.jdt.internal.compiler.ast.LambdaExpression

All Implemented Interfaces:

IPolyExpression, TypeOrLambda, ReferenceContext, TypeConstants, TypeIds, ProblemSeverities

Direct Known Subclasses:

SelectionOnLambdaExpression

public class LambdaExpression
extends FunctionalExpression
implements IPolyExpression, ReferenceContext, ProblemSeverities, TypeOrLambda

Nested Class Summary

Nested classes/interfaces inherited from interface TypeConstants

TypeConstants.BoundCheckStatus, TypeConstants.CloseMethodRecord, TypeConstants.DangerousMethod

Field Summary

Fields

Modifier and Type	Field	Description
Argument[]	arguments
int	arrowPosition
Statement	body
boolean	hasOuterClassMemberReference
boolean	hasParentheses
boolean	hasVarTypedArguments
InferenceContext18	inferenceContext
Map<SourceTypeBinding, SyntheticArgumentBinding>	mapSyntheticEnclosingTypes
LambdaExpression	original
SyntheticArgumentBinding[]	outerLocalVariables
protected Expression[]	resultExpressions
MethodScope	scope

Fields inherited from class FunctionalExpression

actualMethodBinding, binding, bootstrapMethodNumber, compilationResult, descriptor, enclosingScope, expectedType, expressionContext, hasDescripterProblem, isSerializable, ordinal, shouldCaptureInstance, silentErrorHandlingPolicy, text

Fields inherited from class Expression

constant, implicitConversion, NO_EXPRESSIONS, resolvedType, statementEnd

Fields inherited from class Statement

COMPLAINED_FAKE_REACHABLE, COMPLAINED_UNREACHABLE, NOT_COMPLAINED

Fields inherited from class ASTNode

ArgumentsTypeElided, Bit1, Bit10, Bit11, Bit12, Bit13, Bit14, Bit15, Bit16, Bit17, Bit18, Bit19, Bit2, Bit20, Bit21, Bit22, Bit23, Bit24, Bit25, Bit26, Bit27, Bit28, Bit29, Bit3, Bit30, Bit31, Bit32, Bit32L, Bit33L, Bit34L, Bit35L, Bit36L, Bit37L, Bit38L, Bit39L, Bit4, Bit40L, Bit41L, Bit42L, Bit43L, Bit44L, Bit45L, Bit46L, Bit47L, Bit48L, Bit49L, Bit5, Bit50L, Bit51L, Bit52L, Bit53L, Bit54L, Bit55L, Bit56L, Bit57L, Bit58L, Bit59L, Bit6, Bit60L, Bit61L, Bit62L, Bit63L, Bit64L, Bit7, Bit8, Bit9, bits, BlockExit, BlockShouldEndDead, CanBeStatic, ContainsAssertion, DepthMASK, DepthSHIFT, DidResolve, DisableUnnecessaryCastCheck, DiscardEnclosingInstance, DocumentedCasesOmitted, DocumentedFallthrough, Empty, ErrorInSignature, FirstAssignmentToLocal, GenerateCheckcast, HasAbstractMethods, HasAllMethodBodies, HasBeenGenerated, HasBeenResolved, HasFunctionalInterfaceTypes, HasLocalType, HasSyntaxErrors, HasTypeAnnotations, IgnoreNoEffectAssignCheck, IgnoreRawTypeCheck, inModule, InsideExpressionStatement, InsideJavadoc, INVOCATION_ARGUMENT_OK, INVOCATION_ARGUMENT_UNCHECKED, INVOCATION_ARGUMENT_WILDCARD, IsAdditionalDeclarator, IsAnnotationDefaultValue, IsAnonymousType, IsAnyFinallyBlockEscaping, IsArgument, IsCanonicalConstructor, IsCapturedOuterLocal, IsCompoundAssigned, IsDefaultConstructor, IsDiamond, IsElseIfStatement, IsElseStatementUnreachable, IsFinallyBlockEscaping, IsForeachElementVariable, IsImplicitThis, IsImplicitUnit, IsLocalDeclarationReachable, IsLocalType, IsMemberType, IsNonNull, IsPatternVariable, IsReachable, IsRecovered, IsReturnedValue, IsSecondaryType, IsSecretYieldValueUsage, IsStrictlyAssigned, IsSynchronized, IsSynthetic, IsThenStatementUnreachable, IsTryBlockExiting, IsTypeElided, IsUnionType, IsUsedInPatternGuard, IsUsefulEmptyStatement, IsVarArgs, LabelUsed, NeededScope, NeedFreeReturn, NeedReceiverGenericCast, NO_ANNOTATIONS, NO_ARGUMENTS, NO_FIELD_DECLARATIONS, NO_RECORD_COMPONENTS, NO_TYPE_PATTERNS, NO_VARIABLES, OnDemand, OperatorMASK, OperatorSHIFT, OverridingMethodWithSupercall, ParenthesizedMASK, ParenthesizedSHIFT, ResolveJavadoc, RestrictiveFlagMASK, ReturnTypeIDMASK, ShadowsOuterLocal, sourceEnd, sourceStart, SuperAccess, ThenExit, Unchecked, UndocumentedEmptyBlock, UnnecessaryCast, UnsafeCast, Used

Fields inherited from interface ProblemSeverities

Abort, AbortCompilation, AbortCompilationUnit, AbortMethod, AbortType, CoreSeverityMASK, Error, Fatal, Ignore, Info, InternalError, Optional, SecondaryError, Warning

Fields inherited from interface TypeConstants

ANNOTATION, ANNOTATION_PREFIX, ANNOTATION_SUFFIX, ANONYM_PREFIX, ANONYM_SUFFIX, ANONYMOUS_METHOD, APACHE, APACHE_DBUTILS, APACHE_IOUTILS, API, ASSERT_CLASS, ASSERT_FALSE, ASSERT_NOTNULL, ASSERT_NULL, ASSERT_TRUE, ASSERTIONS_CLASS, AUTOMATIC_MODULE_NAME, AUTOWIRED, BASE, BEANS, BOOLEAN, BYTE, CAPTURE18, CHANNELS, CHAR, CharArray_JAVA_IO_OBJECTINPUTSTREAM, CharArray_JAVA_IO_OBJECTOUTPUTSTREAM, CharArray_JAVA_IO_OBJECTSTREAMFIELD, CharArray_JAVA_LANG_ANNOTATION_ANNOTATION, CharArray_JAVA_LANG_ENUM, CharArray_JAVA_LANG_OBJECT, CharArray_JAVA_LANG_RECORD, CharArray_JAVA_LANG_RECORD_SLASH, CHECK_ARGUMENT, CHECK_NOT_NULL, CHECK_STATE, CLINIT, CLONE, CLOSE, CLOSE_QUIETLY, closeMethods, COM, COM_GOOGLE_COMMON_BASE_PRECONDITIONS, COM_GOOGLE_INJECT_INJECT, COMMONS, COMPILER, CONSTRAINT_EQUAL, CONSTRAINT_EXTENDS, CONSTRAINT_SUPER, CONTAINS, CONTAINS_ALL, CONTAINS_KEY, CONTAINS_VALUE, CORE, DEFAULT_LOCATION__ARRAY_CONTENTS, DEFAULT_LOCATION__FIELD, DEFAULT_LOCATION__PARAMETER, DEFAULT_LOCATION__RECORD_COMPONENT, DEFAULT_LOCATION__RETURN_TYPE, DEFAULT_LOCATION__TYPE_ARGUMENT, DEFAULT_LOCATION__TYPE_BOUND, DEFAULT_LOCATION__TYPE_PARAMETER, DESERIALIZE_LAMBDA, DOM, DOUBLE, ECLIPSE, EQUALS, FACTORY, FILTER, FLOAT, FLUENT_RESOURCE_CLASSES, FOR_REMOVAL, FRAMEWORK, GET, GET_STATIC_FINAL, GET_STATIC_FINAL__SIGNATURE, GETCLASS, GOOGLE, GUAVA_CLOSEABLES, HASHCODE, IMPLEMENTS, INDEX_OF, INIT, INJECT_PACKAGE, INJECT_TYPE, INT, INTERNAL, INVOKE, IO, IS_INSTANCE, IS_NOTNULL, IS_NULL, IS_TRUE, ITYPEBINDING, JAKARTA, JAKARTA_ANNOTATION_INJECT_INJECT, JAVA, JAVA_BASE, JAVA_DOT_BASE, JAVA_IO, JAVA_IO_CLOSEABLE, JAVA_IO_EXTERNALIZABLE, JAVA_IO_IO, JAVA_IO_IOEXCEPTION, JAVA_IO_OBJECTINPUTSTREAM, JAVA_IO_OBJECTOUTPUTSTREAM, JAVA_IO_OBJECTSTREAMEXCEPTION, JAVA_IO_PRINTSTREAM, JAVA_IO_RESOURCE_FREE_CLOSEABLES, JAVA_IO_SERIALIZABLE, JAVA_IO_WRAPPER_CLOSEABLES, JAVA_LANG, JAVA_LANG_ANNOTATION, JAVA_LANG_ANNOTATION_ANNOTATION, JAVA_LANG_ANNOTATION_DOCUMENTED, JAVA_LANG_ANNOTATION_ELEMENTTYPE, JAVA_LANG_ANNOTATION_INHERITED, JAVA_LANG_ANNOTATION_REPEATABLE, JAVA_LANG_ANNOTATION_RETENTION, JAVA_LANG_ANNOTATION_RETENTIONPOLICY, JAVA_LANG_ANNOTATION_TARGET, JAVA_LANG_ASSERTIONERROR, JAVA_LANG_AUTOCLOSEABLE, JAVA_LANG_BOOLEAN, JAVA_LANG_BYTE, JAVA_LANG_CHARACTER, JAVA_LANG_CLASS, JAVA_LANG_CLASSNOTFOUNDEXCEPTION, JAVA_LANG_CLONEABLE, JAVA_LANG_CONSTANT_CLASSDESC, JAVA_LANG_DEPRECATED, JAVA_LANG_DOUBLE, JAVA_LANG_ENUM, JAVA_LANG_ENUM_ENUMDESC, JAVA_LANG_ERROR, JAVA_LANG_EXCEPTION, JAVA_LANG_FLOAT, JAVA_LANG_FUNCTIONAL_INTERFACE, JAVA_LANG_ILLEGALARGUMENTEXCEPTION, JAVA_LANG_INCOMPATIBLECLASSCHANGEERROR, JAVA_LANG_INTEGER, JAVA_LANG_INVOKE_CONSTANTBOOTSTRAP, JAVA_LANG_INVOKE_LAMBDAMETAFACTORY, JAVA_LANG_INVOKE_METHODHANDLE, JAVA_LANG_INVOKE_METHODHANDLE_$_POLYMORPHICSIGNATURE, JAVA_LANG_INVOKE_METHODHANDLE_POLYMORPHICSIGNATURE, JAVA_LANG_INVOKE_METHODHANDLES, JAVA_LANG_INVOKE_SERIALIZEDLAMBDA, JAVA_LANG_INVOKE_STRING_CONCAT_FACTORY, JAVA_LANG_INVOKE_VARHANDLE, JAVA_LANG_ITERABLE, JAVA_LANG_LONG, JAVA_LANG_NOCLASSDEFFOUNDERROR, JAVA_LANG_NOSUCHFIELDERROR, JAVA_LANG_OBJECT, JAVA_LANG_OVERRIDE, JAVA_LANG_RECORD, JAVA_LANG_REFLECT_CONSTRUCTOR, JAVA_LANG_REFLECT_FIELD, JAVA_LANG_REFLECT_METHOD, JAVA_LANG_RUNTIME_OBJECTMETHODS, JAVA_LANG_RUNTIME_SWITCHBOOTSTRAPS, JAVA_LANG_RUNTIMEEXCEPTION, JAVA_LANG_SAFEVARARGS, JAVA_LANG_SHORT, JAVA_LANG_STRING, JAVA_LANG_STRINGBUFFER, JAVA_LANG_STRINGBUILDER, JAVA_LANG_SUPPRESSWARNINGS, JAVA_LANG_SYSTEM, JAVA_LANG_THROWABLE, JAVA_LANG_VOID, JAVA_NIO_FILE_FILES, JAVA_UTIL_ARRAYS, JAVA_UTIL_COLLECTION, JAVA_UTIL_ITERATOR, JAVA_UTIL_LIST, JAVA_UTIL_MAP, JAVA_UTIL_OBJECTS, JAVA_UTIL_STREAM, JAVA_UTIL_STREAM__STREAM, JAVA_UTIL_ZIP_WRAPPER_CLOSEABLES, JAVAC, JAVAX, JAVAX_ANNOTATION_INJECT_INJECT, JAVAX_RMI_CORBA_STUB, JDK, JDK_INTERNAL_JAVAC_PREVIEW_FEATURE, JDK_INTERNAL_PREVIEW_FEATURE, JDK_INTERNAL_VALUEBASED, JDT, JUNIT, JUNIT_FRAMEWORK_ASSERT, JUPITER, KEYWORD_EXTENDS, LAMBDA_TYPE, LANG, LANG3, LAST_INDEX_OF, LENGTH, LONG, LOOKUP, MAIN, META_INF_MANIFEST_MF, METHOD_SOURCE, MODULE_INFO_CLASS_NAME, MODULE_INFO_CLASS_NAME_STRING, MODULE_INFO_FILE_NAME, MODULE_INFO_FILE_NAME_STRING, MODULE_INFO_NAME, MODULE_INFO_NAME_STRING, NEXT, NIO, NON_NULL, NON_SEALED, NOT_NULL, NULL, OBJECT, ONE_UTIL_STREAMEX, OPTIONAL, ORG, ORG_APACHE_COMMONS_LANG_VALIDATE, ORG_APACHE_COMMONS_LANG3_VALIDATE, ORG_ECLIPSE_CORE_RUNTIME_ASSERT, ORG_ECLIPSE_JDT_CORE_DOM_ITYPEBINDING, ORG_ECLIPSE_JDT_INTERNAL_COMPILER_LOOKUP_TYPEBINDING, ORG_JUNIT_ASSERT, ORG_JUNIT_JUPITER_API_ASSERTIONS, ORG_JUNIT_METHOD_SOURCE, ORG_SPRING_AUTOWIRED, OTHER_WRAPPER_CLOSEABLES, PACKAGE_INFO_NAME, PARAMS, PERMITS, PRIMITIVE_CLASS, PRIMITIVE_CLASS__SIGNATURE, PROVIDER, READOBJECT, READRESOLVE, RECORD_CLASS, RECORD_RESTRICTED_IDENTIFIER, REFLECT, REMOVE, REMOVE_ALL, REQUIRE_NON_NULL, REQUIRED, RESOURCE_FREE_CLOSEABLE_J_U_STREAMS, RESOURCE_FREE_CLOSEABLE_STREAMEX, RETAIN_ALL, RUNTIME, SEALED, SERIALPERSISTENTFIELDS, SERIALVERSIONUID, SHORT, SINCE, SPRING, STRING_CONCAT_FACTORY_TAG_ARG, STRING_CONCAT_FACTORY_TAG_CONST, SYNTHETIC_ACCESS_METHOD_PREFIX, SYNTHETIC_ASSERT_DISABLED, SYNTHETIC_CLASS, SYNTHETIC_ENCLOSING_INSTANCE_PREFIX, SYNTHETIC_ENUM_CONSTANT_INITIALIZATION_METHOD_PREFIX, SYNTHETIC_ENUM_VALUES, SYNTHETIC_OUTER_LOCAL_PREFIX, SYNTHETIC_STATIC_FACTORY, SYNTHETIC_SWITCH_ENUM_TABLE, TOSTRING, TYPE, TYPE_PARAMETER_TARGET, TYPE_USE_TARGET, TYPEBINDING, UPPER_ANNOTATION_TYPE, UPPER_CLASS, UPPER_CONSTRUCTOR, UPPER_FIELD, UPPER_LOCAL_VARIABLE, UPPER_METHOD, UPPER_MODULE, UPPER_PACKAGE, UPPER_PARAMETER, UPPER_RECORD_COMPONENT, UPPER_RUNTIME, UPPER_SOURCE, UTIL, VALIDATE_CLASS, VALUE, VALUEOF, VALUES, VAR, VOID, WILDCARD_CAPTURE, WILDCARD_CAPTURE_NAME_PREFIX, WILDCARD_CAPTURE_NAME_SUFFIX, WILDCARD_CAPTURE_SIGNABLE_NAME_SUFFIX, WILDCARD_EXTENDS, WILDCARD_MINUS, WILDCARD_NAME, WILDCARD_PLUS, WILDCARD_STAR, WILDCARD_SUPER, WRITEOBJECT, WRITEREPLACE, YIELD, ZIP

Fields inherited from interface TypeIds

BitAnyNullAnnotation, BitAnyOwningAnnotation, BitAutoCloseable, BitCloseable, BitCollection, BitList, BitMap, BitNonNullAnnotation, BitNonNullByDefaultAnnotation, BitNotOwningAnnotation, BitNullableAnnotation, BitOwningAnnotation, BitResourceFreeCloseable, BitUninitialized, BitUninternedType, BitWrapperCloseable, Boolean2Boolean, Boolean2Int, Boolean2String, BOXING, Byte2Byte, Byte2Char, Byte2Double, Byte2Float, Byte2Int, Byte2Long, Byte2Short, Byte2String, Char2Byte, Char2Char, Char2Double, Char2Float, Char2Int, Char2Long, Char2Short, Char2String, COMPILE_TYPE_MASK, Double2Byte, Double2Char, Double2Double, Double2Float, Double2Int, Double2Long, Double2Short, Double2String, Float2Byte, Float2Char, Float2Double, Float2Float, Float2Int, Float2Long, Float2Short, Float2String, IMPLICIT_CONVERSION_MASK, InheritableBits, Int2Byte, Int2Char, Int2Double, Int2Float, Int2Int, Int2Long, Int2Short, Int2String, Long2Byte, Long2Char, Long2Double, Long2Float, Long2Int, Long2Long, Long2Short, Long2String, NoId, Null2Null, Null2String, Object2boolean, Object2byte, Object2char, Object2double, Object2float, Object2int, Object2long, Object2Object, Object2short, Object2String, Short2Byte, Short2Char, Short2Double, Short2Float, Short2Int, Short2Long, Short2Short, Short2String, String2String, T_boolean, T_byte, T_char, T_ComGoogleCommonBasePreconditions, T_ComGoogleInjectInject, T_double, T_float, T_int, T_JakartaInjectInject, T_JavaIoException, T_JavaIoExternalizable, T_JavaIoObjectStreamException, T_JavaIoPrintStream, T_JavaIoSerializable, T_JavaLangAnnotationAnnotation, T_JavaLangAnnotationDocumented, T_JavaLangAnnotationElementType, T_JavaLangAnnotationInherited, T_JavaLangAnnotationRepeatable, T_JavaLangAnnotationRetention, T_JavaLangAnnotationRetentionPolicy, T_JavaLangAnnotationTarget, T_JavaLangAssertionError, T_JavaLangAutoCloseable, T_JavaLangBoolean, T_JavaLangByte, T_JavaLangCharacter, T_JavaLangClass, T_JavaLangClassNotFoundException, T_JavaLangCloneable, T_JavaLangDeprecated, T_JavaLangDouble, T_JavaLangEnum, T_JavaLangError, T_JavaLangException, T_JavaLangFloat, T_JavaLangFunctionalInterface, T_JavaLangIllegalArgumentException, T_JavaLangInteger, T_JavaLangInvokeMethodHandlePolymorphicSignature, T_JavaLangIterable, T_JavaLangLong, T_JavaLangNoClassDefFoundError, T_JavaLangObject, T_JavaLangOverride, T_JavaLangRecord, T_JavaLangReflectConstructor, T_JavaLangReflectField, T_JavaLangReflectMethod, T_JavaLangRuntimeException, T_JavaLangSafeVarargs, T_JavaLangShort, T_JavaLangString, T_JavaLangStringBuffer, T_JavaLangStringBuilder, T_JavaLangSuppressWarnings, T_JavaLangSystem, T_JavaLangThrowable, T_JavaLangVoid, T_JavaUtilCollection, T_JavaUtilIterator, T_JavaUtilList, T_JavaUtilMap, T_JavaUtilObjects, T_JavaxInjectInject, T_JunitFrameworkAssert, T_LastWellKnownTypeId, T_long, T_null, T_OrgApacheCommonsLang3Validate, T_OrgApacheCommonsLangValidate, T_OrgEclipseCoreRuntimeAssert, T_OrgJunitAssert, T_OrgJunitJupiterApiAssertions, T_OrgJunitJupiterParamsProviderMethodSource, T_OrgSpringframeworkBeansFactoryAnnotationAutowired, T_short, T_undefined, T_void, UNBOXING

Constructor Summary

Constructors

Constructor	Description
LambdaExpression(CompilationResult compilationResult, boolean assistNode)

Method Summary

Modifier and Type	Method	Description
void	abort(int abortLevel, CategorizedProblem problem)
void	addLocalType(LocalTypeBinding localTypeBinding)
void	addSyntheticArgument(LocalVariableBinding actualOuterLocalVariable)
SyntheticArgumentBinding	addSyntheticArgument(ReferenceBinding enclosingType)
FlowInfo	analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
Argument[]	arguments()
boolean	argumentsTypeElided()
TypeBinding[]	argumentTypes()
int	arrowPosition()
Statement	body()
CompilationResult	compilationResult()
int	diagnosticsSourceEnd()
void	ensureSyntheticOuterAccess(SourceTypeBinding targetEnclosing)
TypeBinding	expectedResultType()
void	generateCode(ClassFile classFile)
void	generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)	Every expression is responsible for generating its implicit conversion when necessary.
void	generateCode(ClassScope classScope, ClassFile classFile)
CompilationUnitDeclaration	getCompilationUnitDeclaration()
TypeBinding[]	getMarkerInterfaces()
MethodBinding	getMethodBinding()
MethodScope	getScope()
SyntheticArgumentBinding	getSyntheticArgument(LocalVariableBinding actualOuterLocalVariable)
Set<TypeBinding>	getThrownExceptions()
ReferenceBinding	getTypeBinding()
boolean	hasErrors()
boolean	isCompatibleWith(TypeBinding targetType, Scope skope)
boolean	isPertinentToApplicability(TypeBinding targetType, MethodBinding method)
boolean	isPotentiallyCompatibleWith(TypeBinding targetType, Scope skope)
boolean	isValueCompatible()
boolean	isVoidCompatible()
boolean	kosherDescriptor(Scope currentScope, MethodBinding sam, boolean shouldChatter)
protected FunctionalExpression	original()
StringBuilder	printExpression(int tab, StringBuilder output)
StringBuilder	printExpression(int tab, StringBuilder output, boolean makeShort)
boolean	reportShapeError(TypeBinding targetType, Scope skope)
LambdaExpression	resolveExpressionExpecting(TypeBinding targetType, Scope skope, InferenceContext18 context)	Get a resolved copy of this lambda for use by type inference, as to avoid spilling any premature type results into the original lambda.
TypeBinding	resolveType(BlockScope blockScope, boolean skipKosherCheck)
void	resolveTypeWithBindings(LocalVariableBinding[] bindings, BlockScope blockScope, boolean skipKosherCheck)
Expression[]	resultExpressions()
void	returnsExpression(Expression expression, TypeBinding resultType)
void	setArguments(Argument[] arguments)
void	setArrowPosition(int arrowPosition)
void	setBody(Statement body)
boolean	sIsMoreSpecific(TypeBinding s, TypeBinding t, Scope skope)
void	tagAsHavingErrors()
void	traverse(ASTVisitor visitor, BlockScope blockScope)	Traverse an expression in the context of a blockScope
static void	updateLocalTypesInMethod(MethodBinding method, Scope.Substitutor substor, Substitution subst)

Methods inherited from class FunctionalExpression

cleanUp, expectedType, getExpressionContext, getRequiredBridges, invocationTargetType, isBoxingCompatibleWith, isFunctionalType, isPolyExpression, isPolyExpression, nullStatus, recordFunctionalType, reportSamProblem, resolveType, setCompilationResult, setExpectedType, setExpressionContext

Methods inherited from class Expression

analyseCode, buildStringForConcatenation, checkCastTypesCompatibility, checkNPE, checkNPE, checkNPEbyUnboxing, checkUnsafeCast, computeConversion, computeNullStatus, forcedToBeRaw, generateCode, generateOptimizedBoolean, generateOptimizedStringConcatenation, generateOptimizedStringConcatenationCreation, getDirectBinding, getPolyExpressions, hasSideEffects, isCompactableOperation, isConstantValueOfTypeAssignableToType, isConstantValueRepresentable, isExactMethodReference, isPolyExpression, isTrulyExpression, isTypeReference, localVariableBinding, markAsNonNull, nullAnnotatedVariableBinding, nullStatus, optimizedBooleanConstant, optimizedNullComparisonConstant, postConversionType, print, printStatement, resolve, resolveType, resolveTypeExpecting, resolveTypeExpectingWithBindings, resolveTypeWithBindings, statementExpression, tagAsNeedCheckCast, tagAsUnnecessaryCast, toTypeReference, traverse, updateFlowOnBooleanResult

Methods inherited from class Statement

analyseArguments, bindingsWhenComplete, bindingsWhenFalse, bindingsWhenTrue, branchChainTo, breaksOut, checkAgainstNullTypeAnnotation, checkAgainstNullTypeAnnotation, complainIfUnreachable, completesByContinue, containsPatternVariable, containsPatternVariable, continuesAtOuterLabel, doesNotCompleteNormally, enclosingSwitchExpression, findConstructorBinding, generateArguments, isBoxingCompatible, isEmptyBlock, isKnowDeadCodePattern, isValidJavaStatement, resolveWithBindings

Methods inherited from class ASTNode

acceptPotentiallyCompatibleMethods, checkingPotentialCompatibility, checkInvocationArguments, concreteStatement, copyRecordComponentAnnotations, copySE8AnnotationsToType, getRelevantAnnotations, handleNonNullByDefault, isFieldUseDeprecated, isImplicitThis, isMethodUseDeprecated, isQualifiedSuper, isSuper, isThis, isType, isTypeUseDeprecated, isUnqualifiedSuper, printAnnotations, printIndent, printModifiers, receiverIsImplicitThis, resolveAnnotations, resolveAnnotations, resolveAnnotations, resolveDeprecatedAnnotations, resolveNullDefaultAnnotations, resolvePolyExpressionArguments, resolveStatements, sourceEnd, sourceStart, toString

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface IPolyExpression

expectedType, getExpressionContext, getPolyExpressions, invocationTargetType, isBoxingCompatibleWith, isFunctionalType, isPolyExpression, isPolyExpression, resolveType, setExpectedType, setExpressionContext

Methods inherited from interface TypeOrLambda

addSyntheticArgumentsBeyondEarlyConstructionContext

Field Details

arguments

public Argument[] arguments

arrowPosition

public int arrowPosition

body

public Statement body

hasParentheses

public boolean hasParentheses

scope

public MethodScope scope

original

public LambdaExpression original

outerLocalVariables

public SyntheticArgumentBinding[] outerLocalVariables

mapSyntheticEnclosingTypes

public Map<SourceTypeBinding, SyntheticArgumentBinding> mapSyntheticEnclosingTypes

hasOuterClassMemberReference

public boolean hasOuterClassMemberReference

resultExpressions

protected Expression[] resultExpressions

inferenceContext

public InferenceContext18 inferenceContext

hasVarTypedArguments

public boolean hasVarTypedArguments

Constructor Details

LambdaExpression

public LambdaExpression(CompilationResult compilationResult,
 boolean assistNode)

Method Details

setArguments

public void setArguments(Argument[] arguments)

arguments

public Argument[] arguments()

argumentTypes

public TypeBinding[] argumentTypes()

setBody

public void setBody(Statement body)

body

public Statement body()

resultExpressions

public Expression[] resultExpressions()

setArrowPosition

public void setArrowPosition(int arrowPosition)

arrowPosition

public int arrowPosition()

original

protected FunctionalExpression original()

generateCode

public void generateCode(BlockScope currentScope,
 CodeStream codeStream,
 boolean valueRequired)

Description copied from class: Expression

Every expression is responsible for generating its implicit conversion when necessary.

Overrides:

generateCode in class Expression

Parameters:

currentScope - org.eclipse.jdt.internal.compiler.lookup.BlockScope

codeStream - org.eclipse.jdt.internal.compiler.codegen.CodeStream

valueRequired - boolean

kosherDescriptor

public boolean kosherDescriptor(Scope currentScope,
 MethodBinding sam,
 boolean shouldChatter)

Overrides:

kosherDescriptor in class FunctionalExpression

resolveTypeWithBindings

public void resolveTypeWithBindings(LocalVariableBinding[] bindings,
 BlockScope blockScope,
 boolean skipKosherCheck)

resolveType

public TypeBinding resolveType(BlockScope blockScope,
 boolean skipKosherCheck)

Overrides:

resolveType in class FunctionalExpression

argumentsTypeElided

public boolean argumentsTypeElided()

Overrides:

argumentsTypeElided in class FunctionalExpression

analyseCode

public FlowInfo analyseCode(BlockScope currentScope,
 FlowContext flowContext,
 FlowInfo flowInfo)

Overrides:

analyseCode in class Expression

isPertinentToApplicability

public boolean isPertinentToApplicability(TypeBinding targetType,
 MethodBinding method)

Specified by:

isPertinentToApplicability in interface IPolyExpression

Overrides:

isPertinentToApplicability in class FunctionalExpression

isVoidCompatible

public boolean isVoidCompatible()

isValueCompatible

public boolean isValueCompatible()

printExpression

public StringBuilder printExpression(int tab,
 StringBuilder output)

Specified by:

printExpression in class Expression

printExpression

public StringBuilder printExpression(int tab,
 StringBuilder output,
 boolean makeShort)

Overrides:

printExpression in class Expression

expectedResultType

public TypeBinding expectedResultType()

traverse

public void traverse(ASTVisitor visitor,
 BlockScope blockScope)

Description copied from class: Expression

Traverse an expression in the context of a blockScope

Overrides:

traverse in class Expression

getScope

public MethodScope getScope()

isPotentiallyCompatibleWith

public boolean isPotentiallyCompatibleWith(TypeBinding targetType,
 Scope skope)

Specified by:

isPotentiallyCompatibleWith in interface IPolyExpression

Overrides:

isPotentiallyCompatibleWith in class Expression

reportShapeError

public boolean reportShapeError(TypeBinding targetType,
 Scope skope)

isCompatibleWith

public boolean isCompatibleWith(TypeBinding targetType,
 Scope skope)

Specified by:

isCompatibleWith in interface IPolyExpression

Overrides:

isCompatibleWith in class Expression

resolveExpressionExpecting

public LambdaExpression resolveExpressionExpecting(TypeBinding targetType,
 Scope skope,
 InferenceContext18 context)

Get a resolved copy of this lambda for use by type inference, as to avoid spilling any premature type results into the original lambda.

Specified by:

resolveExpressionExpecting in interface IPolyExpression

Overrides:

resolveExpressionExpecting in class Expression

Parameters:

targetType - the target functional type against which inference is attempted, must be a non-null valid functional type

Returns:

a resolved copy of 'this' or null if significant errors where encountered

sIsMoreSpecific

public boolean sIsMoreSpecific(TypeBinding s,
 TypeBinding t,
 Scope skope)

Specified by:

sIsMoreSpecific in interface IPolyExpression

Overrides:

sIsMoreSpecific in class Expression

returnsExpression

public void returnsExpression(Expression expression,
 TypeBinding resultType)

compilationResult

public CompilationResult compilationResult()

Specified by:

compilationResult in interface ReferenceContext

abort

public void abort(int abortLevel,
 CategorizedProblem problem)

Specified by:

abort in interface ReferenceContext

getCompilationUnitDeclaration

public CompilationUnitDeclaration getCompilationUnitDeclaration()

Specified by:

getCompilationUnitDeclaration in interface ReferenceContext

hasErrors

public boolean hasErrors()

Specified by:

hasErrors in interface ReferenceContext

tagAsHavingErrors

public void tagAsHavingErrors()

Specified by:

tagAsHavingErrors in interface ReferenceContext

getThrownExceptions

public Set<TypeBinding> getThrownExceptions()

generateCode

public void generateCode(ClassScope classScope,
 ClassFile classFile)

generateCode

public void generateCode(ClassFile classFile)

addSyntheticArgument

public void addSyntheticArgument(LocalVariableBinding actualOuterLocalVariable)

addSyntheticArgument

public SyntheticArgumentBinding addSyntheticArgument(ReferenceBinding enclosingType)

ensureSyntheticOuterAccess

public void ensureSyntheticOuterAccess(SourceTypeBinding targetEnclosing)

Specified by:

ensureSyntheticOuterAccess in interface TypeOrLambda

getSyntheticArgument

public SyntheticArgumentBinding getSyntheticArgument(LocalVariableBinding actualOuterLocalVariable)

getMethodBinding

public MethodBinding getMethodBinding()

Overrides:

getMethodBinding in class FunctionalExpression

diagnosticsSourceEnd

public int diagnosticsSourceEnd()

Overrides:

diagnosticsSourceEnd in class FunctionalExpression

getMarkerInterfaces

public TypeBinding[] getMarkerInterfaces()

getTypeBinding

public ReferenceBinding getTypeBinding()

addLocalType

public void addLocalType(LocalTypeBinding localTypeBinding)

updateLocalTypesInMethod

public static void updateLocalTypesInMethod(MethodBinding method,
 Scope.Substitutor substor,
 Substitution subst)