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 static interface	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 String	failure
protected boolean	hasRawArgs
protected final AType	infVarRetType
protected final Map<AbstractInvoke,BoundSet>	nestedVars
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(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)
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(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 Iterable<TypeParameter>	getInferrableTypeParams(Method method)
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(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, Predicate<TypeParameter> seen)
static boolean	mentionsTypeParamFromClassOrOuter(AType t, ClassType clazz)
static <B extends BoundSet> B	monomorphicBounds(AbstractInvoke invoke, BiFunction<Iterable<TypeParameter>,AType,B> factory)
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)
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 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

hasRawArgs

protected boolean hasRawArgs

failure

@Nullable
protected @Nullable String failure

Constructor Details

BoundSet

protected BoundSet(BoundSet other)

BoundSet

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

Method Details

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 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)

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 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)

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

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)

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(String reason)