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

KotlinDefaultDeclarationDescriptorWithVisibility

class KotlinDefaultDeclarationDescriptorWithVisibility(val impl: DeclarationDescriptorWithVisibility) : KotlinDeclarationDescriptorWithVisibility

Constructors

KotlinDefaultDeclarationDescriptorWithVisibility

fun KotlinDefaultDeclarationDescriptorWithVisibility(impl: DeclarationDescriptorWithVisibility)

Functions

abstract fun annotations(): Annotations

abstract fun element(): Element?

open override fun impl(): DeclarationDescriptorWithVisibility

Properties

containingDeclaration

abstract val containingDeclaration: DeclarationDescriptor?

containingPackage

abstract val containingPackage: FqName?

abstract val fqNameSafe: FqName

hasDoNotLookAtArgumentsAnnotation

open val hasDoNotLookAtArgumentsAnnotation: Boolean

hasPackageWithLawsAnnotation

open val hasPackageWithLawsAnnotation: Boolean

hasPreOrPostAnnotation

open val hasPreOrPostAnnotation: Boolean

val impl: DeclarationDescriptorWithVisibility

abstract val name: Name

packageWithLawsAnnotation

open val packageWithLawsAnnotation: AnnotationDescriptor?

open override val visibility: Visibility