Package net.covers1624.coffeegrinder.bytecode.transform.transformers.generics

Class BoundSet.VarBounds<T>

java.lang.Object

net.covers1624.coffeegrinder.bytecode.transform.transformers.generics.BoundSet.VarBounds<T>

Direct Known Subclasses:

BoundSet.SimpleVarBounds

Enclosing class:

BoundSet

protected abstract static class BoundSet.VarBounds<T>
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
protected final List<T>	equalBounds
protected final List<T>	lowerBounds
boolean	thrown
protected final List<T>	upperBounds

Constructor Summary

Constructors

Modifier	Constructor	Description
	VarBounds(BoundSet root)
protected	VarBounds(BoundSet root, BoundSet.VarBounds<T> other)

Method Summary

Modifier and Type	Method	Description
protected net.covers1624.quack.collection.FastStream<T>	activeBounds(List<T> list)
protected void	add(List<T> bounds, T bound, @Nullable BiConsumer<T,T> func)
final void	addEqual(ReferenceType t)
protected void	addEqualBound(T b)
final void	addLower(ReferenceType t)
protected void	addLowerBound(T b)
final void	addUpper(ReferenceType t)
protected void	addUpperBound(T b)
protected void	boundAdded(T b)
protected void	compatibleSupertypes(T t1, T t2)
protected boolean	dependsOn(T t, BoundSet.InferenceVar v)
protected void	equal(T t1, T t2)
net.covers1624.quack.collection.FastStream<ReferenceType>	equalTypes(TypeSubstitutions.TypeSubstApplier subst)
Iterable<BoundSet.InferenceVar>	getDeps()
protected ReferenceType	getResolvedType(T t, TypeSubstitutions.TypeSubstApplier subst)
protected BoundSet	getRoot()
protected abstract ReferenceType	getType(T t)
protected <T1, T2> void	incorporate(T1 b1, T2 b2, BiConsumer<T1,T2> action)
protected <T1, T2> void	incorporateList(T1 bound, List<T2> bounds, int count, BiConsumer<T1,T2> func)
protected <T1, T2> void	incorporateList(T1 bound, List<T2> bounds, BiConsumer<T1,T2> func)
protected boolean	isEncompassedBy(T b, List<T> existingBounds)
protected boolean	isEncompassedBy(T b1, T b2)
net.covers1624.quack.collection.FastStream<ReferenceType>	lowerTypes(TypeSubstitutions.TypeSubstApplier subst)
protected abstract T	makeBound(ReferenceType t)
void	reverseUppers()
protected BoundSet.VarBounds<T>	setRoot(BoundSet root)
protected void	subtype(T t1, T t2)
net.covers1624.quack.collection.FastStream<ReferenceType>	upperTypes(TypeSubstitutions.TypeSubstApplier subst)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

equalBounds

protected final List<T> equalBounds

lowerBounds

protected final List<T> lowerBounds

upperBounds

protected final List<T> upperBounds

thrown

public boolean thrown

Constructor Details

VarBounds

public VarBounds(BoundSet root)

VarBounds

protected VarBounds(BoundSet root,
 BoundSet.VarBounds<T> other)

Method Details

setRoot

protected BoundSet.VarBounds<T> setRoot(BoundSet root)

getRoot

protected BoundSet getRoot()

makeBound

protected abstract T makeBound(ReferenceType t)

getType

protected abstract ReferenceType getType(T t)

getResolvedType

protected ReferenceType getResolvedType(T t,
 TypeSubstitutions.TypeSubstApplier subst)

dependsOn

protected boolean dependsOn(T t,
 BoundSet.InferenceVar v)

boundAdded

protected void boundAdded(T b)

isEncompassedBy

protected boolean isEncompassedBy(T b1,
 T b2)

incorporate

protected <T1,
T2> void incorporate(T1 b1,
 T2 b2,
 BiConsumer<T1,T2> action)

addEqual

public final void addEqual(ReferenceType t)

addUpper

public final void addUpper(ReferenceType t)

addLower

public final void addLower(ReferenceType t)

isEncompassedBy

protected boolean isEncompassedBy(T b,
 List<T> existingBounds)

equal

protected void equal(T t1,
 T t2)

subtype

protected void subtype(T t1,
 T t2)

compatibleSupertypes

protected void compatibleSupertypes(T t1,
 T t2)

addEqualBound

protected void addEqualBound(T b)

addUpperBound

protected void addUpperBound(T b)

addLowerBound

protected void addLowerBound(T b)

add

protected void add(List<T> bounds,
 T bound,
 @Nullable
 @Nullable BiConsumer<T,T> func)

incorporateList

protected <T1,
T2> void incorporateList(T1 bound,
 List<T2> bounds,
 BiConsumer<T1,T2> func)

incorporateList

protected <T1,
T2> void incorporateList(T1 bound,
 List<T2> bounds,
 int count,
 BiConsumer<T1,T2> func)

getDeps

public Iterable<BoundSet.InferenceVar> getDeps()

activeBounds

protected net.covers1624.quack.collection.FastStream<T> activeBounds(List<T> list)

equalTypes

public net.covers1624.quack.collection.FastStream<ReferenceType> equalTypes(TypeSubstitutions.TypeSubstApplier subst)

upperTypes

public net.covers1624.quack.collection.FastStream<ReferenceType> upperTypes(TypeSubstitutions.TypeSubstApplier subst)

lowerTypes

public net.covers1624.quack.collection.FastStream<ReferenceType> lowerTypes(TypeSubstitutions.TypeSubstApplier subst)

reverseUppers

public void reverseUppers()