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

Modifier and Type	Method	Description
static FalseBound	getInstance()
boolean	isSatisfied(InferenceVariableSubstitution inferenceVariableSubstitution)	A bound is satisfied by an inference variable substitution if, after applying the substitution, the assertion is true.
String	toString()
Set<InferenceVariable>	usedInferenceVariables()	Other methods

Methods inherited from class Bound

isADependency, isAnInstantiation, isProperLowerBound, isProperUpperBound

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Details

getInstance

public static FalseBound getInstance()

toString

public String toString()

Overrides:

toString in class Object

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

usedInferenceVariables

public Set<InferenceVariable> usedInferenceVariables()

Description copied from class: Bound

Other methods

Specified by:

usedInferenceVariables in class Bound