public class InferenceVariableType extends Object implements ResolvedType
Constructor and Description |
---|
InferenceVariableType(int id,
TypeSolver typeSolver) |
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() |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
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
public InferenceVariableType(int id, TypeSolver typeSolver)
public void setCorrespondingTp(ResolvedTypeParameterDeclaration correspondingTp)
public void registerEquivalentType(ResolvedType type)
public String describe()
describe
in interface ResolvedType
public boolean isAssignableBy(ResolvedType other)
ResolvedType
isAssignableBy
in interface ResolvedType
public ResolvedType equivalentType()
Copyright © 2007–2023. All rights reserved.