Class BoundSet

java.lang.Object

com.github.javaparser.symbolsolver.resolution.typeinference.BoundSet

public class BoundSet
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
(package private) static interface	BoundSet.Processor<B1 extends Bound, B2 extends Bound, R>
private class	BoundSet.VariableDependency

Field Summary

Fields

Modifier and Type	Field	Description
private List<Bound>	bounds
private static final BoundSet	EMPTY
private static String	JAVA_LANG_RUNTIME_EXCEPTION

Constructor Summary

Constructors

Constructor	Description
BoundSet()

Method Summary

Modifier and Type	Method	Description
private <T> Set<T>	allButOne(Set<T> elements, T element)
private Set<InferenceVariable>	allInferenceVariables()
private Set<Set<InferenceVariable>>	allPossibleSetsWithProperty(Set<InferenceVariable> allElements, List<BoundSet.VariableDependency> dependencies)
private Set<Set<InferenceVariable>>	allSetsWithProperty(Set<InferenceVariable> allElements, List<BoundSet.VariableDependency> dependencies)
private boolean	appearInLeftPartOfCapture(InferenceVariable inferenceVariable)
private boolean	areSameTypeInference(ResolvedType a, ResolvedType b)
private <T> List<Set<T>>	buildAllSubsetsOfSize(Set<T> allElements, int desiredSize)
boolean	containsFalse()
BoundSet	deriveImpliedBounds(TypeSolver typeSolver)
static BoundSet	empty()
boolean	equals(Object o)
private Optional<Pair<SameAsBound, SameAsBound>>	findPairSameAs(Predicate<Pair<SameAsBound, SameAsBound>> condition)
private List<Pair<ResolvedReferenceType, ResolvedReferenceType>>	findPairsOfCommonAncestors(ResolvedReferenceType r1, ResolvedReferenceType r2)
private <T> T	forEachPairSameAndSubtype(BoundSet.Processor<SameAsBound, SubtypeOfBound, T> processor, T initialValue)
private <T> T	forEachPairSameAs(BoundSet.Processor<SameAsBound, SameAsBound, T> processor, T initialValue)
private <T> T	forEachPairSubtypeAndSubtype(BoundSet.Processor<SubtypeOfBound, SubtypeOfBound, T> processor, T initialValue)
private Instantiation	getInstantiationFor(InferenceVariable v)
List<Bound>	getProperUpperBoundsFor(InferenceVariable inferenceVariable)
int	hashCode()
private boolean	hasInstantiationFor(InferenceVariable v)
private boolean	hasProperty(Set<InferenceVariable> alphas, List<BoundSet.VariableDependency> dependencies)	if αi depends on the resolution of a variable β, then either β has an instantiation or there is some j such that β = αj
BoundSet	incorporate(BoundSet otherBounds, TypeSolver typeSolver)	Maintains a set of inference variable bounds, ensuring that these are consistent as new bounds are added.
boolean	isEmpty()
private boolean	isTheFirstAProperSubsetOfTheSecond(Set<InferenceVariable> subset, Set<InferenceVariable> originalSet)
boolean	isTrue()	It is sometimes convenient to refer to an empty bound set with the symbol true; this is merely out of convenience, and the two are interchangeable.
Optional<InstantiationSet>	performResolution(List<InferenceVariable> variablesToResolve, TypeSolver typeSolver)	Examines the bounds on an inference variable and determines an instantiation that is compatible with those bounds.
private boolean	properUpperBoundsAreAtMostExceptionThrowableAndObject(InferenceVariable inferenceVariable)
private Optional<Set<InferenceVariable>>	smallestSetWithProperty(Set<InferenceVariable> uninstantiatedVariables, List<BoundSet.VariableDependency> dependencies)	there exists no non-empty proper subset of { α1, ..., αn } with this property.
private boolean	thereAreProperSubsets(Set<InferenceVariable> aSet, Set<Set<InferenceVariable>> allPossibleSets)
private boolean	thereIsSomeJSuchThatβequalAlphaJ(Set<InferenceVariable> alphas, InferenceVariable beta)
String	toString()
BoundSet	withBound(Bound bound)

Methods inherited from class Object

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

Field Details

JAVA_LANG_RUNTIME_EXCEPTION

private static String JAVA_LANG_RUNTIME_EXCEPTION

EMPTY

private static final BoundSet EMPTY

bounds

private List<Bound> bounds

Constructor Details

BoundSet

public BoundSet()

Method Details

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

