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

Class BoundSet

java.lang.Object

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

Direct Known Subclasses:

TypeHintBoundSet

public abstract class BoundSet
extends java.lang.Object

Created by covers1624 on 20/6/22.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	BoundSet.InferenceVar
protected static interface	BoundSet.InferenceVarMapper
protected static class	BoundSet.ResolutionPhase
protected static class	BoundSet.ResolveFailedException
protected static class	BoundSet.SimpleVarBounds
protected static class	BoundSet.VarBounds<T>

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Map<BoundSet.InferenceVar,BoundSet.VarBounds<?>>	bounds
protected @Nullable java.lang.String	failure
protected boolean	hasRawArgs
protected AType	infVarRetType
protected java.util.Map<AbstractInvoke,BoundSet>	nestedVars
protected java.util.Map<TypeParameter,BoundSet.InferenceVar>	vars

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	BoundSet(BoundSet other)
	BoundSet(java.lang.Iterable<TypeParameter> typeParameters, AType retType)

Method Summary

Modifier and Type	Method and Description
protected void	addNestedVars(AbstractInvoke expr, BoundSet other)
protected void	assignable(Instruction expr, ReferenceType t)
protected void	assignable(Instruction expr, ReferenceType resultType, ReferenceType t, @Nullable BoundSet polyBounds)
protected void	assignable(MethodDecl lambda, ReferenceType t)
protected void	assignable(MethodReference mref, ReferenceType t)
protected void	assignable(ReferenceType s, ReferenceType t)
protected void	assignableStripWildcards(AType s, AType t)
protected BoundSet.VarBounds<?>	boundsFor(BoundSet.InferenceVar var)
protected BoundSet.VarBounds<?>	boundsFor(TypeParameter param)
void	constrainAssignable(Instruction insn, AType type)
void	constrainReturnAssignable(ReferenceType polyResultType)
void	constrainThrown(ReferenceType exType)
protected void	containedBy(ReferenceType s, ReferenceType t)
protected BoundSet.VarBounds<?>	copyVarBounds(BoundSet.VarBounds<?> other)
protected void	fail(java.lang.String reason)
protected void	failProperSubtype(ReferenceType s, ReferenceType t)
protected void	failProperTypesNotEqual(ReferenceType s, ReferenceType t)
static AType	getHierarchyCompatibleType(AType targetType, AType inputType)
static ClassType	getHierarchyCompatibleType(ClassType targetType, ReferenceType compatibleType)
static ReferenceType	getHierarchyCompatibleType(ReferenceType targetType, ReferenceType compatibleType)
static java.lang.Iterable<TypeParameter>	getInferrableTypeParams(Method method)
static boolean	isPoly(Method method)
protected static boolean	isProper(AType t)
protected void	lambdaParamsCanReceiveFunctionalInterfaceMethodType(java.util.List<AType> params, java.util.List<Parameter> fParams)
static AType	lower(AType t)
static ReferenceType	lower(ReferenceType t)
protected abstract BoundSet	makeNestedBoundSet(java.lang.Iterable<TypeParameter> vars, AType retType)
static ReferenceType	makeRepresentable(ReferenceType t)
static boolean	mentionsInferrableTypeParam(AType t, Method m)
static boolean	mentionsTypeParam(AType t, ITypeParameterizedMember owner)
static boolean	mentionsTypeParam(ReferenceType t, ITypeParameterizedMember owner, java.util.function.Predicate<TypeParameter> seen)
static boolean	mentionsTypeParamFromClassOrOuter(AType t, ClassType clazz)
static <B extends BoundSet> B	monomorphicBounds(AbstractInvoke invoke, java.util.function.BiFunction<java.lang.Iterable<TypeParameter>,AType,B> factory)
static <B extends BoundSet> B	newBoundSet(AbstractInvoke invoke, java.util.function.BiFunction<java.lang.Iterable<TypeParameter>,AType,B> factory)
protected BoundSet.VarBounds<?>	newVarBounds()
protected void	retTypeAssignable(MethodDecl lambda, ReferenceType retType)
protected BoundSet.InferenceVarMapper	solve()
protected @Nullable ReferenceType	solvePhase(BoundSet.ResolutionPhase phase, BoundSet.VarBounds<?> bounds, BoundSet.InferenceVarMapper solved)
protected java.util.Map<BoundSet.InferenceVar,ReferenceType>	solvePhases(java.util.List<BoundSet.InferenceVar> vars, BoundSet.InferenceVarMapper solved)
protected java.util.Map<BoundSet.InferenceVar,ReferenceType>	solveVars(java.util.List<BoundSet.InferenceVar> vars, BoundSet.InferenceVarMapper solved)
protected void	subtype(ReferenceType s, ReferenceType t)
static AType	upper(AType t)

Methods inherited from class java.lang.Object

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

Field Detail

vars

protected final java.util.Map<TypeParameter,BoundSet.InferenceVar> vars

infVarRetType

protected final AType infVarRetType

bounds

protected final java.util.Map<BoundSet.InferenceVar,BoundSet.VarBounds<?>> bounds

nestedVars

protected final java.util.Map<AbstractInvoke,BoundSet> nestedVars

