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

KotlinModuleDescriptor

class KotlinModuleDescriptor(val impl: ModuleDescriptor) : ModuleDescriptor, KotlinDeclarationDescriptor

Constructors

KotlinModuleDescriptor

fun KotlinModuleDescriptor(impl: ModuleDescriptor)

Functions

abstract fun annotations(): Annotations

abstract fun element(): Element?

open override fun getPackage(pck: String): PackageViewDescriptor

getSubPackagesOf

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

open override fun impl(): ModuleDescriptor

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: ModuleDescriptor

abstract val name: Name

packageWithLawsAnnotation

open val packageWithLawsAnnotation: AnnotationDescriptor?

open override val stableName: Name?