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 java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.List<T>	equalBounds
protected java.util.List<T>	lowerBounds
boolean	thrown
protected java.util.List<T>	upperBounds

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
protected net.covers1624.quack.collection.FastStream<T>	activeBounds(java.util.List<T> list)
protected void	add(java.util.List<T> bounds, T bound, @Nullable java.util.function.BiConsumer<T,T> func)
void	addEqual(ReferenceType t)
protected void	addEqualBound(T b)
void	addLower(ReferenceType t)
protected void	addLowerBound(T b)
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)
java.lang.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, java.util.function.BiConsumer<T1,T2> action)
protected <T1,T2> void	incorporateList(T1 bound, java.util.List<T2> bounds, java.util.function.BiConsumer<T1,T2> func)
protected <T1,T2> void	incorporateList(T1 bound, java.util.List<T2> bounds, int count, java.util.function.BiConsumer<T1,T2> func)
protected boolean	isEncompassedBy(T b, java.util.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 Detail

equalBounds

protected final java.util.List<T> equalBounds

lowerBounds

protected final java.util.List<T> lowerBounds

upperBounds

protected final java.util.List<T> upperBounds

thrown

public boolean thrown

Constructor Detail

VarBounds

public VarBounds(BoundSet root)

VarBounds

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

Method Detail

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,
                                   java.util.function.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,
                                  java.util.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(java.util.List<T> bounds,
                   T bound,
                   @Nullable
                   @Nullable java.util.function.BiConsumer<T,T> func)

incorporateList

protected <T1,T2> void incorporateList(T1 bound,
                                       java.util.List<T2> bounds,
                                       java.util.function.BiConsumer<T1,T2> func)

incorporateList

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

getDeps

public java.lang.Iterable<BoundSet.InferenceVar> getDeps()

activeBounds

protected net.covers1624.quack.collection.FastStream<T> activeBounds(java.util.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()