arrow-analysis-common/arrow.meta.plugins.analysis.phases.analysis.solver.ast.context.descriptors/DeclarationDescriptor

DeclarationDescriptor

interface DeclarationDescriptor : Named, Annotated

Functions

annotations

abstract fun annotations(): Annotations

element

abstract fun element(): Element?

impl

abstract fun impl(): Any

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

name

abstract val name: Name

packageWithLawsAnnotation

open val packageWithLawsAnnotation: AnnotationDescriptor?

Inheritors

CallableDescriptor

ClassDescriptor

DeclarationDescriptorWithVisibility

MemberDescriptor

ModuleDescriptor

PackageFragmentDescriptor

PackageViewDescriptor

Extensions

gather

fun DeclarationDescriptor.gather(predicate: (DeclarationDescriptor) -> Boolean): List<DeclarationDescriptor>

Gather all descriptors which satisfy a predicate, going inside every element recursively.

isALaw

fun DeclarationDescriptor.isALaw(): Boolean

returns true if we have declared something with a @Law or lives inside an object that inherits Laws

isCompatibleWith

fun DeclarationDescriptor.isCompatibleWith(other: DeclarationDescriptor): Boolean

check if a descriptor is compatible with other, in the sense that they refer to a function with the same signature

isField

fun DeclarationDescriptor.isField(): Boolean

should we treat a node as a field and create 'field(name, x)'?

isLooselyCompatibleWith

fun DeclarationDescriptor.isLooselyCompatibleWith(other: DeclarationDescriptor): Boolean

check if a descriptor is compatible with other, in the sense that the arguments are (possibly) supertypes

overriddenDescriptors

fun DeclarationDescriptor.overriddenDescriptors(): Collection<DeclarationDescriptor>?

Obtain the descriptors which have been overridden by a declaration, if they exist

withAliasUnwrapped

val DeclarationDescriptor.withAliasUnwrapped: DeclarationDescriptor

Removes the indirection from type aliases in a descriptor.