arrow-meta/arrow.meta.phases.codegen.ir/IrUtils

IrUtils

class IrUtils(pluginContext: IrPluginContext, compilerContext: CompilerContext, moduleFragment: IrModuleFragment) : ReferenceSymbolTable, IrTypeSystemContext, IrFactory

Functions

anySuperTypeConstructor

open override fun KotlinTypeMarker.anySuperTypeConstructor(predicate: (TypeConstructorMarker) -> Boolean): Boolean

anyType

open override fun anyType(): IrSimpleType

areEqualTypeConstructors

open override fun areEqualTypeConstructors(c1: TypeConstructorMarker, c2: TypeConstructorMarker): Boolean

argumentsCount

open override fun KotlinTypeMarker.argumentsCount(): Int

arrayType

open override fun arrayType(componentType: KotlinTypeMarker): SimpleTypeMarker

asArgumentList

open override fun SimpleTypeMarker.asArgumentList(): IrSimpleType

asCapturedType

open override fun SimpleTypeMarker.asCapturedType(): CapturedTypeMarker?

asDefinitelyNotNullType

open override fun SimpleTypeMarker.asDefinitelyNotNullType(): DefinitelyNotNullTypeMarker?

asDynamicType

open override fun FlexibleTypeMarker.asDynamicType(): IrDynamicType?

asFlexibleType

open override fun KotlinTypeMarker.asFlexibleType(): FlexibleTypeMarker?

asRawType

open override fun FlexibleTypeMarker.asRawType(): RawTypeMarker?

asSimpleType

open override fun KotlinTypeMarker.asSimpleType(): SimpleTypeMarker?

asTypeArgument

open override fun KotlinTypeMarker.asTypeArgument(): IrTypeArgument

canHaveUndefinedNullability

open override fun KotlinTypeMarker.canHaveUndefinedNullability(): Boolean

captureFromArguments

open override fun captureFromArguments(type: SimpleTypeMarker, status: CaptureStatus): SimpleTypeMarker?

captureFromExpression

open override fun captureFromExpression(type: KotlinTypeMarker): KotlinTypeMarker?

captureStatus

open override fun CapturedTypeMarker.captureStatus(): CaptureStatus

createAnonymousInitializer

open override fun createAnonymousInitializer(startOffset: Int, endOffset: Int, origin: IrDeclarationOrigin, symbol: IrAnonymousInitializerSymbol, isStatic: Boolean): IrAnonymousInitializer

createBlockBody

open override fun createBlockBody(startOffset: Int, endOffset: Int): IrBlockBody

open override fun createBlockBody(startOffset: Int, endOffset: Int, initializer: IrBlockBody.() -> Unit): IrBlockBody

open override fun createBlockBody(startOffset: Int, endOffset: Int, statements: List<IrStatement>): IrBlockBody

createClass

open override fun createClass(startOffset: Int, endOffset: Int, origin: IrDeclarationOrigin, symbol: IrClassSymbol, name: Name, kind: ClassKind, visibility: DescriptorVisibility, modality: Modality, isCompanion: Boolean, isInner: Boolean, isData: Boolean, isExternal: Boolean, isInline: Boolean, isExpect: Boolean, isFun: Boolean, source: SourceElement): IrClass

createConstructor

open override fun createConstructor(startOffset: Int, endOffset: Int, origin: IrDeclarationOrigin, symbol: IrConstructorSymbol, name: Name, visibility: DescriptorVisibility, returnType: IrType, isInline: Boolean, isExternal: Boolean, isPrimary: Boolean, isExpect: Boolean, containerSource: DeserializedContainerSource?): IrConstructor

createEnumEntry

open override fun createEnumEntry(startOffset: Int, endOffset: Int, origin: IrDeclarationOrigin, symbol: IrEnumEntrySymbol, name: Name): IrEnumEntry

createErrorDeclaration

