Class InferenceVariableType
- java.lang.Object
-
- com.github.javaparser.symbolsolver.logic.InferenceVariableType
-
- All Implemented Interfaces:
com.github.javaparser.resolution.types.ResolvedType
public class InferenceVariableType extends Object implements com.github.javaparser.resolution.types.ResolvedType
An element using during type inference.- Author:
- Federico Tomassetti
-
-
Constructor Summary
Constructors Constructor Description InferenceVariableType(int id, ObjectProvider objectProvider)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description String
describe()
boolean
equals(Object o)
com.github.javaparser.resolution.types.ResolvedType
equivalentType()
static InferenceVariableType
fromWildcard(com.github.javaparser.resolution.types.ResolvedWildcard wildcard, int id, ObjectProvider objectProvider)
int
hashCode()
boolean
isAssignableBy(com.github.javaparser.resolution.types.ResolvedType other)
void
registerEquivalentType(com.github.javaparser.resolution.types.ResolvedType type)
void
setCorrespondingTp(com.github.javaparser.resolution.declarations.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, isArray, isConstraint, isNull, isPrimitive, isReference, isReferenceType, isTypeVariable, isUnionType, isVoid, isWildcard, mention, replaceTypeVariables, replaceTypeVariables
-
-
-
-
Constructor Detail
-
InferenceVariableType
public InferenceVariableType(int id, ObjectProvider objectProvider)
-
-
Method Detail
-
setCorrespondingTp
public void setCorrespondingTp(com.github.javaparser.resolution.declarations.ResolvedTypeParameterDeclaration correspondingTp)
-
registerEquivalentType
public void registerEquivalentType(com.github.javaparser.resolution.types.ResolvedType type)
-
fromWildcard
public static InferenceVariableType fromWildcard(com.github.javaparser.resolution.types.ResolvedWildcard wildcard, int id, ObjectProvider objectProvider)
-
describe
public String describe()
- Specified by:
describe
in interfacecom.github.javaparser.resolution.types.ResolvedType
-
isAssignableBy
public boolean isAssignableBy(com.github.javaparser.resolution.types.ResolvedType other)
- Specified by:
isAssignableBy
in interfacecom.github.javaparser.resolution.types.ResolvedType
-
equivalentType
public com.github.javaparser.resolution.types.ResolvedType equivalentType()
-
-