kotlin-common-reflect/com.huanshankeji.kotlin.reflect

Package-level declarations

Types

ConcreteReturnTypeProperty1

data class ConcreteReturnTypeProperty1<T, V>(val property: KProperty1<T, V>, val concreteReturnType: KType)

typealias Substitution = Map<KTypeParameter, KType>

data class TypeAndClass<T : Any>(val type: KType, val clazz: KClass<T> = type.classifier as KClass<T>)

Properties

val nothingType: KType

nullableNothingType

val nullableNothingType: KType

Functions

concreteReturnTypeMemberProperties

inline fun <T : Any> concreteReturnTypeMemberProperties(): List<ConcreteReturnTypeProperty1<T, *>>

concreteReturnTypeMemberProperties

fun <T : Any> TypeAndClass<T>.concreteReturnTypeMemberProperties(): List<ConcreteReturnTypeProperty1<T, *>>

concreteTypeSealedDirectSubtypes

fun <T : Any> TypeAndClass<T>.concreteTypeSealedDirectSubtypes(): List<TypeAndClass<out T>>

For GADTs, the subclasses whose type parameters failed to be inferred will be discarded.

concreteTypeSealedDirectSubtypesWithAllActualKClasses

fun <T : Any> TypeAndClass<T>.concreteTypeSealedDirectSubtypesWithAllActualKClasses(): List<TypeAndClass<out T>>

Excluding those with star projections (and instantiated with type parameters).

concreteTypeSealedLeafSubtypes

fun <T : Any> TypeAndClass<T>.concreteTypeSealedLeafSubtypes(): List<TypeAndClass<out T>>

concreteTypeSealedLeafSubtypesWithAllActualKClasses

fun <T : Any> TypeAndClass<T>.concreteTypeSealedLeafSubtypesWithAllActualKClasses(): List<TypeAndClass<out T>>

Excluding those with star projections (and instantiated with type parameters).

concreteTypeUnify

fun concreteTypeUnify(knowConcreteType: KType, typeWithVariables: KType): Substitution?

copyWithArguments

expect fun KType.copyWithArguments(arguments: List<KTypeProjection>): KType

actual fun KType.copyWithArguments(arguments: List<KTypeProjection>): KType

actual fun KType.copyWithArguments(arguments: List<KTypeProjection>): KType

actual fun KType.copyWithArguments(arguments: List<KTypeProjection>): KType

actual fun KType.copyWithArguments(arguments: List<KTypeProjection>): KType

inferSubclassType

fun inferSubclassType(subclass: KClass<*>, superclassTypeAndClass: TypeAndClass<*>): KType?

inferSubclassTypeThrowOnFailing

fun inferSubclassTypeThrowOnFailing(subclass: KClass<*>, superclassTypeAndClass: TypeAndClass<*>): KType

fun KType.~~isConcreteType~~(): Boolean

isConcreteTypeWithAllActualKClasses

fun KType.isConcreteTypeWithAllActualKClasses(): Boolean

A concrete type is a simple type or a parametrized type. See https://kotlinlang.org/spec/type-system.html#type-kinds for its definition.

fun KType.isNothing(): Boolean

isNullableNothing

fun KType.isNullableNothing(): Boolean

sealedLeafSubclasses

fun <T : Any> KClass<T>.sealedLeafSubclasses(): List<KClass<out T>>

fun KType.substitute(substitution: Substitution): KType

throwNotAClassOrATypeParameter

fun throwNotAClassOrATypeParameter(classifier: KClassifier?): Nothing

throwStarProjectionsNotSupported

fun throwStarProjectionsNotSupported(): Nothing

toReadableStringByReflection

fun Any?.toReadableStringByReflection(): String

A useful utility function for debugging purposes. It produces the string produced by toString if the class were a data class with all public properties recursively. Note the data should not have cyclic references, otherwise the function call will not terminate. Note that if a class has an overriden toString method (for example a data class), it will be called directly, so if it contains a public property whose class doesn't have an overriden toString method the default Any.toString will be called.

inline fun <T : Any> typeAndClassOf(): TypeAndClass<T>