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 Stringdescribe()booleanequals(Object o)ResolvedTypeequivalentType()inthashCode()booleanisAssignableBy(ResolvedType other)This method checks if ThisType t = new OtherType() would compile.voidregisterEquivalentType(ResolvedType type)voidsetCorrespondingTp(ResolvedTypeParameterDeclaration correspondingTp)StringtoString()-
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:
describein interfaceResolvedType
-
isAssignableBy
public boolean isAssignableBy(ResolvedType other)
Description copied from interface:ResolvedTypeThis method checks if ThisType t = new OtherType() would compile.- Specified by:
isAssignableByin interfaceResolvedType
-
equivalentType
public ResolvedType equivalentType()
-
-