Class LeastUpperBoundLogic.TypeSubstitution

java.lang.Object

com.github.javaparser.symbolsolver.resolution.typeinference.LeastUpperBoundLogic.TypeSubstitution

Enclosing class:

LeastUpperBoundLogic

static class LeastUpperBoundLogic.TypeSubstitution
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
private static final LeastUpperBoundLogic.TypeSubstitution	EMPTY
private List<ResolvedTypeParameterDeclaration>	typeParameterDeclarations
private List<ResolvedType>	types

Constructor Summary

Constructors

Modifier	Constructor	Description
private	TypeSubstitution()

Method Summary

Modifier and Type	Method	Description
static LeastUpperBoundLogic.TypeSubstitution	empty()
boolean	isEmpty()
ResolvedType	substitutedType(ResolvedTypeParameterDeclaration typeDecl)
List<ResolvedTypeParameterDeclaration>	typeParameterDeclarations()
void	withPair(ResolvedTypeParameterDeclaration typeParameterDeclaration, ResolvedType type)

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

typeParameterDeclarations

private List<ResolvedTypeParameterDeclaration> typeParameterDeclarations

types

private List<ResolvedType> types

EMPTY

private static final LeastUpperBoundLogic.TypeSubstitution EMPTY

Constructor Details

TypeSubstitution

private TypeSubstitution()

Method Details

empty

public static LeastUpperBoundLogic.TypeSubstitution empty()

isEmpty

public boolean isEmpty()

withPair

public void withPair(ResolvedTypeParameterDeclaration typeParameterDeclaration,
 ResolvedType type)

typeParameterDeclarations

public List<ResolvedTypeParameterDeclaration> typeParameterDeclarations()

substitutedType

public ResolvedType substitutedType(ResolvedTypeParameterDeclaration typeDecl)