jmlparser-symbol-solver-core/com.github.javaparser.symbolsolver.resolution.typeinference/InferenceVariable

InferenceVariable

open class InferenceVariable : ResolvedType(source)

Are meta-variables for types - that is, they are special names that allow abstract reasoning about types. To distinguish them from type variables, inference variables are represented with Greek letters, principally α.

See JLS 18

Author

Federico Tomassetti

Constructors

InferenceVariable

constructor(name: String, typeParameterDeclaration: ResolvedTypeParameterDeclaration)

Properties

typeParameterDeclaration

open val typeParameterDeclaration: ResolvedTypeParameterDeclaration

Functions

arrayLevel

open fun arrayLevel(): Int

asArrayType

open fun asArrayType(): ResolvedArrayType

asConstraintType

open fun asConstraintType(): ResolvedLambdaConstraintType

asPrimitive

open fun asPrimitive(): ResolvedPrimitiveType

asReferenceType

open fun asReferenceType(): ResolvedReferenceType

asTypeParameter

open fun asTypeParameter(): ResolvedTypeParameterDeclaration

asTypeVariable

open fun asTypeVariable(): ResolvedTypeVariable

asUnionType

open fun asUnionType(): ResolvedUnionType

asWildcard

open fun asWildcard(): ResolvedWildcard

describe

open fun describe(): String

equals

open fun equals(o: Any): Boolean

erasure

open fun erasure(): ResolvedType

hashCode

open fun hashCode(): Int

instantiate

open fun instantiate(typeParameterDeclarations: List<ResolvedTypeParameterDeclaration>): List<InferenceVariable>

isArray

open fun isArray(): Boolean

isAssignableBy

open fun isAssignableBy(other: ResolvedType): Boolean

isConstraint

open fun isConstraint(): Boolean

isInferenceVariable

open fun isInferenceVariable(): Boolean

isNull

open fun isNull(): Boolean

isNumericType

open fun isNumericType(): Boolean

isPrimitive

open fun isPrimitive(): Boolean

isReference

open fun isReference(): Boolean

isReferenceType

open fun isReferenceType(): Boolean

isTypeVariable

open fun isTypeVariable(): Boolean

isUnionType

open fun isUnionType(): Boolean

isVoid

open fun isVoid(): Boolean

isWildcard

open fun isWildcard(): Boolean

mention

open fun mention(typeParameters: List<ResolvedTypeParameterDeclaration>): Boolean

replaceTypeVariables

open fun replaceTypeVariables(tp: ResolvedTypeParameterDeclaration, replaced: ResolvedType, inferredTypes: Map<ResolvedTypeParameterDeclaration, ResolvedType>): ResolvedType

solveGenericTypes

open fun solveGenericTypes(context: Context): ResolvedType

toDescriptor

open fun toDescriptor(): String

toString

open fun toString(): String

unnamed

open fun unnamed(typeParameterDeclaration: ResolvedTypeParameterDeclaration): InferenceVariable