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

KotlinPackageViewDescriptor

class KotlinPackageViewDescriptor(impl: PackageViewDescriptor) : PackageViewDescriptor, KotlinDeclarationDescriptor

Functions

annotations

abstract fun annotations(): Annotations

element

abstract fun element(): Element?

impl

open override fun impl(): PackageViewDescriptor

Properties

containingDeclaration

abstract val containingDeclaration: DeclarationDescriptor?

containingPackage

abstract val containingPackage: FqName?

fqName

open override val fqName: FqName

fqNameSafe

abstract val fqNameSafe: FqName

hasDoNotLookAtArgumentsAnnotation

open val hasDoNotLookAtArgumentsAnnotation: Boolean

hasPackageWithLawsAnnotation

open val hasPackageWithLawsAnnotation: Boolean

hasPreOrPostAnnotation

open val hasPreOrPostAnnotation: Boolean

impl

val impl: PackageViewDescriptor

memberScope

open override val memberScope: MemberScope

name

abstract val name: Name

packageWithLawsAnnotation

open val packageWithLawsAnnotation: AnnotationDescriptor?