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

KotlinModuleDescriptor

class KotlinModuleDescriptor(impl: ModuleDescriptor) : ModuleDescriptor, KotlinDeclarationDescriptor

Functions

annotations

abstract fun annotations(): Annotations

element

abstract fun element(): Element?

getPackage

open override fun getPackage(pck: String): PackageViewDescriptor?

getSubPackagesOf

open override fun getSubPackagesOf(fqName: FqName): List<FqName>

impl

open override fun impl(): ModuleDescriptor

Properties

containingDeclaration

abstract val containingDeclaration: DeclarationDescriptor?

containingPackage

abstract val containingPackage: FqName?

fqNameSafe

abstract val fqNameSafe: FqName

hasDoNotLookAtArgumentsAnnotation

open val hasDoNotLookAtArgumentsAnnotation: Boolean

hasPackageWithLawsAnnotation

open val hasPackageWithLawsAnnotation: Boolean

hasPreOrPostAnnotation

open val hasPreOrPostAnnotation: Boolean

impl

val impl: ModuleDescriptor

name

abstract val name: Name

packageWithLawsAnnotation

open val packageWithLawsAnnotation: AnnotationDescriptor?

stableName

open override val stableName: Name?