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 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

Author:

Federico Tomassetti

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
String	describe()
boolean	equals(Object o)
com.github.javaparser.resolution.declarations.ResolvedTypeParameterDeclaration	getTypeParameterDeclaration()
int	hashCode()
static List<InferenceVariable>	instantiate(List<com.github.javaparser.resolution.declarations.ResolvedTypeParameterDeclaration> typeParameterDeclarations)
boolean	isAssignableBy(com.github.javaparser.resolution.types.ResolvedType other)
boolean	mention(List<com.github.javaparser.resolution.declarations.ResolvedTypeParameterDeclaration> typeParameters)
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, asUnionType, asWildcard, isArray, isConstraint, isNull, isPrimitive, isReference, isReferenceType, isTypeVariable, isUnionType, isVoid, isWildcard, replaceTypeVariables, replaceTypeVariables

Constructor Detail

InferenceVariable

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

Method Detail

instantiate

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

unnamed

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

describe

public String describe()

Specified by:

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

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class 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 String toString()

Overrides:

toString in class Object

mention

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

Specified by:

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