Package com.github.javaparser.resolution.logic

Class InferenceVariableType

java.lang.Object

com.github.javaparser.resolution.logic.InferenceVariableType

All Implemented Interfaces:

ResolvedType

public class InferenceVariableType
extends Object
implements ResolvedType

An element using during type inference.

Field Summary

Fields

Modifier and Type	Field	Description
private ResolvedTypeParameterDeclaration	correspondingTp
private Set<ResolvedType>	equivalentTypes
private int	id
private Set<ResolvedType>	superTypes
private TypeSolver	typeSolver

Constructor Summary

Constructors

Constructor	Description
InferenceVariableType(int id, TypeSolver typeSolver)

Method Summary

Modifier and Type	Method	Description
private Set<ResolvedType>	concreteEquivalentTypesAlsoIndirectly(Set<InferenceVariableType> considered, InferenceVariableType inferenceVariableType)
String	describe()
boolean	equals(Object o)
ResolvedType	equivalentType()
int	hashCode()
private boolean	hasInferenceVariables(ResolvedType type)
boolean	isAssignableBy(ResolvedType other)	This method checks if ThisType t = new OtherType() would compile.
void	registerEquivalentType(ResolvedType type)
void	setCorrespondingTp(ResolvedTypeParameterDeclaration correspondingTp)
String	toString()

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, isInferenceVariable, isNull, isNumericType, isPrimitive, isReference, isReferenceType, isTypeVariable, isUnionType, isVoid, isWildcard, mention, replaceTypeVariables, replaceTypeVariables, solveGenericTypes, toDescriptor

Field Details

id

private int id

correspondingTp

private ResolvedTypeParameterDeclaration correspondingTp

equivalentTypes

private Set<ResolvedType> equivalentTypes

typeSolver

private TypeSolver typeSolver

superTypes

private Set<ResolvedType> superTypes

Constructor Details

InferenceVariableType

public InferenceVariableType(int id,
 TypeSolver typeSolver)

Method Details

toString

public String toString()

Overrides:

toString in class Object

setCorrespondingTp

public void setCorrespondingTp(ResolvedTypeParameterDeclaration correspondingTp)

registerEquivalentType

public void registerEquivalentType(ResolvedType type)

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

describe

public String describe()

Specified by:

describe in interface ResolvedType

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

concreteEquivalentTypesAlsoIndirectly

private Set<ResolvedType> concreteEquivalentTypesAlsoIndirectly(Set<InferenceVariableType> considered,
 InferenceVariableType inferenceVariableType)

equivalentType

public ResolvedType equivalentType()

hasInferenceVariables

private boolean hasInferenceVariables(ResolvedType type)