isTrue

public boolean isTrue()

It is sometimes convenient to refer to an empty bound set with the symbol true; this is merely out of convenience, and the two are interchangeable.

empty

public static BoundSet empty()

withBound

public BoundSet withBound(Bound bound)

findPairSameAs

private Optional<Pair<SameAsBound, SameAsBound>> findPairSameAs(Predicate<Pair<SameAsBound, SameAsBound>> condition)

isEmpty

public boolean isEmpty()

forEachPairSameAs

private <T> T forEachPairSameAs(BoundSet.Processor<SameAsBound, SameAsBound, T> processor,
 T initialValue)

forEachPairSameAndSubtype

private <T> T forEachPairSameAndSubtype(BoundSet.Processor<SameAsBound, SubtypeOfBound, T> processor,
 T initialValue)

forEachPairSubtypeAndSubtype

private <T> T forEachPairSubtypeAndSubtype(BoundSet.Processor<SubtypeOfBound, SubtypeOfBound, T> processor,
 T initialValue)

areSameTypeInference

private boolean areSameTypeInference(ResolvedType a,
 ResolvedType b)

findPairsOfCommonAncestors

private List<Pair<ResolvedReferenceType, ResolvedReferenceType>> findPairsOfCommonAncestors(ResolvedReferenceType r1,
 ResolvedReferenceType r2)

incorporate

public BoundSet incorporate(BoundSet otherBounds,
 TypeSolver typeSolver)

Maintains a set of inference variable bounds, ensuring that these are consistent as new bounds are added. Because the bounds on one variable can sometimes impact the possible choices for another variable, this process propagates bounds between such interdependent variables.

deriveImpliedBounds

public BoundSet deriveImpliedBounds(TypeSolver typeSolver)

containsFalse

public boolean containsFalse()

allInferenceVariables

private Set<InferenceVariable> allInferenceVariables()

hasInstantiationFor

private boolean hasInstantiationFor(InferenceVariable v)

getInstantiationFor

private Instantiation getInstantiationFor(InferenceVariable v)

thereIsSomeJSuchThatβequalAlphaJ

private boolean thereIsSomeJSuchThatβequalAlphaJ(Set<InferenceVariable> alphas,
 InferenceVariable beta)

buildAllSubsetsOfSize

private <T> List<Set<T>> buildAllSubsetsOfSize(Set<T> allElements,
 int desiredSize)

allButOne

private <T> Set<T> allButOne(Set<T> elements,
 T element)

smallestSetWithProperty

private Optional<Set<InferenceVariable>> smallestSetWithProperty(Set<InferenceVariable> uninstantiatedVariables,
 List<BoundSet.VariableDependency> dependencies)

there exists no non-empty proper subset of { α1, ..., αn } with this property.

hasProperty

private boolean hasProperty(Set<InferenceVariable> alphas,
 List<BoundSet.VariableDependency> dependencies)

if αi depends on the resolution of a variable β, then either β has an instantiation or there is some j such that β = αj

Returns:

performResolution

public Optional<InstantiationSet> performResolution(List<InferenceVariable> variablesToResolve,
 TypeSolver typeSolver)

Examines the bounds on an inference variable and determines an instantiation that is compatible with those bounds. It also decides the order in which interdependent inference variables are to be resolved.

allPossibleSetsWithProperty

private Set<Set<InferenceVariable>> allPossibleSetsWithProperty(Set<InferenceVariable> allElements,
 List<BoundSet.VariableDependency> dependencies)

thereAreProperSubsets

private boolean thereAreProperSubsets(Set<InferenceVariable> aSet,
 Set<Set<InferenceVariable>> allPossibleSets)

isTheFirstAProperSubsetOfTheSecond

private boolean isTheFirstAProperSubsetOfTheSecond(Set<InferenceVariable> subset,
 Set<InferenceVariable> originalSet)

allSetsWithProperty

private Set<Set<InferenceVariable>> allSetsWithProperty(Set<InferenceVariable> allElements,
 List<BoundSet.VariableDependency> dependencies)

properUpperBoundsAreAtMostExceptionThrowableAndObject

private boolean properUpperBoundsAreAtMostExceptionThrowableAndObject(InferenceVariable inferenceVariable)

appearInLeftPartOfCapture

private boolean appearInLeftPartOfCapture(InferenceVariable inferenceVariable)

getProperUpperBoundsFor

public List<Bound> getProperUpperBoundsFor(InferenceVariable inferenceVariable)