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

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 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()
  
  Specified by:
  
  usedInferenceVariables in class Bound