| Modifier and Type | Method and Description |
|---|---|
void |
TypeReference.aboutToResolve(Scope scope) |
void |
ParameterizedQualifiedTypeReference.checkBounds(ReferenceBinding type,
Scope scope,
int index) |
void |
TypeParameter.checkBounds(Scope scope) |
void |
TypeReference.checkBounds(Scope scope) |
void |
ParameterizedQualifiedTypeReference.checkBounds(Scope scope) |
void |
ParameterizedSingleTypeReference.checkBounds(Scope scope) |
boolean |
Expression.checkCastTypesCompatibility(Scope scope,
TypeBinding castType,
TypeBinding expressionType,
Expression expression)
Returns false if cast is not legal.
|
protected void |
NameReference.checkEffectiveFinality(LocalVariableBinding localBinding,
Scope scope) |
static MethodBinding |
NullAnnotationMatching.checkForContradictions(MethodBinding method,
Object location,
Scope scope)
After a method has substituted type parameters, check if this resulted in any contradictory null annotations.
|
protected void |
TypeReference.checkIllegalNullAnnotation(Scope scope) |
protected void |
TypeReference.checkIllegalNullAnnotations(Scope scope,
TypeReference[] typeArguments)
Check all typeArguments for illegal null annotations on base types.
|
protected boolean |
Reference.checkNullableFieldDereference(Scope scope,
FieldBinding field,
long sourcePosition,
FlowContext flowContext,
int ttlForFieldCheck) |
protected void |
TypeReference.checkNullConstraints(Scope scope,
Substitution substitution,
TypeBinding[] variables,
int rank)
Check whether this type reference conforms to the null constraints defined for the corresponding type variable.
|
boolean |
Expression.checkUnsafeCast(Scope scope,
TypeBinding castType,
TypeBinding expressionType,
TypeBinding match,
boolean isNarrowing) |
boolean |
CastExpression.checkUnsafeCast(Scope scope,
TypeBinding castType,
TypeBinding expressionType,
TypeBinding match,
boolean isNarrowing) |
void |
FieldReference.computeConversion(Scope scope,
TypeBinding runtimeTimeType,
TypeBinding compileTimeType) |
void |
Expression.computeConversion(Scope scope,
TypeBinding runtimeType,
TypeBinding compileTimeType)
Base types need that the widening is explicitly done by the compiler using some bytecode like i2f.
|
void |
MessageSend.computeConversion(Scope scope,
TypeBinding runtimeTimeType,
TypeBinding compileTimeType) |
void |
QualifiedNameReference.computeConversion(Scope scope,
TypeBinding runtimeTimeType,
TypeBinding compileTimeType) |
void |
SingleNameReference.computeConversion(Scope scope,
TypeBinding runtimeTimeType,
TypeBinding compileTimeType) |
void |
Reference.fieldStore(Scope currentScope,
CodeStream codeStream,
FieldBinding fieldBinding,
MethodBinding syntheticWriteAccessor,
TypeBinding receiverType,
boolean isImplicitThisReceiver,
boolean valueRequired) |
protected TypeBinding |
QualifiedTypeReference.findNextTypeBinding(int tokenIndex,
Scope scope,
PackageBinding packageBinding) |
InferenceContext18 |
FieldReference.freshInferenceContext(Scope scope) |
InferenceContext18 |
AbstractVariableDeclaration.freshInferenceContext(Scope scope) |
InferenceContext18 |
ReferenceExpression.freshInferenceContext(Scope scope) |
InferenceContext18 |
AllocationExpression.freshInferenceContext(Scope scope) |
InferenceContext18 |
MessageSend.freshInferenceContext(Scope scope) |
InferenceContext18 |
ExplicitConstructorCall.freshInferenceContext(Scope scope) |
InferenceContext18 |
NameReference.freshInferenceContext(Scope scope) |
protected TypeBinding |
IntersectionCastTypeReference.getTypeBinding(Scope scope) |
protected TypeBinding |
UnionTypeReference.getTypeBinding(Scope scope) |
protected TypeBinding |
SingleTypeReference.getTypeBinding(Scope scope) |
protected TypeBinding |
QualifiedTypeReference.getTypeBinding(Scope scope) |
protected TypeBinding |
ArrayQualifiedTypeReference.getTypeBinding(Scope scope) |
protected TypeBinding |
ArrayTypeReference.getTypeBinding(Scope scope) |
protected abstract TypeBinding |
TypeReference.getTypeBinding(Scope scope) |
protected TypeBinding |
JavadocImplicitTypeReference.getTypeBinding(Scope scope) |
protected TypeBinding |
ParameterizedQualifiedTypeReference.getTypeBinding(Scope scope) |
protected TypeBinding |
ParameterizedSingleTypeReference.getTypeBinding(Scope scope) |
MethodBinding |
AllocationExpression.inferConstructorOfElidedParameterizedType(Scope scope) |
TypeBinding[] |
AllocationExpression.inferElidedTypes(Scope scope) |
protected TypeBinding |
JavadocFieldReference.internalResolveType(Scope scope) |
protected TypeBinding |
JavadocSingleTypeReference.internalResolveType(Scope scope,
int location) |
protected TypeBinding |
ArrayQualifiedTypeReference.internalResolveType(Scope scope,
int location) |
protected TypeBinding |
ArrayTypeReference.internalResolveType(Scope scope,
int location) |
protected TypeBinding |
TypeReference.internalResolveType(Scope scope,
int location) |
protected TypeBinding |
JavadocImplicitTypeReference.internalResolveType(Scope scope,
int location) |
boolean |
Statement.isBoxingCompatible(TypeBinding expressionType,
TypeBinding targetType,
Expression expression,
Scope scope) |
boolean |
Expression.isBoxingCompatibleWith(TypeBinding left,
Scope scope) |
boolean |
AllocationExpression.isBoxingCompatibleWith(TypeBinding targetType,
Scope scope) |
boolean |
MessageSend.isBoxingCompatibleWith(TypeBinding targetType,
Scope scope) |
boolean |
ConditionalExpression.isBoxingCompatibleWith(TypeBinding targetType,
Scope scope) |
boolean |
FunctionalExpression.isBoxingCompatibleWith(TypeBinding targetType,
Scope scope) |
boolean |
IPolyExpression.isBoxingCompatibleWith(TypeBinding targetType,
Scope scope) |
boolean |
Expression.isCompatibleWith(TypeBinding left,
Scope scope) |
boolean |
ReferenceExpression.isCompatibleWith(TypeBinding targetType,
Scope scope) |
boolean |
AllocationExpression.isCompatibleWith(TypeBinding targetType,
Scope scope) |
boolean |
LambdaExpression.isCompatibleWith(TypeBinding targetType,
Scope skope) |
boolean |
MessageSend.isCompatibleWith(TypeBinding targetType,
Scope scope) |
boolean |
ConditionalExpression.isCompatibleWith(TypeBinding left,
Scope scope) |
boolean |
IPolyExpression.isCompatibleWith(TypeBinding targetType,
Scope scope) |
boolean |
ASTNode.isFieldUseDeprecated(FieldBinding field,
Scope scope,
int filteredBits) |
boolean |
ASTNode.isMethodUseDeprecated(MethodBinding method,
Scope scope,
boolean isExplicitUse) |
boolean |
Expression.isPotentiallyCompatibleWith(TypeBinding targetType,
Scope scope) |
boolean |
ReferenceExpression.isPotentiallyCompatibleWith(TypeBinding targetType,
Scope scope) |
boolean |
LambdaExpression.isPotentiallyCompatibleWith(TypeBinding targetType,
Scope skope) |
boolean |
ConditionalExpression.isPotentiallyCompatibleWith(TypeBinding targetType,
Scope scope) |
boolean |
IPolyExpression.isPotentiallyCompatibleWith(TypeBinding targetType,
Scope scope) |
static boolean |
Annotation.isTypeUseCompatible(TypeReference reference,
Scope scope) |
static void |
Annotation.isTypeUseCompatible(TypeReference reference,
Scope scope,
Annotation[] annotations) |
boolean |
ASTNode.isTypeUseDeprecated(TypeBinding type,
Scope scope) |
boolean |
LambdaExpression.kosherDescriptor(Scope currentScope,
MethodBinding sam,
boolean shouldChatter) |
boolean |
FunctionalExpression.kosherDescriptor(Scope scope,
MethodBinding sam,
boolean shouldChatter) |
TypeBinding |
FieldReference.postConversionType(Scope scope) |
TypeBinding |
Expression.postConversionType(Scope scope)
Returns the type of the expression after required implicit conversions.
|
TypeBinding |
MessageSend.postConversionType(Scope scope) |
TypeBinding |
QualifiedNameReference.postConversionType(Scope scope) |
TypeBinding |
SingleNameReference.postConversionType(Scope scope) |
int |
FunctionalExpression.recordFunctionalType(Scope scope) |
void |
Annotation.recordSuppressWarnings(Scope scope,
int startSuppresss,
int endSuppress,
boolean isSuppressingWarnings) |
protected void |
QualifiedTypeReference.rejectAnnotationsOnPackageQualifiers(Scope scope,
PackageBinding packageBinding) |
protected static void |
QualifiedTypeReference.rejectAnnotationsOnStaticMemberQualififer(Scope scope,
ReferenceBinding currentType,
Annotation[] qualifierAnnot) |
void |
NullAnnotationMatching.report(Scope scope) |
protected void |
JavadocArraySingleTypeReference.reportDeprecatedType(TypeBinding type,
Scope scope) |
protected void |
JavadocSingleTypeReference.reportDeprecatedType(TypeBinding type,
Scope scope) |
protected void |
TypeReference.reportDeprecatedType(TypeBinding type,
Scope scope) |
protected void |
JavadocArrayQualifiedTypeReference.reportDeprecatedType(TypeBinding type,
Scope scope) |
protected void |
JavadocImplicitTypeReference.reportDeprecatedType(TypeBinding type,
Scope scope) |
protected void |
JavadocQualifiedTypeReference.reportDeprecatedType(TypeBinding type,
Scope scope) |
protected void |
TypeReference.reportDeprecatedType(TypeBinding type,
Scope scope,
int index) |
protected void |
JavadocQualifiedTypeReference.reportDeprecatedType(TypeBinding type,
Scope scope,
int index) |
protected void |
JavadocArraySingleTypeReference.reportInvalidType(Scope scope) |
protected void |
JavadocSingleTypeReference.reportInvalidType(Scope scope) |
protected void |
TypeReference.reportInvalidType(Scope scope) |
protected void |
JavadocArrayQualifiedTypeReference.reportInvalidType(Scope scope) |
protected void |
JavadocImplicitTypeReference.reportInvalidType(Scope scope) |
protected void |
JavadocQualifiedTypeReference.reportInvalidType(Scope scope) |
boolean |
FakedTrackingVariable.reportRecordedErrors(Scope scope,
int mergedStatus,
boolean atDeadEnd) |
void |
TypeParameter.resolveAnnotations(Scope scope) |
protected void |
TypeReference.resolveAnnotations(Scope scope,
int location) |
Expression |
Expression.resolveExpressionExpecting(TypeBinding targetType,
Scope scope,
InferenceContext18 context) |
ReferenceExpression |
ReferenceExpression.resolveExpressionExpecting(TypeBinding targetType,
Scope scope,
InferenceContext18 inferenceContext) |
LambdaExpression |
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.
|
Expression |
IPolyExpression.resolveExpressionExpecting(TypeBinding targetType,
Scope scope,
InferenceContext18 inferenceContext) |
boolean |
Expression.sIsMoreSpecific(TypeBinding s,
TypeBinding t,
Scope scope) |
boolean |
ReferenceExpression.sIsMoreSpecific(TypeBinding s,
TypeBinding t,
Scope scope) |
boolean |
LambdaExpression.sIsMoreSpecific(TypeBinding s,
TypeBinding t,
Scope skope) |
boolean |
MessageSend.sIsMoreSpecific(TypeBinding s,
TypeBinding t,
Scope scope) |
boolean |
ConditionalExpression.sIsMoreSpecific(TypeBinding s,
TypeBinding t,
Scope scope) |
boolean |
IPolyExpression.sIsMoreSpecific(TypeBinding s,
TypeBinding t,
Scope skope) |
void |
InstanceOfExpression.tagAsUnnecessaryCast(Scope scope,
TypeBinding castType) |
void |
Expression.tagAsUnnecessaryCast(Scope scope,
TypeBinding castType)
Record the fact a cast expression got detected as being unnecessary.
|
void |
CastExpression.tagAsUnnecessaryCast(Scope scope,
TypeBinding castType) |
| Constructor and Description |
|---|
IteratorForReporting(List<FakedTrackingVariable> variables,
Scope scope,
boolean atExit) |
| Modifier and Type | Method and Description |
|---|---|
void |
StackMapFrameCodeStream.addDefinitelyAssignedVariables(Scope scope,
int initStateIndex) |
void |
CodeStream.addDefinitelyAssignedVariables(Scope scope,
int initStateIndex) |
void |
CodeStream.generateEmulationForConstructor(Scope scope,
MethodBinding methodBinding) |
void |
CodeStream.generateEmulationForMethod(Scope scope,
MethodBinding methodBinding) |
void |
StackMapFrameCodeStream.generateOuterAccess(Object[] mappingSequence,
ASTNode invocationSite,
Binding target,
Scope scope) |
void |
CodeStream.generateOuterAccess(Object[] mappingSequence,
ASTNode invocationSite,
Binding target,
Scope scope) |
static TypeBinding |
CodeStream.getConstantPoolDeclaringClass(Scope currentScope,
FieldBinding codegenBinding,
TypeBinding actualReceiverType,
boolean isImplicitThisReceiver)
Returns the type that should be substituted to original binding declaring class as the proper receiver type
|
static TypeBinding |
CodeStream.getConstantPoolDeclaringClass(Scope currentScope,
MethodBinding codegenBinding,
TypeBinding actualReceiverType,
boolean isImplicitThisReceiver)
Returns the type that should be substituted to original binding declaring class as the proper receiver type
|
boolean |
CodeStream.isDefinitelyAssigned(Scope scope,
int initStateIndex,
LocalVariableBinding local) |
void |
StackMapFrameCodeStream.removeNotDefinitelyAssignedVariables(Scope scope,
int initStateIndex) |
void |
CodeStream.removeNotDefinitelyAssignedVariables(Scope scope,
int initStateIndex) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
FlowContext.checkUnboxing(Scope scope,
Expression expression,
FlowInfo flowInfo)
During deferred checking re-visit a previously recording unboxing situation.
|
void |
FlowContext.recordUnboxing(Scope scope,
Expression expression,
int nullStatus,
FlowInfo flowInfo)
Either AST analysis or checking of a child flow context has encountered an unboxing situation.
|
void |
FinallyFlowContext.recordUnboxing(Scope scope,
Expression expression,
int nullStatus,
FlowInfo flowInfo) |
void |
LoopingFlowContext.recordUnboxing(Scope scope,
Expression expression,
int nullStatus,
FlowInfo flowInfo) |
void |
FlowContext.recordUsingNullReference(Scope scope,
LocalVariableBinding local,
ASTNode location,
int checkType,
FlowInfo flowInfo)
Record a null reference for use by deferred checks.
|
void |
FinallyFlowContext.recordUsingNullReference(Scope scope,
LocalVariableBinding local,
ASTNode location,
int checkType,
FlowInfo flowInfo) |
void |
LoopingFlowContext.recordUsingNullReference(Scope scope,
LocalVariableBinding local,
ASTNode location,
int checkType,
FlowInfo flowInfo) |
| Constructor and Description |
|---|
LoopingFlowContext(FlowContext parent,
FlowInfo upstreamNullFlowInfo,
ASTNode associatedNode,
BranchLabel breakLabel,
BranchLabel continueLabel,
Scope associatedScope,
boolean isPreTest) |
| Modifier and Type | Class and Description |
|---|---|
class |
BlockScope |
class |
ClassScope |
class |
CompilationUnitScope |
class |
MethodScope
Specific block scope used for methods, constructors or clinits, representing
its outermost blockscope.
|
| Modifier and Type | Field and Description |
|---|---|
Scope |
Scope.parent |
Scope[] |
BlockScope.subscopes |
| Modifier and Type | Method and Description |
|---|---|
void |
BlockScope.addSubscope(Scope childScope) |
void |
ParameterizedTypeBinding.boundCheck(Scope scope,
TypeReference[] argumentReferences)
Iterate type arguments, and validate them according to corresponding variable bounds.
|
TypeConstants.BoundCheckStatus |
TypeVariableBinding.boundCheck(Substitution substitution,
TypeBinding argumentType,
Scope scope,
ASTNode location)
Returns true if the argument type satisfies all bounds of the type parameter
|
boolean |
MethodBinding.canBeSeenBy(InvocationSite invocationSite,
Scope scope) |
boolean |
IntersectionTypeBinding18.canBeSeenBy(Scope scope) |
boolean |
ReferenceBinding.canBeSeenBy(Scope scope)
Answer true if the receiver is visible to the type provided by the scope.
|
boolean |
TypeBinding.canBeSeenBy(Scope scope) |
boolean |
MethodBinding.canBeSeenBy(TypeBinding receiverType,
InvocationSite invocationSite,
Scope scope) |
boolean |
FieldBinding.canBeSeenBy(TypeBinding receiverType,
InvocationSite invocationSite,
Scope scope) |
ParameterizedTypeBinding |
RawTypeBinding.capture(Scope scope,
int start,
int end) |
ParameterizedTypeBinding |
ParameterizedTypeBinding.capture(Scope scope,
int start,
int end)
Perform capture conversion for a parameterized type with wildcard arguments
|
TypeBinding |
TypeBinding.capture(Scope scope,
int start,
int end)
Perform capture conversion on a given type (only effective on parameterized type with wildcards)
|
void |
ImplicitNullAnnotationVerifier.checkImplicitNullAnnotations(MethodBinding currentMethod,
AbstractMethodDeclaration srcMethod,
boolean complain,
Scope scope)
Check and fill in implicit annotations from overridden methods and from default.
|
void |
ArrayBinding.collectSubstitutes(Scope scope,
TypeBinding actualType,
InferenceContext inferenceContext,
int constraint)
Collect the substitutes into a map for certain type variables inside the receiver type
e.g.
|
void |
ParameterizedTypeBinding.collectSubstitutes(Scope scope,
TypeBinding actualType,
InferenceContext inferenceContext,
int constraint)
Collect the substitutes into a map for certain type variables inside the receiver type
e.g.
|
void |
TypeVariableBinding.collectSubstitutes(Scope scope,
TypeBinding actualType,
InferenceContext inferenceContext,
int constraint)
Collect the substitutes into a map for certain type variables inside the receiver type
e.g.
|
void |
WildcardBinding.collectSubstitutes(Scope scope,
TypeBinding actualType,
InferenceContext inferenceContext,
int constraint)
Collect the substitutes into a map for certain type variables inside the receiver type
e.g.
|
void |
TypeBinding.collectSubstitutes(Scope scope,
TypeBinding actualType,
InferenceContext inferenceContext,
int constraint)
Collect the substitutes into a map for certain type variables inside the receiver type
e.g.
|
static MethodBinding |
ParameterizedGenericMethodBinding.computeCompatibleMethod(MethodBinding originalMethod,
TypeBinding[] arguments,
Scope scope,
InvocationSite invocationSite)
Perform inference of generic method type parameters and/or expected type
|
static MethodBinding |
ParameterizedGenericMethodBinding.computeCompatibleMethod18(MethodBinding originalMethod,
TypeBinding[] arguments,
Scope scope,
InvocationSite invocationSite) |
Constant |
VariableBinding.constant(Scope scope)
Call this variant during resolve / analyse, so we can handle the case
when a tentative lambda resolve triggers resolving of outside code.
|
Constant |
FieldBinding.constant(Scope scope) |
ParameterizedMethodBinding |
LookupEnvironment.createGetClassMethod(TypeBinding receiverType,
MethodBinding originalMethod,
Scope scope) |
long |
WildcardBinding.determineNullBitsFromDeclaration(Scope scope,
Wildcard wildcard)
compute the nullTagBits from type annotations and bound.
|
void |
TypeVariableBinding.evaluateNullAnnotations(Scope scope,
TypeParameter parameter) |
void |
WildcardBinding.evaluateNullAnnotations(Scope scope,
Wildcard wildcard)
evaluate null type annotations and check / copy nullTagBits from bound and typevariable.
|
void |
FieldBinding.fillInDefaultNonNullness(FieldDeclaration sourceField,
Scope scope) |
InferenceContext18 |
InvocationSite.freshInferenceContext(Scope scope)
When inference for this invocationSite starts, get a fresh inference context, initialized from this site.
|
InferenceContext18 |
InvocationSite.EmptyWithAstNode.freshInferenceContext(Scope scope) |
protected MethodBinding[] |
ParameterizedTypeBinding.getInterfaceAbstractContracts(Scope scope,
boolean replaceWildcards) |
protected MethodBinding[] |
IntersectionTypeBinding18.getInterfaceAbstractContracts(Scope scope,
boolean replaceWildcards) |
protected MethodBinding[] |
ReferenceBinding.getInterfaceAbstractContracts(Scope scope,
boolean replaceWildcards) |
TypeBinding[] |
ParameterizedTypeBinding.getNonWildcardParameterization(Scope scope) |
ReferenceBinding |
LookupEnvironment.getResolvedType(char[][] compoundName,
Scope scope) |
TypeBinding |
IntersectionTypeBinding18.getSAMType(Scope scope) |
MethodBinding |
RawTypeBinding.getSingleAbstractMethod(Scope scope,
boolean replaceWildcards) |
MethodBinding |
ParameterizedTypeBinding.getSingleAbstractMethod(Scope scope,
boolean replaceWildcards) |
MethodBinding |
ReferenceBinding.getSingleAbstractMethod(Scope scope,
boolean replaceWildcards) |
MethodBinding |
TypeBinding.getSingleAbstractMethod(Scope scope,
boolean replaceWildcards)
Return the single abstract method of a functional interface, or one of
null or ReferenceBinding.samProblemBinding, if the receiver is not a functional interface as defined in JLS 9.8. |
MethodBinding |
ParameterizedTypeBinding.getSingleAbstractMethod(Scope scope,
boolean replaceWildcards,
int start,
int end) |
static TypeBinding[] |
Scope.greaterLowerBound(TypeBinding[] types,
Scope scope,
LookupEnvironment environment) |
void |
CaptureBinding.initializeBounds(Scope scope,
ParameterizedTypeBinding capturedParameterizedType)
Initialize capture bounds using substituted supertypes
e.g.
|
void |
CaptureBinding18.initializeBounds(Scope scope,
ParameterizedTypeBinding capturedParameterizedType) |
static ParameterizedMethodBinding |
ParameterizedMethodBinding.instantiateGetClass(TypeBinding receiverType,
MethodBinding originalMethod,
Scope scope)
The type of x.getClass() is substituted from 'Class extends Object>' into: 'Class extends raw(X)>
|
boolean |
TypeBinding.isBoxingCompatibleWith(TypeBinding right,
Scope scope) |
boolean |
ArrayBinding.isCompatibleWith(TypeBinding otherType,
Scope captureScope) |
boolean |
IntersectionTypeBinding18.isCompatibleWith(TypeBinding right,
Scope scope) |
boolean |
CaptureBinding18.isCompatibleWith(TypeBinding otherType,
Scope captureScope) |
boolean |
ReferenceBinding.isCompatibleWith(TypeBinding otherType,
Scope captureScope)
Answer true if the receiver type can be assigned to the argument type (right)
In addition to improving performance, caching also ensures there is no infinite regression
since per nature, the compatibility check is recursive through parameterized type arguments (122775)
|
boolean |
InferenceVariable.isCompatibleWith(TypeBinding right,
Scope scope) |
boolean |
BaseTypeBinding.isCompatibleWith(TypeBinding right,
Scope captureScope) |
boolean |
PolyTypeBinding.isCompatibleWith(TypeBinding left,
Scope scope) |
abstract boolean |
TypeBinding.isCompatibleWith(TypeBinding right,
Scope scope) |
boolean |
ReferenceBinding.isFunctionalInterface(Scope scope) |
boolean |
TypeBinding.isFunctionalInterface(Scope scope) |
boolean |
PolyTypeBinding.isPotentiallyCompatibleWith(TypeBinding targetType,
Scope scope) |
boolean |
TypeBinding.isPotentiallyCompatibleWith(TypeBinding right,
Scope scope) |
protected void |
ImplicitNullAnnotationVerifier.recordDeferredInheritedNullness(Scope scope,
ASTNode location,
MethodBinding inheritedMethod,
Boolean inheritedNonNullness,
org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.InheritedNonNullnessInfo nullnessInfo) |
boolean |
MethodBinding.redeclaresPublicObjectMethod(Scope scope) |
void |
Binding.setAnnotations(AnnotationBinding[] annotations,
Scope scope) |
void |
LocalVariableBinding.setAnnotations(AnnotationBinding[] annotations,
Scope scope) |
boolean |
PolyTypeBinding.sIsMoreSpecific(TypeBinding s,
TypeBinding t,
Scope scope) |
boolean |
TypeBinding.sIsMoreSpecific(TypeBinding s,
TypeBinding t,
Scope scope) |
static BlockScope |
Scope.typeAnnotationsResolutionScope(Scope scope) |
TypeBinding |
RawTypeBinding.uncapture(Scope scope) |
TypeBinding |
ArrayBinding.uncapture(Scope scope) |
TypeBinding |
CaptureBinding.uncapture(Scope scope) |
TypeBinding |
ParameterizedTypeBinding.uncapture(Scope scope)
Perform capture deconversion for a parameterized type with captured wildcard arguments
|
TypeBinding |
CaptureBinding18.uncapture(Scope scope) |
TypeBinding |
WildcardBinding.uncapture(Scope scope) |
TypeBinding |
TypeBinding.uncapture(Scope scope)
Perform capture "deconversion" on a given type
|
static TypeBinding |
TypeBinding.wellKnownType(Scope scope,
int id)
Match a well-known type id to its binding
|
| Constructor and Description |
|---|
BlockScope(int kind,
Scope parent) |
ClassScope(Scope parent,
TypeDeclaration context) |
InferenceContext18(Scope scope) |
InferenceContext18(Scope scope,
Expression[] arguments,
InvocationSite site,
InferenceContext18 outerContext)
Construct an inference context for an invocation (method/constructor).
|
MethodScope(Scope parent,
ReferenceContext context,
boolean isStatic) |
MethodScope(Scope parent,
ReferenceContext context,
boolean isStatic,
int lastVisibleFieldID) |
Scope(int kind,
Scope parent) |
| Modifier and Type | Method and Description |
|---|---|
void |
ProblemReporter.invalidMethod(MessageSend messageSend,
MethodBinding method,
Scope scope) |
void |
ProblemReporter.javadocHiddenReference(int sourceStart,
int sourceEnd,
Scope scope,
int modifiers) |
void |
ProblemReporter.unsafeCast(CastExpression castExpression,
Scope scope) |
void |
ProblemReporter.unsafeNullnessCast(CastExpression castExpression,
Scope scope) |
Copyright © 2016. All rights reserved.