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(com.github.javaparser.resolution.types.ResolvedType s, com.github.javaparser.resolution.types.ResolvedType t)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object o)
com.github.javaparser.resolution.types.ResolvedType	getS()
com.github.javaparser.resolution.types.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(com.github.javaparser.resolution.types.ResolvedType s,
                   com.github.javaparser.resolution.types.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 com.github.javaparser.resolution.types.ResolvedType getS()

getT

public com.github.javaparser.resolution.types.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