Package com.github.javaparser.symbolsolver.resolution.typeinference

Class InferenceVariable

java.lang.Object

com.github.javaparser.symbolsolver.resolution.typeinference.InferenceVariable

All Implemented Interfaces:

ResolvedType

public class InferenceVariable
extends Object
implements ResolvedType

Are meta-variables for types - that is, they are special names that allow abstract reasoning about types. To distinguish them from type variables, inference variables are represented with Greek letters, principally α. See JLS 18

Field Summary

Fields

Modifier and Type	Field	Description
private String	name
private ResolvedTypeParameterDeclaration	typeParameterDeclaration
private static int	unnamedInstantiated

Constructor Summary

Constructors

Constructor	Description
InferenceVariable(String name, ResolvedTypeParameterDeclaration typeParameterDeclaration)

Method Summary

Modifier and Type	Method	Description
String	describe()
boolean	equals(Object o)
ResolvedTypeParameterDeclaration	getTypeParameterDeclaration()
int	hashCode()
static List<InferenceVariable>	instantiate(List<ResolvedTypeParameterDeclaration> typeParameterDeclarations)
boolean	isAssignableBy(ResolvedType other)	This method checks if ThisType t = new OtherType() would compile.
boolean	isInferenceVariable()
boolean	mention(List<ResolvedTypeParameterDeclaration> typeParameters)	Does this type mention at all, directly or indirectly, the given type parameters?
String	toString()
static InferenceVariable	unnamed(ResolvedTypeParameterDeclaration typeParameterDeclaration)

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.github.javaparser.resolution.types.ResolvedType

arrayLevel, asArrayType, asConstraintType, asPrimitive, asReferenceType, asTypeParameter, asTypeVariable, asUnionType, asWildcard, erasure, isArray, isConstraint, isNull, isNumericType, isPrimitive, isReference, isReferenceType, isTypeVariable, isUnionType, isVoid, isWildcard, replaceTypeVariables, replaceTypeVariables, solveGenericTypes, toDescriptor

Field Details

unnamedInstantiated

private static int unnamedInstantiated

name

private String name

typeParameterDeclaration

private ResolvedTypeParameterDeclaration typeParameterDeclaration

Constructor Details

InferenceVariable

public InferenceVariable(String name,
 ResolvedTypeParameterDeclaration typeParameterDeclaration)

Method Details

instantiate

public static List<InferenceVariable> instantiate(List<ResolvedTypeParameterDeclaration> typeParameterDeclarations)

unnamed

public static InferenceVariable unnamed(ResolvedTypeParameterDeclaration typeParameterDeclaration)

isInferenceVariable

public boolean isInferenceVariable()

Specified by:

isInferenceVariable in interface ResolvedType

describe

public String describe()

Specified by:

describe in interface ResolvedType

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

isAssignableBy

public boolean isAssignableBy(ResolvedType other)

Description copied from interface: ResolvedType

This method checks if ThisType t = new OtherType() would compile.

Specified by:

isAssignableBy in interface ResolvedType

getTypeParameterDeclaration

public ResolvedTypeParameterDeclaration getTypeParameterDeclaration()

toString

public String toString()

Overrides:

toString in class Object

mention

public boolean mention(List<ResolvedTypeParameterDeclaration> typeParameters)

Description copied from interface: ResolvedType

Does this type mention at all, directly or indirectly, the given type parameters?

Specified by:

mention in interface ResolvedType