Module aya.base
Package org.aya.resolve.context

Interface ModuleName

All Superinterfaces:
Serializable
All Known Implementing Classes:
ModuleName.Qualified, ModuleName.ThisRef
public sealed interface ModuleName extends Serializable permits ModuleName.Qualified, ModuleName.ThisRef
This interface represents a name to some module, which can be a relative `ModuleName.ThisRef` or a qualified name `ModuleName.Qualified`.

This name should be used in a local scope instead of a global scope (like a path to a module).

  • Field Details

  • Method Details

    • size

      int size()

    • ids

      @NotNull @NotNull kala.collection.immutable.ImmutableSeq<String> ids()

    • resolve

      @NotNull @NotNull ModuleName.Qualified resolve(@NotNull @NotNull String name)

    • concat

      @NotNull @NotNull ModuleName concat(@NotNull @NotNull ModuleName path)

    • toString

      @NotNull @NotNull String toString()
      Overrides:
      toString in class Object

    • from

      @NotNull static @NotNull ModuleName from(@NotNull @NotNull kala.collection.immutable.ImmutableSeq<String> ids)

    • qualified

      @NotNull static ModuleName.Qualified qualified(@NotNull @NotNull kala.collection.immutable.ImmutableSeq<String> ids)
      Construct a qualified module path from a not empty id sequence.
      Parameters:
      ids - a not empty sequence