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

KotlinDefaultDeclarationDescriptor

class KotlinDefaultDeclarationDescriptor(impl: DeclarationDescriptor) : KotlinDeclarationDescriptor

Functions

open override fun annotations(): Annotations

open override fun element(): Element?

open override fun impl(): DeclarationDescriptor

Properties

containingDeclaration

open override val containingDeclaration: DeclarationDescriptor?

containingPackage

open override val containingPackage: FqName?

open override val fqNameSafe: FqName

hasDoNotLookAtArgumentsAnnotation

open val hasDoNotLookAtArgumentsAnnotation: Boolean

hasPackageWithLawsAnnotation

open val hasPackageWithLawsAnnotation: Boolean

hasPreOrPostAnnotation

open val hasPreOrPostAnnotation: Boolean

val impl: DeclarationDescriptor

open override val name: Name

packageWithLawsAnnotation

open val packageWithLawsAnnotation: AnnotationDescriptor?