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.

Method Summary

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

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