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.

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()

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 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()

Specified by:

usedInferenceVariables in class Bound