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

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.
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, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

INSTANCE

private static FalseBound INSTANCE

Constructor Detail

FalseBound

private FalseBound()

Method Detail

getInstance

public static FalseBound getInstance()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.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 java.util.Set<InferenceVariable> usedInferenceVariables()

Specified by:

usedInferenceVariables in class Bound