com.github.javaparser.symbolsolver.logic

Class InferenceVariableType

java.lang.Object

com.github.javaparser.symbolsolver.logic.InferenceVariableType

All Implemented Interfaces:

com.github.javaparser.symbolsolver.model.typesystem.Type

public class InferenceVariableType
extends java.lang.Object
implements com.github.javaparser.symbolsolver.model.typesystem.Type

An element using during type inference.

Constructor Summary

Constructors

Constructor and Description
InferenceVariableType(int id, ObjectProvider objectProvider)

Method Summary

Modifier and Type	Method and Description
java.lang.String	describe()
boolean	equals(java.lang.Object o)
com.github.javaparser.symbolsolver.model.typesystem.Type	equivalentType()
static InferenceVariableType	fromWildcard(com.github.javaparser.symbolsolver.model.typesystem.Wildcard wildcard, int id, ObjectProvider objectProvider)
int	hashCode()
boolean	isAssignableBy(com.github.javaparser.symbolsolver.model.typesystem.Type other)
void	registerEquivalentType(com.github.javaparser.symbolsolver.model.typesystem.Type type)
void	setCorrespondingTp(com.github.javaparser.symbolsolver.model.declarations.TypeParameterDeclaration correspondingTp)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.github.javaparser.symbolsolver.model.typesystem.Type

arrayLevel, asArrayType, asConstraintType, asPrimitive, asReferenceType, asTypeParameter, asTypeVariable, asWildcard, isArray, isConstraint, isNull, isPrimitive, isReference, isReferenceType, isTypeVariable, isVoid, isWildcard, replaceTypeVariables, replaceTypeVariables

Constructor Detail

InferenceVariableType

public InferenceVariableType(int id,
                             ObjectProvider objectProvider)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

setCorrespondingTp

public void setCorrespondingTp(com.github.javaparser.symbolsolver.model.declarations.TypeParameterDeclaration correspondingTp)

registerEquivalentType

public void registerEquivalentType(com.github.javaparser.symbolsolver.model.typesystem.Type type)

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

fromWildcard

public static InferenceVariableType fromWildcard(com.github.javaparser.symbolsolver.model.typesystem.Wildcard wildcard,
                                                 int id,
                                                 ObjectProvider objectProvider)

describe

public java.lang.String describe()

Specified by:

describe in interface com.github.javaparser.symbolsolver.model.typesystem.Type

isAssignableBy

public boolean isAssignableBy(com.github.javaparser.symbolsolver.model.typesystem.Type other)

Specified by:

isAssignableBy in interface com.github.javaparser.symbolsolver.model.typesystem.Type

equivalentType

public com.github.javaparser.symbolsolver.model.typesystem.Type equivalentType()