com.github.javaparser.symbolsolver.resolution.typeinference.bounds

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.

Constructor Summary

Constructors

Constructor and Description
ThrowsBound(InferenceVariable inferenceVariable)

Method Summary

Modifier and Type	Method and 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

Methods inherited from class java.lang.Object

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

Constructor Detail

ThrowsBound

public ThrowsBound(InferenceVariable inferenceVariable)

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

usedInferenceVariables

public java.util.Set<InferenceVariable> usedInferenceVariables()

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)