Package org.aspectj.org.eclipse.jdt.internal.compiler.lookup
package org.aspectj.org.eclipse.jdt.internal.compiler.lookup
-
KlasseBeschreibungRepresents JSR 175 Annotation instances in the type-system.Capture-like type variable introduced during 1.8 type inference.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.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. a generic type referenced without any type arguments.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.