Package org.aspectj.org.eclipse.jdt.internal.compiler.lookup
package org.aspectj.org.eclipse.jdt.internal.compiler.lookup
-
ClassDescriptionRepresents JSR 175 Annotation instances in the type-system.Capture-like type variable introduced during 1.8 type inference.Global registry of active contexts to be used for capturing in situations that have no AST location nor Scope at hand.Constraint formula expressing that a given expression must have an exception type.We want to avoid eagerly resolving of all enums that are used in annotations.This interface is used by SourceTypeBinding to provide a delegated lookup instance.Extracted slice from MethodVerifier15, which is responsible only for implicit null annotations.Context used during type inference for a generic method invocationMain class for new type inference as per JLS8 sect 18.Thrown when a definite compile error is detected deep within the type inference.A type variable substitution strategy based on inference variables (JLS8 18.1.1)Implementation of 18.1.1 in JLS8Abstraction used for intersection casts in Java 8 + and inferred types: type inference at 1.8+ lub at 1.8+ projections for 'var' at 10+This interface is used by SourceTypeBinding to provide a delegated lookup instance.A listener, which gets notified when a type binding has been discovered.This interface is used by SourceTypeBinding to provide a delegated lookup instance.AspectJ Extension - made many methods and fields more visible for extension Also modified error checking on getType(char[][] compoundName) to allow refering to inner types directly.Specific block scope used for methods, constructors or clinits, representing its outermost blockscope.This class serves a dual purposePseudo method binding used to wrapper a real method, and expose less exceptions than original.Binding denoting a field after type substitution got performed.Binding denoting a generic method after type parameter substitutions got performed.Binding denoting a method after type parameter substitutions got performed.Binding denoting a record component after type substitution got performed.A parameterized type encapsulates a type with type arguments,A package binding that is known not to be a
SplitPackageBinding.Binding denoting a polymorphic methodDenote a raw type, i.e.Generalization over TypeBounds and ConstraintFormulas which both can be created during reduction.Don't substitute any type variables.Encodes a synthetic <factory> method used for resolving a diamond constructor.Implementation of 18.1.3 in JLS8Binding for a type parameter, held by source/binary type or method.