Package net.covers1624.coffeegrinder.type

Class TypeSystem

java.lang.Object

net.covers1624.coffeegrinder.type.TypeSystem

public class TypeSystem
extends Object

Created by covers1624 on 15/8/21.

Method Summary

Modifier and Type	Method	Description
static boolean	areErasuresEqual(AType a, AType b)
static ClassType	box(TypeResolver resolver, PrimitiveType type)
static AType	capture(AType type)
static ClassType	capture(ClassType type)
static ParameterizedClass	capture(ParameterizedClass type)
static ReferenceType	capture(ReferenceType type)
static ClassType	erase(ClassType type)
static ReferenceType	erase(ReferenceType type)
static ReferenceType	erase(ReferenceType type, boolean toConcreteType)
static ClassType	findParameterization(ClassType decl, ReferenceType inType)
static @Nullable ClassType	findParameterizationOrNull(ClassType decl, ReferenceType inType)
static LinkedList<ReferenceType>	getCommonDeclaredHierarchy(ReferenceType... types)
static ReferenceType	glb(Iterable<ReferenceType> types)
static ReferenceType	glb(ReferenceType a, ReferenceType b)
static ReferenceType	glbJavac(Iterable<ReferenceType> types)	Ignores any types with an erasure that is a supertype of an earlier type That is, if there are multiple generic parameterizations for a class [on a hierarchy], the latter will be ignored
static ReferenceType	glbJavac(ReferenceType a, ReferenceType b)	Ignores b if it already has a different parameterization in a
static IntersectionType	intersection(ReferenceType upperBound, ClassType interfaceType)
static boolean	isAssignableTo(AType from, AType to)
static boolean	isAssignableTo(AType from, AType to, boolean allowUnchecked)
static boolean	isAssignableTo(ReferenceType from, ReferenceType to)
static boolean	isAssignableTo(ReferenceType from, ReferenceType to, boolean allowUnchecked)
static boolean	isCastableTo(ReferenceType from, ReferenceType to, boolean allowWidening)
static boolean	isConstructedViaTargetInstance(ClassType clazz)
static boolean	isFullyDefined(ClassType type)
static boolean	isFullyDefined(Method method)
static boolean	isFullyDefined(ReferenceType type)
static boolean	isGeneric(ClassType clazz)
static boolean	isIntegerConstant(AType type)
static boolean	isInterface(ReferenceType t)
static boolean	isObject(AType type)
static boolean	isString(AType type)
static boolean	isSubType(ReferenceType type, ReferenceType decl)
static ReferenceType	lub(ReferenceType... types)
static ReferenceType	lub(net.covers1624.coffeegrinder.type.TypeSystem.RecursiveLCTACache cache, ReferenceType... types)
static ReferenceType	makeMultiCatchUnion(ReferenceType a, ReferenceType b)
static ClassType	makeThisType(ClassType clazz)
static boolean	mapTypes(Map<TypeParameter,ReferenceType> mappings, ReferenceType t1, ReferenceType t2)
static boolean	needsOuterParameterization(ClassType clazz)
static ClassType	objectType(ReferenceType type)
static TypeResolver	resolver(ReferenceType type)
static @Nullable PrimitiveType	unbox(ReferenceType type)

Methods inherited from class java.lang.Object

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

Method Details

isSubType

public static boolean isSubType(ReferenceType type,
 ReferenceType decl)

Parameters:

type - The type to search the hierarchy of

decl - The parent type

Returns:

true if decl exists on the hierarchy of (or equals) type

isAssignableTo

public static boolean isAssignableTo(AType from,
 AType to)

isAssignableTo

public static boolean isAssignableTo(AType from,
 AType to,
 boolean allowUnchecked)

isAssignableTo

public static boolean isAssignableTo(ReferenceType from,
 ReferenceType to)

isAssignableTo

public static boolean isAssignableTo(ReferenceType from,
 ReferenceType to,
 boolean allowUnchecked)

isCastableTo

public static boolean isCastableTo(ReferenceType from,
 ReferenceType to,
 boolean allowWidening)

erase

public static ReferenceType erase(ReferenceType type)

erase

public static ReferenceType erase(ReferenceType type,
 boolean toConcreteType)

erase

public static ClassType erase(ClassType type)

makeThisType

public static ClassType makeThisType(ClassType clazz)

makeMultiCatchUnion

public static ReferenceType makeMultiCatchUnion(ReferenceType a,
 ReferenceType b)

intersection

public static IntersectionType intersection(ReferenceType upperBound,
 ClassType interfaceType)

glb

public static ReferenceType glb(ReferenceType a,
 ReferenceType b)

glb

public static ReferenceType glb(Iterable<ReferenceType> types)

glbJavac

public static ReferenceType glbJavac(ReferenceType a,
 ReferenceType b)

Ignores b if it already has a different parameterization in a

Unlike glb(ReferenceType, ReferenceType) accepts IntersectionType for b

Not quite technically equivalent to javac, because we don't do a full supertype tree flatten, but results are weird in the cases it matters

glbJavac

public static ReferenceType glbJavac(Iterable<ReferenceType> types)

Ignores any types with an erasure that is a supertype of an earlier type That is, if there are multiple generic parameterizations for a class [on a hierarchy], the latter will be ignored

Not quite technically equivalent to javac, because we don't do a full supertype tree flatten, but results are weird in the cases it matters

lub

public static ReferenceType lub(ReferenceType... types)

lub

public static ReferenceType lub(net.covers1624.coffeegrinder.type.TypeSystem.RecursiveLCTACache cache,
 ReferenceType... types)

getCommonDeclaredHierarchy

public static LinkedList<ReferenceType> getCommonDeclaredHierarchy(ReferenceType... types)

mapTypes

public static boolean mapTypes(Map<TypeParameter,ReferenceType> mappings,
 ReferenceType t1,
 ReferenceType t2)

box

public static ClassType box(TypeResolver resolver,
 PrimitiveType type)

unbox

@Nullable
public static @Nullable PrimitiveType unbox(ReferenceType type)

isFullyDefined

public static boolean isFullyDefined(ReferenceType type)

isFullyDefined

public static boolean isFullyDefined(ClassType type)

isFullyDefined

public static boolean isFullyDefined(Method method)

isConstructedViaTargetInstance

public static boolean isConstructedViaTargetInstance(ClassType clazz)

needsOuterParameterization

public static boolean needsOuterParameterization(ClassType clazz)

isGeneric

public static boolean isGeneric(ClassType clazz)

areErasuresEqual

public static boolean areErasuresEqual(AType a,
 AType b)

isInterface

public static boolean isInterface(ReferenceType t)

isIntegerConstant

public static boolean isIntegerConstant(AType type)

findParameterization

public static ClassType findParameterization(ClassType decl,
 ReferenceType inType)

findParameterizationOrNull

@Nullable
public static @Nullable ClassType findParameterizationOrNull(ClassType decl,
 ReferenceType inType)

isObject

public static boolean isObject(AType type)

isString

public static boolean isString(AType type)

objectType

public static ClassType objectType(ReferenceType type)

resolver

public static TypeResolver resolver(ReferenceType type)

capture

public static AType capture(AType type)

capture

public static ReferenceType capture(ReferenceType type)

capture

public static ClassType capture(ClassType type)

capture

public static ParameterizedClass capture(ParameterizedClass type)