Class FalseBound
- java.lang.Object
-
- com.github.javaparser.symbolsolver.resolution.typeinference.Bound
-
- com.github.javaparser.symbolsolver.resolution.typeinference.bounds.FalseBound
-
public class FalseBound extends Bound
No valid choice of inference variables exists.- Author:
- Federico Tomassetti
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static FalseBoundgetInstance()booleanisSatisfied(InferenceVariableSubstitution inferenceVariableSubstitution)A bound is satisfied by an inference variable substitution if, after applying the substitution, the assertion is true.StringtoString()Set<InferenceVariable>usedInferenceVariables()-
Methods inherited from class com.github.javaparser.symbolsolver.resolution.typeinference.Bound
isADependency, isAnInstantiation, isProperLowerBound, isProperUpperBound
-
-
-
-
Method Detail
-
getInstance
public static FalseBound getInstance()
-
isSatisfied
public boolean isSatisfied(InferenceVariableSubstitution inferenceVariableSubstitution)
Description copied from class:BoundA bound is satisfied by an inference variable substitution if, after applying the substitution, the assertion is true.- Specified by:
isSatisfiedin classBound
-
usedInferenceVariables
public Set<InferenceVariable> usedInferenceVariables()
- Specified by:
usedInferenceVariablesin classBound
-
-