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

Author:

Federico Tomassetti

Constructor Summary

Constructors

Constructor and Description
InferenceVariable(String name, ResolvedTypeParameterDeclaration typeParameterDeclaration)

Method Summary

Modifier and Type	Method and Description
String	describe()
boolean	equals(Object o)
ResolvedTypeParameterDeclaration	getTypeParameterDeclaration()
int	hashCode()
static List<InferenceVariable>	instantiate(List<ResolvedTypeParameterDeclaration> typeParameterDeclarations)
boolean	isAssignableBy(ResolvedType other)
boolean	isInferenceVariable()
boolean	mention(List<ResolvedTypeParameterDeclaration> typeParameters)
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

Constructor Detail

InferenceVariable

public InferenceVariable(String name,
                         ResolvedTypeParameterDeclaration typeParameterDeclaration)

Method Detail

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)

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)

Specified by:

mention in interface ResolvedType