open override fun createErrorDeclaration(startOffset: Int, endOffset: Int, descriptor: DeclarationDescriptor?): IrErrorDeclaration

createErrorType

open override fun createErrorType(debugName: String): SimpleTypeMarker

createErrorTypeWithCustomConstructor

open override fun createErrorTypeWithCustomConstructor(debugName: String, constructor: TypeConstructorMarker): KotlinTypeMarker

createExpressionBody

open override fun createExpressionBody(expression: IrExpression): IrExpressionBody

open override fun createExpressionBody(startOffset: Int, endOffset: Int, initializer: IrExpressionBody.() -> Unit): IrExpressionBody

open override fun createExpressionBody(startOffset: Int, endOffset: Int, expression: IrExpression): IrExpressionBody

createFakeOverrideFunction

open override fun createFakeOverrideFunction(startOffset: Int, endOffset: Int, origin: IrDeclarationOrigin, name: Name, visibility: DescriptorVisibility, modality: Modality, returnType: IrType, isInline: Boolean, isExternal: Boolean, isTailrec: Boolean, isSuspend: Boolean, isOperator: Boolean, isInfix: Boolean, isExpect: Boolean): IrSimpleFunction

createFakeOverrideProperty

open override fun createFakeOverrideProperty(startOffset: Int, endOffset: Int, origin: IrDeclarationOrigin, name: Name, visibility: DescriptorVisibility, modality: Modality, isVar: Boolean, isConst: Boolean, isLateinit: Boolean, isDelegated: Boolean, isExternal: Boolean, isExpect: Boolean): IrProperty

createField

open override fun createField(startOffset: Int, endOffset: Int, origin: IrDeclarationOrigin, symbol: IrFieldSymbol, name: Name, type: IrType, visibility: DescriptorVisibility, isFinal: Boolean, isExternal: Boolean, isStatic: Boolean): IrField

createFlexibleType

open override fun createFlexibleType(lowerBound: SimpleTypeMarker, upperBound: SimpleTypeMarker): KotlinTypeMarker

createFunction

open override fun createFunction(startOffset: Int, endOffset: Int, origin: IrDeclarationOrigin, symbol: IrSimpleFunctionSymbol, name: Name, visibility: DescriptorVisibility, modality: Modality, returnType: IrType, isInline: Boolean, isExternal: Boolean, isTailrec: Boolean, isSuspend: Boolean, isOperator: Boolean, isInfix: Boolean, isExpect: Boolean, isFakeOverride: Boolean, containerSource: DeserializedContainerSource?): IrSimpleFunction

createLocalDelegatedProperty

open override fun createLocalDelegatedProperty(startOffset: Int, endOffset: Int, origin: IrDeclarationOrigin, symbol: IrLocalDelegatedPropertySymbol, name: Name, type: IrType, isVar: Boolean): IrLocalDelegatedProperty

createProperty

open override fun createProperty(startOffset: Int, endOffset: Int, origin: IrDeclarationOrigin, symbol: IrPropertySymbol, name: Name, visibility: DescriptorVisibility, modality: Modality, isVar: Boolean, isConst: Boolean, isLateinit: Boolean, isDelegated: Boolean, isExternal: Boolean, isExpect: Boolean, isFakeOverride: Boolean, containerSource: DeserializedContainerSource?): IrProperty

createSimpleType

open override fun createSimpleType(constructor: TypeConstructorMarker, arguments: List<TypeArgumentMarker>, nullable: Boolean, isExtensionFunction: Boolean, annotations: List<AnnotationMarker>?): SimpleTypeMarker

createStarProjection

open override fun createStarProjection(typeParameter: TypeParameterMarker): IrStarProjectionImpl

createTypeAlias

open override fun createTypeAlias(startOffset: Int, endOffset: Int, symbol: IrTypeAliasSymbol, name: Name, visibility: DescriptorVisibility, expandedType: IrType, isActual: Boolean, origin: IrDeclarationOrigin): IrTypeAlias

