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 of Infer.

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