hasRawArgs

protected boolean hasRawArgs

failure

@Nullable
protected @Nullable java.lang.String failure

Constructor Detail

BoundSet

protected BoundSet(BoundSet other)

BoundSet

public BoundSet(java.lang.Iterable<TypeParameter> typeParameters,
                AType retType)

Method Detail

newVarBounds

protected BoundSet.VarBounds<?> newVarBounds()

copyVarBounds

protected BoundSet.VarBounds<?> copyVarBounds(BoundSet.VarBounds<?> other)

constrainThrown

public void constrainThrown(ReferenceType exType)

constrainAssignable

public void constrainAssignable(Instruction insn,
                                AType type)

constrainReturnAssignable

public void constrainReturnAssignable(ReferenceType polyResultType)

solve

protected BoundSet.InferenceVarMapper solve()

solveVars

protected java.util.Map<BoundSet.InferenceVar,ReferenceType> solveVars(java.util.List<BoundSet.InferenceVar> vars,
                                                                       BoundSet.InferenceVarMapper solved)

solvePhases

protected final java.util.Map<BoundSet.InferenceVar,ReferenceType> solvePhases(java.util.List<BoundSet.InferenceVar> vars,
                                                                               BoundSet.InferenceVarMapper solved)

solvePhase

@Nullable
protected @Nullable ReferenceType solvePhase(BoundSet.ResolutionPhase phase,
                                                       BoundSet.VarBounds<?> bounds,
                                                       BoundSet.InferenceVarMapper solved)

addNestedVars

protected void addNestedVars(AbstractInvoke expr,
                             BoundSet other)

boundsFor

protected BoundSet.VarBounds<?> boundsFor(BoundSet.InferenceVar var)

boundsFor

protected BoundSet.VarBounds<?> boundsFor(TypeParameter param)

isPoly

public static boolean isPoly(Method method)

isProper

protected static boolean isProper(AType t)

getInferrableTypeParams

public static java.lang.Iterable<TypeParameter> getInferrableTypeParams(Method method)

mentionsTypeParamFromClassOrOuter

public static boolean mentionsTypeParamFromClassOrOuter(AType t,
                                                        ClassType clazz)

mentionsInferrableTypeParam

public static boolean mentionsInferrableTypeParam(AType t,
                                                  Method m)

mentionsTypeParam

public static boolean mentionsTypeParam(AType t,
                                        ITypeParameterizedMember owner)

mentionsTypeParam

public static boolean mentionsTypeParam(ReferenceType t,
                                        ITypeParameterizedMember owner,
                                        java.util.function.Predicate<TypeParameter> seen)

getHierarchyCompatibleType

public static AType getHierarchyCompatibleType(AType targetType,
                                               AType inputType)

getHierarchyCompatibleType

public static ReferenceType getHierarchyCompatibleType(ReferenceType targetType,
                                                       ReferenceType compatibleType)

getHierarchyCompatibleType

public static ClassType getHierarchyCompatibleType(ClassType targetType,
                                                   ReferenceType compatibleType)

makeRepresentable

public static ReferenceType makeRepresentable(ReferenceType t)

assignable

protected void assignable(Instruction expr,
                          ReferenceType t)

assignable

protected void assignable(Instruction expr,
                          ReferenceType resultType,
                          ReferenceType t,
                          @Nullable
                          @Nullable BoundSet polyBounds)

makeNestedBoundSet

protected abstract BoundSet makeNestedBoundSet(java.lang.Iterable<TypeParameter> vars,
                                               AType retType)

assignable

protected void assignable(MethodDecl lambda,
                          ReferenceType t)

lambdaParamsCanReceiveFunctionalInterfaceMethodType

protected void lambdaParamsCanReceiveFunctionalInterfaceMethodType(java.util.List<AType> params,
                                                                   java.util.List<Parameter> fParams)

retTypeAssignable

protected void retTypeAssignable(MethodDecl lambda,
                                 ReferenceType retType)

assignable

protected void assignable(MethodReference mref,
                          ReferenceType t)

assignableStripWildcards

protected void assignableStripWildcards(AType s,
                                        AType t)

upper

public static AType upper(AType t)

lower

public static AType lower(AType t)

lower

public static ReferenceType lower(ReferenceType t)

assignable

protected void assignable(ReferenceType s,
                          ReferenceType t)

monomorphicBounds

public static <B extends BoundSet> B monomorphicBounds(AbstractInvoke invoke,
                                                       java.util.function.BiFunction<java.lang.Iterable<TypeParameter>,AType,B> factory)

newBoundSet

public static <B extends BoundSet> B newBoundSet(AbstractInvoke invoke,
                                                 java.util.function.BiFunction<java.lang.Iterable<TypeParameter>,AType,B> factory)

subtype

protected void subtype(ReferenceType s,
                       ReferenceType t)

failProperSubtype

protected void failProperSubtype(ReferenceType s,
                                 ReferenceType t)

containedBy

protected void containedBy(ReferenceType s,
                           ReferenceType t)

failProperTypesNotEqual

protected void failProperTypesNotEqual(ReferenceType s,
                                       ReferenceType t)

fail

protected void fail(java.lang.String reason)