arrow-analysis-kotlin-plugin
2.0.2-alpha.11
arrow-analysis-kotlin-plugin
/
arrow.meta.plugins.analysis.phases.analysis.solver.ast.kotlin.descriptors
/
KotlinPackageFragmentDescriptor
Kotlin
Package
Fragment
Descriptor
class
KotlinPackageFragmentDescriptor
(
impl
:
PackageFragmentDescriptor
)
:
PackageFragmentDescriptor
,
KotlinDeclarationDescriptor
Content copied to clipboard
Functions
Properties
Functions
annotations
Link copied to clipboard
abstract
fun
annotations
(
)
:
Annotations
Content copied to clipboard
element
Link copied to clipboard
abstract
fun
element
(
)
:
Element
?
Content copied to clipboard
impl
Link copied to clipboard
open
override
fun
impl
(
)
:
PackageFragmentDescriptor
Content copied to clipboard
Properties
containingDeclaration
Link copied to clipboard
abstract
val
containingDeclaration
:
DeclarationDescriptor
?
Content copied to clipboard
containingPackage
Link copied to clipboard
abstract
val
containingPackage
:
FqName
?
Content copied to clipboard
fqNameSafe
Link copied to clipboard
abstract
val
fqNameSafe
:
FqName
Content copied to clipboard
hasDoNotLookAtArgumentsAnnotation
Link copied to clipboard
open
val
hasDoNotLookAtArgumentsAnnotation
:
Boolean
Content copied to clipboard
hasPackageWithLawsAnnotation
Link copied to clipboard
open
val
hasPackageWithLawsAnnotation
:
Boolean
Content copied to clipboard
hasPreOrPostAnnotation
Link copied to clipboard
open
val
hasPreOrPostAnnotation
:
Boolean
Content copied to clipboard
impl
Link copied to clipboard
val
impl
:
PackageFragmentDescriptor
Content copied to clipboard
name
Link copied to clipboard
abstract
val
name
:
Name
Content copied to clipboard
packageWithLawsAnnotation
Link copied to clipboard
open
val
packageWithLawsAnnotation
:
AnnotationDescriptor
?
Content copied to clipboard