Class LeastUpperBoundLogic.TypeSubstitution
- java.lang.Object
-
- com.github.javaparser.symbolsolver.resolution.typeinference.LeastUpperBoundLogic.TypeSubstitution
-
- Enclosing class:
- LeastUpperBoundLogic
static class LeastUpperBoundLogic.TypeSubstitution extends java.lang.Object
-
-
Field Summary
Fields Modifier and Type Field Description private static LeastUpperBoundLogic.TypeSubstitution
EMPTY
private java.util.List<ResolvedTypeParameterDeclaration>
typeParameterDeclarations
private java.util.List<ResolvedType>
types
-
Constructor Summary
Constructors Modifier Constructor Description private
TypeSubstitution()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static LeastUpperBoundLogic.TypeSubstitution
empty()
boolean
isEmpty()
ResolvedType
substitutedType(ResolvedTypeParameterDeclaration typeDecl)
java.util.List<ResolvedTypeParameterDeclaration>
typeParameterDeclarations()
void
withPair(ResolvedTypeParameterDeclaration typeParameterDeclaration, ResolvedType type)
-
-
-
Field Detail
-
typeParameterDeclarations
private java.util.List<ResolvedTypeParameterDeclaration> typeParameterDeclarations
-
types
private java.util.List<ResolvedType> types
-
EMPTY
private static final LeastUpperBoundLogic.TypeSubstitution EMPTY
-
-
Method Detail
-
empty
public static LeastUpperBoundLogic.TypeSubstitution empty()
-
isEmpty
public boolean isEmpty()
-
withPair
public void withPair(ResolvedTypeParameterDeclaration typeParameterDeclaration, ResolvedType type)
-
typeParameterDeclarations
public java.util.List<ResolvedTypeParameterDeclaration> typeParameterDeclarations()
-
substitutedType
public ResolvedType substitutedType(ResolvedTypeParameterDeclaration typeDecl)
-
-