Class InferenceVariableType
java.lang.Object
com.github.javaparser.resolution.logic.InferenceVariableType
- All Implemented Interfaces:
ResolvedType
An element using during type inference.
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate ResolvedTypeParameterDeclaration
private Set
<ResolvedType> private int
private Set
<ResolvedType> private TypeSolver
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionprivate Set
<ResolvedType> concreteEquivalentTypesAlsoIndirectly
(Set<InferenceVariableType> considered, InferenceVariableType inferenceVariableType) describe()
boolean
int
hashCode()
private boolean
boolean
isAssignableBy
(ResolvedType other) This method checks if ThisType t = new OtherType() would compile.void
void
setCorrespondingTp
(ResolvedTypeParameterDeclaration correspondingTp) 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
-
equivalentTypes
-
typeSolver
-
superTypes
-
-
Constructor Details
-
InferenceVariableType
-
-
Method Details
-
toString
-
setCorrespondingTp
-
registerEquivalentType
-
equals
-
hashCode
public int hashCode() -
describe
- Specified by:
describe
in interfaceResolvedType
-
isAssignableBy
Description copied from interface:ResolvedType
This method checks if ThisType t = new OtherType() would compile.- Specified by:
isAssignableBy
in interfaceResolvedType
-
concreteEquivalentTypesAlsoIndirectly
private Set<ResolvedType> concreteEquivalentTypesAlsoIndirectly(Set<InferenceVariableType> considered, InferenceVariableType inferenceVariableType) -
equivalentType
-
hasInferenceVariables
-