Uses of Class
com.github.javaparser.symbolsolver.resolution.typeinference.InferenceVariableSubstitution
-
Packages that use InferenceVariableSubstitution Package Description com.github.javaparser.symbolsolver.resolution.typeinference com.github.javaparser.symbolsolver.resolution.typeinference.bounds -
-
Uses of InferenceVariableSubstitution in com.github.javaparser.symbolsolver.resolution.typeinference
Methods in com.github.javaparser.symbolsolver.resolution.typeinference that return InferenceVariableSubstitution Modifier and Type Method Description static InferenceVariableSubstitution
InferenceVariableSubstitution. empty()
InferenceVariableSubstitution
InferenceVariableSubstitution. withPair(InferenceVariable inferenceVariable, com.github.javaparser.resolution.types.ResolvedType type)
Methods in com.github.javaparser.symbolsolver.resolution.typeinference with parameters of type InferenceVariableSubstitution Modifier and Type Method Description abstract 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 InferenceVariableSubstitution Modifier and Type Method Description boolean
CapturesBound. isSatisfied(InferenceVariableSubstitution inferenceVariableSubstitution)
boolean
FalseBound. isSatisfied(InferenceVariableSubstitution inferenceVariableSubstitution)
boolean
SameAsBound. isSatisfied(InferenceVariableSubstitution inferenceVariableSubstitution)
boolean
SubtypeOfBound. isSatisfied(InferenceVariableSubstitution inferenceVariableSubstitution)
boolean
ThrowsBound. isSatisfied(InferenceVariableSubstitution inferenceVariableSubstitution)
-