Class FalseBound
java.lang.Object
com.github.javaparser.symbolsolver.resolution.typeinference.Bound
com.github.javaparser.symbolsolver.resolution.typeinference.bounds.FalseBound
No valid choice of inference variables exists.
- Author:
- Federico Tomassetti
-
Method Summary
Modifier and TypeMethodDescriptionstatic FalseBound
boolean
isSatisfied(InferenceVariableSubstitution inferenceVariableSubstitution)
A bound is satisfied by an inference variable substitution if, after applying the substitution, the assertion is true.toString()
Methods inherited from class com.github.javaparser.symbolsolver.resolution.typeinference.Bound
isADependency, isAnInstantiation, isProperLowerBound, isProperUpperBound
-
Method Details
-
getInstance
-
toString
-
isSatisfied
Description copied from class:Bound
A bound is satisfied by an inference variable substitution if, after applying the substitution, the assertion is true.- Specified by:
isSatisfied
in classBound
-
usedInferenceVariables
- Specified by:
usedInferenceVariables
in classBound
-