Class ThrowsBound
- java.lang.Object
-
- com.github.javaparser.symbolsolver.resolution.typeinference.Bound
-
- com.github.javaparser.symbolsolver.resolution.typeinference.bounds.ThrowsBound
-
public class ThrowsBound extends Bound
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.
-
-
Field Summary
Fields Modifier and Type Field Description private InferenceVariable
inferenceVariable
-
Constructor Summary
Constructors Constructor Description ThrowsBound(InferenceVariable inferenceVariable)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equals(java.lang.Object o)
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)
java.lang.String
toString()
java.util.Set<InferenceVariable>
usedInferenceVariables()
-
Methods inherited from class com.github.javaparser.symbolsolver.resolution.typeinference.Bound
isADependency, isAnInstantiation, isProperLowerBound, isProperUpperBound
-
-
-
-
Field Detail
-
inferenceVariable
private InferenceVariable inferenceVariable
-
-
Constructor Detail
-
ThrowsBound
public ThrowsBound(InferenceVariable inferenceVariable)
-
-
Method Detail
-
equals
public boolean equals(java.lang.Object o)
- Overrides:
equals
in classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
usedInferenceVariables
public java.util.Set<InferenceVariable> usedInferenceVariables()
- Specified by:
usedInferenceVariables
in classBound
-
isSatisfied
public boolean isSatisfied(InferenceVariableSubstitution inferenceVariableSubstitution)
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
public boolean isThrowsBoundOn(InferenceVariable inferenceVariable)
-
-