Class ThrowsBound
java.lang.Object
com.github.javaparser.symbolsolver.resolution.typeinference.Bound
com.github.javaparser.symbolsolver.resolution.typeinference.bounds.ThrowsBound
The inference variable α appears in a throws clause.
A bound of the form throws α is purely informational: it directs resolution to optimize the instantiation of α so
that, if possible, it is not a checked exception type.
- Author:
- Federico Tomassetti
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionboolean
int
hashCode()
boolean
isSatisfied(InferenceVariableSubstitution inferenceVariableSubstitution)
A bound is satisfied by an inference variable substitution if, after applying the substitution, the assertion is true.boolean
isThrowsBoundOn(InferenceVariable inferenceVariable)
toString()
Methods inherited from class com.github.javaparser.symbolsolver.resolution.typeinference.Bound
isADependency, isAnInstantiation, isProperLowerBound, isProperUpperBound
-
Constructor Details
-
ThrowsBound
-
-
Method Details
-
equals
-
toString
-
hashCode
public int hashCode() -
usedInferenceVariables
- Specified by:
usedInferenceVariables
in classBound
-
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
-
isThrowsBoundOn
-