createTypeArgument

open override fun createTypeArgument(type: KotlinTypeMarker, variance: TypeVariance): TypeArgumentMarker

createTypeParameter

open override fun createTypeParameter(startOffset: Int, endOffset: Int, origin: IrDeclarationOrigin, symbol: IrTypeParameterSymbol, name: Name, index: Int, isReified: Boolean, variance: Variance): IrTypeParameter

createValueParameter

open override fun createValueParameter(startOffset: Int, endOffset: Int, origin: IrDeclarationOrigin, symbol: IrValueParameterSymbol, name: Name, index: Int, type: IrType, varargElementType: IrType?, isCrossinline: Boolean, isNoinline: Boolean, isHidden: Boolean, isAssignable: Boolean): IrValueParameter

enterScope

open override fun enterScope(owner: IrDeclaration)

open override fun enterScope(owner: IrSymbol)

fastCorrespondingSupertypes

open override fun SimpleTypeMarker.fastCorrespondingSupertypes(constructor: TypeConstructorMarker): List<SimpleTypeMarker>?

findCommonIntegerLiteralTypesSuperType

open override fun findCommonIntegerLiteralTypesSuperType(explicitSupertypes: List<SimpleTypeMarker>): SimpleTypeMarker?

get

open operator override fun TypeArgumentListMarker.get(index: Int): TypeArgumentMarker

getAnnotationFirstArgumentValue

open override fun KotlinTypeMarker.getAnnotationFirstArgumentValue(fqName: FqName): Any?

getAnnotations

open override fun KotlinTypeMarker.getAnnotations(): List<AnnotationMarker>

getArgument

open override fun KotlinTypeMarker.getArgument(index: Int): TypeArgumentMarker

getArgumentOrNull

open override fun SimpleTypeMarker.getArgumentOrNull(index: Int): TypeArgumentMarker?

getArguments

open override fun KotlinTypeMarker.getArguments(): List<TypeArgumentMarker>

getClassFqNameUnsafe

open override fun TypeConstructorMarker.getClassFqNameUnsafe(): FqNameUnsafe?

getName

open override fun TypeParameterMarker.getName(): Name

getParameter

open override fun TypeConstructorMarker.getParameter(index: Int): IrTypeParameterSymbol

getParameters

open override fun TypeConstructorMarker.getParameters(): List<IrTypeParameterSymbol>

getPrimitiveArrayType

open override fun TypeConstructorMarker.getPrimitiveArrayType(): PrimitiveType?

getPrimitiveType

open override fun TypeConstructorMarker.getPrimitiveType(): PrimitiveType?

getRepresentativeUpperBound

open override fun TypeParameterMarker.getRepresentativeUpperBound(): KotlinTypeMarker

getSubstitutedUnderlyingType

open override fun KotlinTypeMarker.getSubstitutedUnderlyingType(): KotlinTypeMarker?

getType

open override fun TypeArgumentMarker.getType(): IrType

getTypeConstructor

open override fun TypeParameterMarker.getTypeConstructor(): IrTypeParameterSymbol

getTypeParameterClassifier

open override fun TypeConstructorMarker.getTypeParameterClassifier(): TypeParameterMarker?

getUnsubstitutedUnderlyingType

open override fun KotlinTypeMarker.getUnsubstitutedUnderlyingType(): KotlinTypeMarker?

getUpperBound

open override fun TypeParameterMarker.getUpperBound(index: Int): KotlinTypeMarker

getUpperBounds

open override fun TypeParameterMarker.getUpperBounds(): List<KotlinTypeMarker>

getVariance

open override fun TypeArgumentMarker.getVariance(): TypeVariance

open override fun TypeParameterMarker.getVariance(): TypeVariance

hasAnnotation

open override fun KotlinTypeMarker.hasAnnotation(fqName: FqName): Boolean

hasFlexibleNullability

open override fun KotlinTypeMarker.hasFlexibleNullability(): Boolean

