Module aya.ide
Package org.aya.ide

Interface Resolver

public interface Resolver

  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Interface
    Description
    static final record 
    Resolver.UsageResolver
    This class finds usages of a variable.
    static final record 
    Resolver.XYResolver
    In short, this class resolves cursor position to PsiNameIdentifierOwner or PsiNamedElement.

  • Method Summary

    Static Methods
    Modifier and Type
    Method
    Description
    static @NotNull kala.control.Option<@NotNull org.aya.core.def.GenericDef>
    resolveDef(@NotNull org.aya.cli.library.source.LibraryOwner owner, @NotNull kala.collection.immutable.ImmutableSeq<String> module, @NotNull String name)
    resolve a symbol by its qualified name in the whole library
    static @NotNull kala.control.Option<org.aya.cli.library.source.LibrarySource>
    resolveModule(@NotNull kala.collection.SeqView<org.aya.cli.library.source.LibraryOwner> owners, @NotNull kala.collection.immutable.ImmutableSeq<String> module)
    resolve a top-level module by its qualified name
    static @NotNull kala.control.Option<org.aya.cli.library.source.LibrarySource>
    resolveModule(@NotNull org.aya.cli.library.source.LibraryOwner owner, @NotNull kala.collection.immutable.ImmutableSeq<String> module)
    resolve a top-level module by its qualified name
    static @NotNull kala.collection.SeqView<org.aya.util.error.WithPos<@NotNull org.aya.ref.AnyVar>>
    resolveVar(@NotNull org.aya.cli.library.source.LibrarySource source, XY xy)
    resolve the position to its referring target
    static @NotNull kala.collection.SeqView<org.aya.ref.DefVar<?,?>>
    withChildren(@NotNull org.aya.concrete.stmt.decl.Decl def)
     

  • Method Details

    • resolveDef

      @NotNull static @NotNull kala.control.Option<@NotNull org.aya.core.def.GenericDef> resolveDef(@NotNull @NotNull org.aya.cli.library.source.LibraryOwner owner, @NotNull @NotNull kala.collection.immutable.ImmutableSeq<String> module, @NotNull @NotNull String name)
      resolve a symbol by its qualified name in the whole library

    • resolveVar

      @NotNull static @NotNull kala.collection.SeqView<org.aya.util.error.WithPos<@NotNull org.aya.ref.AnyVar>> resolveVar(@NotNull @NotNull org.aya.cli.library.source.LibrarySource source, XY xy)
      resolve the position to its referring target

    • withChildren

      @NotNull static @NotNull kala.collection.SeqView<org.aya.ref.DefVar<?,?>> withChildren(@NotNull @NotNull org.aya.concrete.stmt.decl.Decl def)

    • resolveModule

      @NotNull static @NotNull kala.control.Option<org.aya.cli.library.source.LibrarySource> resolveModule(@NotNull @NotNull org.aya.cli.library.source.LibraryOwner owner, @NotNull @NotNull kala.collection.immutable.ImmutableSeq<String> module)
      resolve a top-level module by its qualified name

    • resolveModule

      @NotNull static @NotNull kala.control.Option<org.aya.cli.library.source.LibrarySource> resolveModule(@NotNull @NotNull kala.collection.SeqView<org.aya.cli.library.source.LibraryOwner> owners, @NotNull @NotNull kala.collection.immutable.ImmutableSeq<String> module)
      resolve a top-level module by its qualified name