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.

Author:

Federico Tomassetti

Constructor Summary

Constructors

Constructor and Description
InferenceVariableType(int id, TypeSolver typeSolver)

Method Summary

Modifier and Type	Method and Description
String	describe()
boolean	equals(Object o)
ResolvedType	equivalentType()
int	hashCode()
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

Constructor Detail

InferenceVariableType

public InferenceVariableType(int id,
                             TypeSolver typeSolver)

Method Detail

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

equivalentType

public ResolvedType equivalentType()