hasRecursiveBounds

open override fun TypeParameterMarker.hasRecursiveBounds(selfConstructor: TypeConstructorMarker?): Boolean

identicalArguments

open override fun identicalArguments(a: SimpleTypeMarker, b: SimpleTypeMarker): Boolean

intersectTypes

open override fun intersectTypes(types: List<KotlinTypeMarker>): KotlinTypeMarker

open override fun intersectTypes(types: List<SimpleTypeMarker>): SimpleTypeMarker

irCall

fun CallableDescriptor.irCall(): IrExpression

irConstructorCall

fun ClassDescriptor.irConstructorCall(): IrConstructorCall?

irGetterCall

fun PropertyDescriptor.irGetterCall(): IrCall?

isAnyConstructor

open override fun TypeConstructorMarker.isAnyConstructor(): Boolean

isArrayOrNullableArray

open override fun KotlinTypeMarker.isArrayOrNullableArray(): Boolean

isCapturedDynamic

open override fun KotlinTypeMarker.isCapturedDynamic(): Boolean

isCapturedType

open override fun KotlinTypeMarker.isCapturedType(): Boolean

isClassType

open override fun SimpleTypeMarker.isClassType(): Boolean

isClassTypeConstructor

open override fun TypeConstructorMarker.isClassTypeConstructor(): Boolean

isCommonFinalClassConstructor

open override fun TypeConstructorMarker.isCommonFinalClassConstructor(): Boolean

isDefinitelyNotNullType

open override fun KotlinTypeMarker.isDefinitelyNotNullType(): Boolean

isDenotable

open override fun TypeConstructorMarker.isDenotable(): Boolean

isDynamic

open override fun KotlinTypeMarker.isDynamic(): Boolean

isError

open override fun KotlinTypeMarker.isError(): Boolean

open override fun TypeConstructorMarker.isError(): Boolean

isExtensionFunction

open override fun SimpleTypeMarker.isExtensionFunction(): Boolean

isFinalClassOrEnumEntryOrAnnotationClassConstructor

open override fun TypeConstructorMarker.isFinalClassOrEnumEntryOrAnnotationClassConstructor(): Boolean

isFlexible

open override fun KotlinTypeMarker.isFlexible(): Boolean

isFlexibleNothing

open override fun KotlinTypeMarker.isFlexibleNothing(): Boolean

isInlineClass

open override fun TypeConstructorMarker.isInlineClass(): Boolean

isInnerClass

open override fun TypeConstructorMarker.isInnerClass(): Boolean

isIntegerLiteralType

open override fun SimpleTypeMarker.isIntegerLiteralType(): Boolean

isIntegerLiteralTypeConstructor

open override fun TypeConstructorMarker.isIntegerLiteralTypeConstructor(): Boolean

isInterface

open override fun TypeConstructorMarker.isInterface(): Boolean

isInterfaceOrAnnotationClass

open override fun KotlinTypeMarker.isInterfaceOrAnnotationClass(): Boolean

isIntersection

open override fun TypeConstructorMarker.isIntersection(): Boolean

isLocalType

open override fun TypeConstructorMarker.isLocalType(): Boolean

isMarkedNullable

open override fun KotlinTypeMarker.isMarkedNullable(): Boolean

open override fun SimpleTypeMarker.isMarkedNullable(): Boolean

isNothing

open override fun KotlinTypeMarker.isNothing(): Boolean

isNothingConstructor

open override fun TypeConstructorMarker.isNothingConstructor(): Boolean

isNullableAny

open override fun KotlinTypeMarker.isNullableAny(): Boolean

isNullableNothing

open override fun KotlinTypeMarker.isNullableNothing(): Boolean

isNullableType

open override fun KotlinTypeMarker.isNullableType(): Boolean

isOldCapturedType

open override fun CapturedTypeMarker.isOldCapturedType(): Boolean

isPrimitiveType

