Uses of Class
com.github.javaparser.symbolsolver.resolution.typeinference.InferenceVariableSubstitution
Packages that use InferenceVariableSubstitution
Package
Description
-
Uses of InferenceVariableSubstitution in com.github.javaparser.symbolsolver.resolution.typeinference
Fields in com.github.javaparser.symbolsolver.resolution.typeinference declared as InferenceVariableSubstitutionModifier and TypeFieldDescriptionprivate static final InferenceVariableSubstitution
InferenceVariableSubstitution.EMPTY
Methods in com.github.javaparser.symbolsolver.resolution.typeinference that return InferenceVariableSubstitutionModifier and TypeMethodDescriptionInferenceVariableSubstitution.empty()
InferenceVariableSubstitution.withPair
(InferenceVariable inferenceVariable, ResolvedType type) Methods in com.github.javaparser.symbolsolver.resolution.typeinference with parameters of type InferenceVariableSubstitutionModifier and TypeMethodDescriptionabstract boolean
Bound.isSatisfied
(InferenceVariableSubstitution inferenceVariableSubstitution) A bound is satisfied by an inference variable substitution if, after applying the substitution, the assertion is true. -
Uses of InferenceVariableSubstitution in com.github.javaparser.symbolsolver.resolution.typeinference.bounds
Methods in com.github.javaparser.symbolsolver.resolution.typeinference.bounds with parameters of type InferenceVariableSubstitutionModifier and TypeMethodDescriptionboolean
CapturesBound.isSatisfied
(InferenceVariableSubstitution inferenceVariableSubstitution) boolean
FalseBound.isSatisfied
(InferenceVariableSubstitution inferenceVariableSubstitution) boolean
SameAsBound.isSatisfied
(InferenceVariableSubstitution inferenceVariableSubstitution) boolean
SubtypeOfBound.isSatisfied
(InferenceVariableSubstitution inferenceVariableSubstitution) boolean
ThrowsBound.isSatisfied
(InferenceVariableSubstitution inferenceVariableSubstitution)