FalseBound (javaparser-symbol-solver-core 3.24.2 API)

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