Class InferenceVariableType
- java.lang.Object
-
- com.github.javaparser.resolution.logic.InferenceVariableType
-
- All Implemented Interfaces:
ResolvedType
public class InferenceVariableType extends java.lang.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 java.lang.Stringdescribe()booleanequals(java.lang.Object o)ResolvedTypeequivalentType()inthashCode()booleanisAssignableBy(ResolvedType other)This method checks if ThisType t = new OtherType() would compile.voidregisterEquivalentType(ResolvedType type)voidsetCorrespondingTp(ResolvedTypeParameterDeclaration correspondingTp)java.lang.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
-
toString
public java.lang.String toString()
- Overrides:
toStringin classjava.lang.Object
-
setCorrespondingTp
public void setCorrespondingTp(ResolvedTypeParameterDeclaration correspondingTp)
-
registerEquivalentType
public void registerEquivalentType(ResolvedType type)
-
equals
public boolean equals(java.lang.Object o)
- Overrides:
equalsin classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCodein classjava.lang.Object
-
describe
public java.lang.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()
-
-