Package 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 Object

Created by covers1624 on 20/6/22.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected class	BoundSet.InferenceVar
protected class	BoundSet.InferenceVarMapper
protected static enum	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	Description
protected final Map<BoundSet.InferenceVar,BoundSet.VarBounds<?>>	bounds
protected @Nullable Function<ITypePrinter,String>	failure
protected final AType	infVarRetType
protected final Map<AbstractInvoke,BoundSet>	nestedVars
protected @Nullable BoundSet	parent
protected final Map<TypeParameter,BoundSet.InferenceVar>	vars

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
protected void	addNestedVars(AbstractInvoke expr, BoundSet other)
protected void	assignable(MethodDecl lambda, ReferenceType t)
protected void	assignable(MethodReference mref, ReferenceType t)
protected void	assignable(Ternary ternary, ReferenceType t)
protected void	assignable(Instruction expr, ReferenceType t)
protected void	assignable(Instruction expr, ReferenceType resultType, ReferenceType t, @Nullable BoundSet polyBounds)
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, String paramName)
void	constrainReturnAssignable(ReferenceType polyResultType)
void	constrainThrown(ReferenceType exType)
protected void	containedBy(ReferenceType s, ReferenceType t)
protected BoundSet.VarBounds<?>	copyVarBounds(BoundSet.VarBounds<?> other)
static boolean	couldBePolyOrHaveRawArgsErasure(Method method)
protected int	depth()
protected void	fail(Function<ITypePrinter,String> failure)
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 Iterable<TypeParameter>	getInferrableTypeParams(Method method)
void	initTypeParamBounds()
protected boolean	isAcceptableResolution(ReferenceType t)
static boolean	isPoly(Method method)
protected static boolean	isProper(AType t)
protected void	lambdaParamsCanReceiveFunctionalInterfaceMethodType(List<AType> params, List<Parameter> fParams)
static AType	lower(AType t)
static ReferenceType	lower(ReferenceType t)
protected abstract BoundSet	makeNestedBoundSet(AbstractInvoke invoke, Iterable<TypeParameter> vars, AType retType)
static boolean	mentionsInferrableTypeParam(AType t, Method m)
static boolean	mentionsTypeParam(AType t, ITypeParameterizedMember owner)
static boolean	mentionsTypeParam(ReferenceType t, ITypeParameterizedMember owner, Predicate<TypeParameter> seen)
static boolean	mentionsTypeParamFromClassOrOuter(AType t, ClassType clazz)
static <B extends BoundSet> B	monomorphicBounds(AbstractInvoke invoke, BiFunction<Iterable<TypeParameter>,AType,B> factory)
protected void	mrefParamAssignable(AType fInterfaceParamType, String fInterfaceParamName, AType mrefParamType, String mrefParamName)
protected void	mrefRetAssignable(AType mrefRetType, AType fInterfaceRetType)
static <B extends BoundSet> B	newBoundSet(AbstractInvoke invoke, BiFunction<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 final Map<BoundSet.InferenceVar,ReferenceType>	solvePhases(List<BoundSet.InferenceVar> vars, BoundSet.InferenceVarMapper solved)
protected Map<BoundSet.InferenceVar,ReferenceType>	solveVars(List<BoundSet.InferenceVar> vars, BoundSet.InferenceVarMapper solved)
ReferenceType	substInfVars(ReferenceType t)
protected void	subtype(ReferenceType s, ReferenceType t)
static AType	upper(AType t)
protected String	varNameSuffix()

Methods inherited from class java.lang.Object

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

Field Details

vars

protected final Map<TypeParameter,BoundSet.InferenceVar> vars

infVarRetType

protected final AType infVarRetType

bounds

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

nestedVars

protected final Map<AbstractInvoke,BoundSet> nestedVars

failure

@Nullable
protected @Nullable Function<ITypePrinter,String> failure

parent

@Nullable
protected @Nullable BoundSet parent

Constructor Details

BoundSet

protected BoundSet(BoundSet other)

BoundSet

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

Method Details

initTypeParamBounds

public void initTypeParamBounds()

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,
 String paramName)

constrainReturnAssignable

public void constrainReturnAssignable(ReferenceType polyResultType)

solve

protected BoundSet.InferenceVarMapper solve()

solveVars

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

solvePhases

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

isAcceptableResolution

protected boolean isAcceptableResolution(ReferenceType t)

solvePhase

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

addNestedVars

protected void addNestedVars(AbstractInvoke expr,
 BoundSet other)

depth

protected int depth()

boundsFor

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

boundsFor

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

substInfVars

public ReferenceType substInfVars(ReferenceType t)

isPoly

public static boolean isPoly(Method method)

couldBePolyOrHaveRawArgsErasure

public static boolean couldBePolyOrHaveRawArgsErasure(Method method)

isProper

protected static boolean isProper(AType t)

getInferrableTypeParams

public static 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,
 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)

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(AbstractInvoke invoke,
 Iterable<TypeParameter> vars,
 AType retType)

assignable

protected void assignable(Ternary ternary,
 ReferenceType t)

assignable

protected void assignable(MethodDecl lambda,
 ReferenceType t)

lambdaParamsCanReceiveFunctionalInterfaceMethodType

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

retTypeAssignable

protected void retTypeAssignable(MethodDecl lambda,
 ReferenceType retType)

assignable

protected void assignable(MethodReference mref,
 ReferenceType t)

mrefRetAssignable

protected void mrefRetAssignable(AType mrefRetType,
 AType fInterfaceRetType)

mrefParamAssignable

protected void mrefParamAssignable(AType fInterfaceParamType,
 String fInterfaceParamName,
 AType mrefParamType,
 String mrefParamName)

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,
 BiFunction<Iterable<TypeParameter>,AType,B> factory)

newBoundSet

public static <B extends BoundSet> B newBoundSet(AbstractInvoke invoke,
 BiFunction<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(Function<ITypePrinter,String> failure)

varNameSuffix

protected String varNameSuffix()