open override fun SimpleTypeMarker.isPrimitiveType(): Boolean

isProjectionNotNull

open override fun CapturedTypeMarker.isProjectionNotNull(): Boolean

isReified

open override fun TypeParameterMarker.isReified(): Boolean

isSimpleType

open override fun KotlinTypeMarker.isSimpleType(): Boolean

isSingleClassifierType

open override fun SimpleTypeMarker.isSingleClassifierType(): Boolean

isStarProjection

open override fun TypeArgumentMarker.isStarProjection(): Boolean

isStubType

open override fun SimpleTypeMarker.isStubType(): Boolean

isStubTypeForBuilderInference

open override fun SimpleTypeMarker.isStubTypeForBuilderInference(): Boolean

isStubTypeForVariableInSubtyping

open override fun SimpleTypeMarker.isStubTypeForVariableInSubtyping(): Boolean

isTypeVariableType

open override fun KotlinTypeMarker.isTypeVariableType(): Boolean

isUnderKotlinPackage

open override fun TypeConstructorMarker.isUnderKotlinPackage(): Boolean

isUninferredParameter

open override fun KotlinTypeMarker.isUninferredParameter(): Boolean

iterator

open operator override fun TypeArgumentListMarker.iterator(): Iterator<TypeArgumentMarker>

leaveScope

open override fun leaveScope(owner: IrDeclaration)

open override fun leaveScope(owner: IrSymbol)

lowerBound

open override fun FlexibleTypeMarker.lowerBound(): SimpleTypeMarker

lowerBoundIfFlexible

open override fun KotlinTypeMarker.lowerBoundIfFlexible(): SimpleTypeMarker

lowerType

open override fun CapturedTypeMarker.lowerType(): KotlinTypeMarker?

makeDefinitelyNotNullOrNotNull

open override fun KotlinTypeMarker.makeDefinitelyNotNullOrNotNull(): KotlinTypeMarker

makeNullable

open override fun KotlinTypeMarker.makeNullable(): KotlinTypeMarker

makeSimpleTypeDefinitelyNotNullOrNotNull

open override fun SimpleTypeMarker.makeSimpleTypeDefinitelyNotNullOrNotNull(): SimpleTypeMarker

newTypeCheckerState

open override fun newTypeCheckerState(errorTypesEqualToAnything: Boolean, stubTypesEqualToAnything: Boolean): TypeCheckerState

nothingType

open override fun nothingType(): IrSimpleType

nullableAnyType

open override fun nullableAnyType(): IrSimpleType

nullableNothingType

open override fun nullableNothingType(): IrSimpleType

original

open override fun DefinitelyNotNullTypeMarker.original(): SimpleTypeMarker

parametersCount

open override fun TypeConstructorMarker.parametersCount(): Int

possibleIntegerTypes

open override fun SimpleTypeMarker.possibleIntegerTypes(): Set<IrType>

projection

open override fun CapturedTypeConstructorMarker.projection(): TypeArgumentMarker

referenceClass

open override fun referenceClass(descriptor: ClassDescriptor): IrClassSymbol

referenceClassFromLinker

open override fun referenceClassFromLinker(sig: IdSignature): IrClassSymbol

referenceConstructor

open override fun referenceConstructor(descriptor: ClassConstructorDescriptor): IrConstructorSymbol

referenceConstructorFromLinker

open override fun referenceConstructorFromLinker(sig: IdSignature): IrConstructorSymbol

referenceDeclaredFunction

open override fun referenceDeclaredFunction(descriptor: FunctionDescriptor): IrSimpleFunctionSymbol

referenceEnumEntry

open override fun referenceEnumEntry(descriptor: ClassDescriptor): IrEnumEntrySymbol

referenceEnumEntryFromLinker

open override fun referenceEnumEntryFromLinker(sig: IdSignature): IrEnumEntrySymbol

referenceField

open override fun referenceField(descriptor: PropertyDescriptor): IrFieldSymbol

