org.aspectj.org.eclipse.jdt.internal.compiler.lookup

Class InferenceSubstitution

java.lang.Object

org.aspectj.org.eclipse.jdt.internal.compiler.lookup.Scope.Substitutor

org.aspectj.org.eclipse.jdt.internal.compiler.lookup.InferenceSubstitution

All Implemented Interfaces:

Substitution

public class InferenceSubstitution
extends Scope.Substitutor
implements Substitution

A type variable substitution strategy based on inference variables (JLS8 18.1.1)

Nested Class Summary

Nested classes/interfaces inherited from interface org.aspectj.org.eclipse.jdt.internal.compiler.lookup.Substitution

Substitution.NullSubstitution

Constructor Summary

Constructors

Constructor and Description
InferenceSubstitution(InferenceContext18 context)
InferenceSubstitution(LookupEnvironment environment, InferenceVariable[] variables, InvocationSite site)

Method Summary

Modifier and Type	Method and Description
InferenceSubstitution	addContext(InferenceContext18 otherContext) Answer a substitution that is able to substitute into inference variables of several inference contexts (outer & inner)
LookupEnvironment	environment() Returns the lookup environment
protected TypeBinding	getP(int i) Get the type corresponding to the ith inference variable.
boolean	isRawSubstitution() Returns true for raw substitution
protected boolean	isSameParameter(TypeBinding p1, TypeBinding originalType)
TypeBinding	substitute(Substitution substitution, TypeBinding originalType) Override method Scope.Substitutor.substitute(Substitution, TypeBinding), to add substitution of types other than type variables.
TypeBinding	substitute(TypeVariableBinding typeVariable) Returns the type substitute for a given type variable, or itself if no substitution got performed.

Methods inherited from class org.aspectj.org.eclipse.jdt.internal.compiler.lookup.Scope.Substitutor

substitute, substitute

Methods inherited from class java.lang.Object

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

Constructor Detail

InferenceSubstitution

public InferenceSubstitution(LookupEnvironment environment,
                             InferenceVariable[] variables,
                             InvocationSite site)

InferenceSubstitution

public InferenceSubstitution(InferenceContext18 context)

Method Detail

addContext

public InferenceSubstitution addContext(InferenceContext18 otherContext)

Answer a substitution that is able to substitute into inference variables of several inference contexts (outer & inner)

substitute

public TypeBinding substitute(Substitution substitution,
                              TypeBinding originalType)

Override method Scope.Substitutor.substitute(Substitution, TypeBinding), to add substitution of types other than type variables.

Overrides:

substitute in class Scope.Substitutor

isSameParameter

protected boolean isSameParameter(TypeBinding p1,
                                  TypeBinding originalType)

getP

protected TypeBinding getP(int i)

Get the type corresponding to the ith inference variable. Default behavior is to answer the inference variable's type parameter. Sub-class may override to substitute other types.

substitute

public TypeBinding substitute(TypeVariableBinding typeVariable)

Description copied from interface: Substitution

Returns the type substitute for a given type variable, or itself if no substitution got performed.

Specified by:

substitute in interface Substitution

environment

public LookupEnvironment environment()

Description copied from interface: Substitution

Returns the lookup environment

Specified by:

environment in interface Substitution

isRawSubstitution

public boolean isRawSubstitution()

Description copied from interface: Substitution

Returns true for raw substitution

Specified by:

isRawSubstitution in interface Substitution