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

Class SameAsBound

java.lang.Object

com.github.javaparser.symbolsolver.resolution.typeinference.Bound

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

public class SameAsBound
extends Bound

S = T, where at least one of S or T is an inference variable: S is the same as T.

Author:

Federico Tomassetti

Constructor Summary

Constructors

Constructor and Description
SameAsBound(ResolvedType s, ResolvedType t)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object o)
ResolvedType	getS()
ResolvedType	getT()
int	hashCode()
boolean	isADependency() Other bounds relate two inference variables, or an inference variable to a type that contains inference variables.
Optional<Instantiation>	isAnInstantiation() Given a bound of the form α = T or T = α, we say T is an instantiation of α.
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

isProperLowerBound, isProperUpperBound

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

SameAsBound

public SameAsBound(ResolvedType s,
                   ResolvedType t)

Method Detail

equals

public boolean equals(Object o)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

usedInferenceVariables

public Set<InferenceVariable> usedInferenceVariables()

Specified by:

usedInferenceVariables in class Bound

getS

public ResolvedType getS()

getT

public ResolvedType getT()

isADependency

public boolean isADependency()

Description copied from class: Bound

Other bounds relate two inference variables, or an inference variable to a type that contains inference variables. Such bounds, of the form S = T or S <: T, are called dependencies.

Overrides:

isADependency in class Bound

isAnInstantiation

public Optional<Instantiation> isAnInstantiation()

Description copied from class: Bound

Given a bound of the form α = T or T = α, we say T is an instantiation of α. Return empty if it is not an instantiation. Otherwise it returns the variable of which this is an instantiation.

Overrides:

isAnInstantiation in class Bound

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