com.github.javaparser.symbolsolver.resolution.typeinference

Class InferenceVariable

java.lang.Object

com.github.javaparser.symbolsolver.resolution.typeinference.InferenceVariable

All Implemented Interfaces:

com.github.javaparser.resolution.types.ResolvedType

public class InferenceVariable
extends java.lang.Object
implements com.github.javaparser.resolution.types.ResolvedType

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

Constructor Summary

Constructors

Constructor and Description
InferenceVariable(java.lang.String name, com.github.javaparser.resolution.declarations.ResolvedTypeParameterDeclaration typeParameterDeclaration)

Method Summary

Modifier and Type	Method and Description
java.lang.String	describe()
boolean	equals(java.lang.Object o)
com.github.javaparser.resolution.declarations.ResolvedTypeParameterDeclaration	getTypeParameterDeclaration()
int	hashCode()
static java.util.List<InferenceVariable>	instantiate(java.util.List<com.github.javaparser.resolution.declarations.ResolvedTypeParameterDeclaration> typeParameterDeclarations)
boolean	isAssignableBy(com.github.javaparser.resolution.types.ResolvedType other)
boolean	mention(java.util.List<com.github.javaparser.resolution.declarations.ResolvedTypeParameterDeclaration> typeParameters)
java.lang.String	toString()
static InferenceVariable	unnamed(com.github.javaparser.resolution.declarations.ResolvedTypeParameterDeclaration typeParameterDeclaration)

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, asWildcard, isArray, isConstraint, isNull, isPrimitive, isReference, isReferenceType, isTypeVariable, isVoid, isWildcard, replaceTypeVariables, replaceTypeVariables

Constructor Detail

InferenceVariable

public InferenceVariable(java.lang.String name,
                         com.github.javaparser.resolution.declarations.ResolvedTypeParameterDeclaration typeParameterDeclaration)

Method Detail

instantiate

public static java.util.List<InferenceVariable> instantiate(java.util.List<com.github.javaparser.resolution.declarations.ResolvedTypeParameterDeclaration> typeParameterDeclarations)

unnamed

public static InferenceVariable unnamed(com.github.javaparser.resolution.declarations.ResolvedTypeParameterDeclaration typeParameterDeclaration)

describe

public java.lang.String describe()

Specified by:

describe in interface com.github.javaparser.resolution.types.ResolvedType

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

isAssignableBy

public boolean isAssignableBy(com.github.javaparser.resolution.types.ResolvedType other)

Specified by:

isAssignableBy in interface com.github.javaparser.resolution.types.ResolvedType

getTypeParameterDeclaration

public com.github.javaparser.resolution.declarations.ResolvedTypeParameterDeclaration getTypeParameterDeclaration()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

mention

public boolean mention(java.util.List<com.github.javaparser.resolution.declarations.ResolvedTypeParameterDeclaration> typeParameters)

Specified by:

mention in interface com.github.javaparser.resolution.types.ResolvedType