Package com.sun.tools.javac.comp

Class Infer

java.lang.Object

com.sun.tools.javac.comp.Infer

public class Infer
extends Object

Helper class for type parameter inference, used by the attribution phase.

This is NOT part of any supported API. If you write code that depends on this, you do so at your own risk. This code and its internal interfaces are subject to change or deletion without notice.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	Infer.BoundFilter
static class	Infer.InferenceException This exception class is design to store a list of diagnostics corresponding to inference errors that can arise during a method applicability check.

Field Summary

Fields

Modifier and Type	Field and Description
static Type	anyPoly A value for prototypes that admit any type, including polymorphic ones.
protected Infer.InferenceException	inferenceException
protected static Context.Key<Infer>	inferKey

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Infer(Context context)

Method Summary

Modifier and Type	Method and Description
static Infer	instance(Context context)
Type	instantiateFunctionalInterface(JCDiagnostic.DiagnosticPosition pos, Type funcInterface, List<Type> paramTypes, Check.CheckContext checkContext) This method is used to infer a suitable target SAM in case the original SAM type contains one or more wildcards.
Type	instantiateMethod(Env<AttrContext> env, List<Type> tvars, Type.MethodType mt, com.sun.tools.javac.comp.Attr.ResultInfo resultInfo, Symbol msym, List<Type> argtypes, boolean allowBoxing, boolean useVarargs, com.sun.tools.javac.comp.Resolve.MethodResolutionContext resolveContext, Warner warn) Main inference entry point - instantiate a generic method type using given argument types and (possibly) an expected target-type.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

inferKey

protected static final Context.Key<Infer> inferKey

anyPoly

public static final Type anyPoly

A value for prototypes that admit any type, including polymorphic ones.

inferenceException

protected final Infer.InferenceException inferenceException

Constructor Detail

Infer

protected Infer(Context context)

Method Detail

instance

public static Infer instance(Context context)

instantiateMethod

public Type instantiateMethod(Env<AttrContext> env,
                              List<Type> tvars,
                              Type.MethodType mt,
                              com.sun.tools.javac.comp.Attr.ResultInfo resultInfo,
                              Symbol msym,
                              List<Type> argtypes,
                              boolean allowBoxing,
                              boolean useVarargs,
                              com.sun.tools.javac.comp.Resolve.MethodResolutionContext resolveContext,
                              Warner warn)
                       throws Infer.InferenceException

Main inference entry point - instantiate a generic method type using given argument types and (possibly) an expected target-type.

Throws:

Infer.InferenceException

instantiateFunctionalInterface

public Type instantiateFunctionalInterface(JCDiagnostic.DiagnosticPosition pos,
                                           Type funcInterface,
                                           List<Type> paramTypes,
                                           Check.CheckContext checkContext)

This method is used to infer a suitable target SAM in case the original SAM type contains one or more wildcards. An inference process is applied so that wildcard bounds, as well as explicit lambda/method ref parameters (where applicable) are used to constraint the solution.