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

Modifier and Type	Method	Description
boolean	equals(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)
String	toString()
Set<InferenceVariable>	usedInferenceVariables()	Other methods

Methods inherited from class Bound

isADependency, isAnInstantiation, isProperLowerBound, isProperUpperBound

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details

inferenceVariable

private InferenceVariable inferenceVariable

Constructor Details

ThrowsBound

public ThrowsBound(InferenceVariable inferenceVariable)

Method Details

equals

public boolean equals(Object o)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

usedInferenceVariables

public Set<InferenceVariable> usedInferenceVariables()

Description copied from class: Bound

Other methods

Specified by:

usedInferenceVariables in class Bound

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 class Bound

isThrowsBoundOn

public boolean isThrowsBoundOn(InferenceVariable inferenceVariable)