referenceFieldFromLinker

open override fun referenceFieldFromLinker(sig: IdSignature): IrFieldSymbol

referenceGlobalTypeParameterFromLinker

open override fun referenceGlobalTypeParameterFromLinker(sig: IdSignature): IrTypeParameterSymbol

referenceProperty

open override fun referenceProperty(descriptor: PropertyDescriptor): IrPropertySymbol

open override fun referenceProperty(descriptor: PropertyDescriptor, generate: () -> IrProperty): IrProperty

referencePropertyFromLinker

open override fun referencePropertyFromLinker(sig: IdSignature): IrPropertySymbol

referenceScript

open override fun referenceScript(descriptor: ScriptDescriptor): IrScriptSymbol

referenceSimpleFunction

open override fun referenceSimpleFunction(descriptor: FunctionDescriptor): IrSimpleFunctionSymbol

referenceSimpleFunctionFromLinker

open override fun referenceSimpleFunctionFromLinker(sig: IdSignature): IrSimpleFunctionSymbol

referenceTypeAlias

open override fun referenceTypeAlias(descriptor: TypeAliasDescriptor): IrTypeAliasSymbol

referenceTypeAliasFromLinker

open override fun referenceTypeAliasFromLinker(sig: IdSignature): IrTypeAliasSymbol

referenceTypeParameter

open override fun referenceTypeParameter(classifier: TypeParameterDescriptor): IrTypeParameterSymbol

referenceValueParameter

open override fun referenceValueParameter(descriptor: ParameterDescriptor): IrValueParameterSymbol

referenceVariable

open override fun referenceVariable(descriptor: VariableDescriptor): IrVariableSymbol

size

open override fun TypeArgumentListMarker.size(): Int

substitutedIrTypes

fun CallableDescriptor.substitutedIrTypes(typeSubstitutor: NewTypeSubstitutorByConstructorMap): List<IrType?>

substitutionSupertypePolicy

open override fun substitutionSupertypePolicy(type: SimpleTypeMarker): TypeCheckerState.SupertypesPolicy

supertypes

open override fun TypeConstructorMarker.supertypes(): Collection<KotlinTypeMarker>

toErrorType

open override fun TypeConstructorMarker.toErrorType(): SimpleTypeMarker

toIrType

fun KotlinType.toIrType(): IrType

transform

fun <A> IrFunction.transform(data: A, f: IrFunction.(A) -> Unit = Noop.effect2): IrStatement

typeConstructor

open override fun CapturedTypeMarker.typeConstructor(): CapturedTypeConstructorMarker

open override fun SimpleTypeMarker.typeConstructor(): TypeConstructorMarker

open override fun KotlinTypeMarker.typeConstructor(): TypeConstructorMarker

typeDepth

open override fun SimpleTypeMarker.typeDepth(): Int

open override fun KotlinTypeMarker.typeDepth(): Int

unlistFunction

open override fun unlistFunction(f: IrFunction)

upperBound

open override fun FlexibleTypeMarker.upperBound(): SimpleTypeMarker

upperBoundCount

open override fun TypeParameterMarker.upperBoundCount(): Int

upperBoundIfFlexible

open override fun KotlinTypeMarker.upperBoundIfFlexible(): SimpleTypeMarker

withNullability

open override fun KotlinTypeMarker.withNullability(nullable: Boolean): KotlinTypeMarker

open override fun SimpleTypeMarker.withNullability(nullable: Boolean): SimpleTypeMarker

Properties

compilerContext

val compilerContext: CompilerContext

irBuiltIns

open override val irBuiltIns: IrBuiltIns

moduleFragment

val moduleFragment: IrModuleFragment

pluginContext

val pluginContext: IrPluginContext

stageController

open override val stageController: StageController

typeParameter

open override val TypeVariableTypeConstructorMarker.typeParameter: TypeParameterMarker?

typeTranslator

val typeTranslator: TypeTranslator