arrow-analysis-kotlin-plugin/arrow.meta.plugins.analysis.phases.analysis.solver.ast.kotlin.descriptors/KotlinReceiverParameterDescriptor

KotlinReceiverParameterDescriptor

class KotlinReceiverParameterDescriptor(val impl: ReceiverParameterDescriptor) : ReceiverParameterDescriptor, KotlinParameterDescriptor

Constructors

KotlinReceiverParameterDescriptor

fun KotlinReceiverParameterDescriptor(impl: ReceiverParameterDescriptor)

Functions

abstract fun annotations(): Annotations

open fun descriptor(): KotlinDeclarationDescriptor

abstract fun element(): Element?

open override fun impl(): ReceiverParameterDescriptor

Properties

abstract val allParameters: List<ParameterDescriptor>

containingDeclaration

abstract val containingDeclaration: DeclarationDescriptor?

containingPackage

abstract val containingPackage: FqName?

dispatchReceiverParameter

abstract val dispatchReceiverParameter: ReceiverParameterDescriptor?

extensionReceiverParameter

abstract val extensionReceiverParameter: ReceiverParameterDescriptor?

abstract val fqNameSafe: FqName

hasDoNotLookAtArgumentsAnnotation

open val hasDoNotLookAtArgumentsAnnotation: Boolean

hasPackageWithLawsAnnotation

open val hasPackageWithLawsAnnotation: Boolean

hasPreOrPostAnnotation

open val hasPreOrPostAnnotation: Boolean

val impl: ReceiverParameterDescriptor

abstract val name: Name

overriddenDescriptors

abstract val overriddenDescriptors: Collection<CallableDescriptor>

packageWithLawsAnnotation

open val packageWithLawsAnnotation: AnnotationDescriptor?

abstract val returnType: Type?

abstract val type: Type

abstract val typeParameters: List<TypeParameterDescriptor>

open override val value: ReceiverValue

valueParameters

abstract val valueParameters: List<ValueParameterDescriptor>