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 Description InferenceVariableType(int id, TypeSolver typeSolver)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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
-
setCorrespondingTp
public void setCorrespondingTp(ResolvedTypeParameterDeclaration correspondingTp)
-
registerEquivalentType
public void registerEquivalentType(ResolvedType type)
-
describe
public String describe()
- Specified by:
describe
in interfaceResolvedType
-
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 interfaceResolvedType
-
equivalentType
public ResolvedType equivalentType()
-
-