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

KotlinVariableDescriptorWithAccessors

abstract class KotlinVariableDescriptorWithAccessors(impl: VariableDescriptorWithAccessors) : KotlinVariableDescriptor, VariableDescriptorWithAccessors

Functions

abstract fun annotations(): Annotations

open fun descriptor(): KotlinDeclarationDescriptor

abstract fun element(): Element?

open override fun impl(): VariableDescriptorWithAccessors

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

open override val getter: VariableAccessorDescriptor?

hasDoNotLookAtArgumentsAnnotation

open val hasDoNotLookAtArgumentsAnnotation: Boolean

hasPackageWithLawsAnnotation

open val hasPackageWithLawsAnnotation: Boolean

hasPreOrPostAnnotation

open val hasPreOrPostAnnotation: Boolean

open override val impl: VariableDescriptorWithAccessors

abstract val isConst: Boolean

open override val isDelegated: Boolean

abstract val isLateInit: Boolean

abstract val isVar: Boolean

abstract val name: Name

overriddenDescriptors

abstract val overriddenDescriptors: Collection<CallableDescriptor>

packageWithLawsAnnotation

open val packageWithLawsAnnotation: AnnotationDescriptor?

abstract val returnType: Type?

open override val setter: VariableAccessorDescriptor?

abstract val type: Type

abstract val typeParameters: List<TypeParameterDescriptor>

valueParameters

abstract val valueParameters: List<ValueParameterDescriptor>

Inheritors

KotlinPropertyDescriptor