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.

Field Summary

Fields

Modifier and Type	Field	Description
private static FalseBound	INSTANCE

Constructor Summary

Constructors

Modifier	Constructor	Description
private	FalseBound()

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

Field Details

INSTANCE

private static FalseBound INSTANCE

Constructor Details

FalseBound

private FalseBound()

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