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

Klasse InferenceSubstitution

java.lang.Object

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

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

Alle implementierten Schnittstellen:

Substitution

public class InferenceSubstitution
extends Scope.Substitutor
implements Substitution

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

Verschachtelte Klassen - Übersicht

Von Schnittstelle geerbte verschachtelte Klassen/Schnittstellen org.aspectj.org.eclipse.jdt.internal.compiler.lookup.Substitution

Substitution.NullSubstitution

Feldübersicht

Von Klasse geerbte Felder org.aspectj.org.eclipse.jdt.internal.compiler.lookup.Scope.Substitutor

staticContext

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
InferenceSubstitution(InferenceContext18 context)
InferenceSubstitution(LookupEnvironment environment, InferenceVariable[] variables, InvocationSite site)

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
InferenceSubstitution	addContext(InferenceContext18 otherContext)	Answer a substitution that is able to substitute into inference variables of several inference contexts (outer Ungültige Eingabe: "&" 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.

Von Klasse geerbte Methoden org.aspectj.org.eclipse.jdt.internal.compiler.lookup.Scope.Substitutor

substitute, substitute

Von Klasse geerbte Methoden java.lang.Object

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

Konstruktordetails

InferenceSubstitution

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

InferenceSubstitution

public InferenceSubstitution(InferenceContext18 context)

Methodendetails

addContext

public InferenceSubstitution addContext(InferenceContext18 otherContext)

Answer a substitution that is able to substitute into inference variables of several inference contexts (outer Ungültige Eingabe: "&" 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.

Setzt außer Kraft:

substitute in Klasse 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)

Beschreibung aus Schnittstelle kopiert: Substitution

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

Angegeben von:

substitute in Schnittstelle Substitution

environment

public LookupEnvironment environment()

Beschreibung aus Schnittstelle kopiert: Substitution

Returns the lookup environment

Angegeben von:

environment in Schnittstelle Substitution

isRawSubstitution

public boolean isRawSubstitution()

Beschreibung aus Schnittstelle kopiert: Substitution

Returns true for raw substitution

Angegeben von:

isRawSubstitution in Schnittstelle Substitution