Package net.sourceforge.pmd.lang.java.types.internal.infer
-
Interface Summary Interface Description ExprMirror Adapter class to manipulate expressions.ExprMirror.BranchingMirror Mirrors a conditional or switch expression.ExprMirror.CtorInvocationMirror An invocation mirror reflecting a constructor invocation expression.ExprMirror.FunctionalExprMirror Mirror of some expression that targets a functional interface type: lambda or method reference.ExprMirror.InvocationMirror Adapter over a method or constructor invocation expression.ExprMirror.LambdaExprMirror Mirrors a lambda expression.ExprMirror.MethodRefMirror Mirror of a method reference expression.ExprMirror.PolyExprMirror TypeInferenceLogger A strategy to log the execution traces ofInfer
. -
Class Summary Class Description ExprMirror.InvocationMirror.MethodCtDecl Information about the overload-resolution for a specific method.Infer Main entry point for type inference.InferenceVar Represents an inference variable.MethodCallSite Poly site for an invocation expression.OverloadSet<T> Tracks a set of overloads, automatically pruning override-equivalent methods if possible.PolySite<E extends ExprMirror.PolyExprMirror> Context of a poly expression.ResolutionFailure An exception occurring during overload resolution.TypeInferenceLogger.SimpleLogger TypeInferenceLogger.VerboseLogger This is mega verbose, should only be used for unit tests. -
Enum Summary Enum Description ExprMirror.TypeSpecies A general category of types.InferenceVar.BoundKind