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

Class TypeHintBoundSet

java.lang.Object

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

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

public class TypeHintBoundSet
extends BoundSet

Created by covers1624 on 11/10/22.

Nested Class Summary

Nested classes/interfaces inherited from class net.covers1624.coffeegrinder.bytecode.transform.transformers.generics.BoundSet

BoundSet.InferenceVar, BoundSet.InferenceVarMapper, BoundSet.ResolutionPhase, BoundSet.ResolveFailedException, BoundSet.SimpleVarBounds, BoundSet.VarBounds<T>

Field Summary

Fields inherited from class net.covers1624.coffeegrinder.bytecode.transform.transformers.generics.BoundSet

bounds, failure, hasRawArgs, infVarRetType, nestedVars, vars

Constructor Summary

Constructors

Constructor and Description
TypeHintBoundSet(java.lang.Iterable<TypeParameter> typeParameters, AType retType)

Method Summary

Modifier and Type	Method and Description
protected void	assignable(Instruction expr, ReferenceType t)
protected void	assignable(MethodDecl lambda, ReferenceType t)
protected void	assignable(MethodReference mref, ReferenceType t)
protected net.covers1624.coffeegrinder.bytecode.transform.transformers.generics.TypeHintBoundSet.TypeHintVarBounds	boundsFor(BoundSet.InferenceVar var)
protected net.covers1624.coffeegrinder.bytecode.transform.transformers.generics.TypeHintBoundSet.TypeHintVarBounds	boundsFor(TypeParameter param)
protected void	failProperSubtype(ReferenceType s, ReferenceType t)
protected void	failProperTypesNotEqual(ReferenceType s, ReferenceType t)
protected BoundSet	makeNestedBoundSet(java.lang.Iterable<TypeParameter> vars, AType retType)
protected net.covers1624.coffeegrinder.bytecode.transform.transformers.generics.TypeHintBoundSet.TypeHintVarBounds	newVarBounds()
protected void	retTypeAssignable(MethodDecl lambda, ReferenceType retType)
protected BoundSet.InferenceVarMapper	solve()
@Nullable ReferenceType	solveAndApplyTo(ReferenceType type)
protected @Nullable ReferenceType	solvePhase(BoundSet.ResolutionPhase phase, BoundSet.VarBounds<?> bounds, 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)

Methods inherited from class net.covers1624.coffeegrinder.bytecode.transform.transformers.generics.BoundSet

addNestedVars, assignable, assignable, assignableStripWildcards, constrainAssignable, constrainReturnAssignable, constrainThrown, containedBy, copyVarBounds, fail, getHierarchyCompatibleType, getHierarchyCompatibleType, getHierarchyCompatibleType, getInferrableTypeParams, isPoly, isProper, lambdaParamsCanReceiveFunctionalInterfaceMethodType, lower, lower, makeRepresentable, mentionsInferrableTypeParam, mentionsTypeParam, mentionsTypeParam, mentionsTypeParamFromClassOrOuter, monomorphicBounds, newBoundSet, solvePhases, upper

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeHintBoundSet

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

Method Detail

solve

protected BoundSet.InferenceVarMapper solve()

Overrides:

solve in class BoundSet

assignable

protected void assignable(Instruction expr,
                          ReferenceType t)

Overrides:

assignable in class BoundSet

subtype

protected void subtype(ReferenceType s,
                       ReferenceType t)

Overrides:

subtype in class BoundSet

retTypeAssignable

protected void retTypeAssignable(MethodDecl lambda,
                                 ReferenceType retType)

Overrides:

retTypeAssignable in class BoundSet

assignable

protected void assignable(MethodDecl lambda,
                          ReferenceType t)

Overrides:

assignable in class BoundSet

assignable

protected void assignable(MethodReference mref,
                          ReferenceType t)

Overrides:

assignable in class BoundSet

failProperSubtype

protected void failProperSubtype(ReferenceType s,
                                 ReferenceType t)

Overrides:

failProperSubtype in class BoundSet

failProperTypesNotEqual

protected void failProperTypesNotEqual(ReferenceType s,
                                       ReferenceType t)

Overrides:

failProperTypesNotEqual in class BoundSet

solveVars

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

Overrides:

solveVars in class BoundSet

solvePhase

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

Overrides:

solvePhase in class BoundSet

solveAndApplyTo

@Nullable
public @Nullable ReferenceType solveAndApplyTo(ReferenceType type)

newVarBounds

protected net.covers1624.coffeegrinder.bytecode.transform.transformers.generics.TypeHintBoundSet.TypeHintVarBounds newVarBounds()

Overrides:

newVarBounds in class BoundSet

boundsFor

protected net.covers1624.coffeegrinder.bytecode.transform.transformers.generics.TypeHintBoundSet.TypeHintVarBounds boundsFor(BoundSet.InferenceVar var)

Overrides:

boundsFor in class BoundSet

boundsFor

protected net.covers1624.coffeegrinder.bytecode.transform.transformers.generics.TypeHintBoundSet.TypeHintVarBounds boundsFor(TypeParameter param)

Overrides:

boundsFor in class BoundSet

makeNestedBoundSet

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

Specified by:

makeNestedBoundSet in class BoundSet