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 Description SameAsBound(ResolvedType s, ResolvedType t)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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
-
-
-
-
Constructor Detail
-
SameAsBound
public SameAsBound(ResolvedType s, ResolvedType t)
-
-
Method Detail
-
usedInferenceVariables
public Set<InferenceVariable> usedInferenceVariables()
- Specified by:
usedInferenceVariables
in classBound
-
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 classBound
-
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 classBound
-
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 classBound
-
-