Module aya.pretty
Package org.aya.pretty.doc

Interface Link

All Superinterfaces:
Serializable
All Known Implementing Classes:
Link.CrossLink, Link.DirectLink, Link.LocalId
public sealed interface Link extends Serializable permits Link.LocalId, Link.DirectLink, Link.CrossLink

  • Method Details

    • page

      @NotNull static @NotNull Link page(@NotNull @NotNull String link)

    • cross

      @NotNull static @NotNull Link cross(@NotNull @NotNull kala.collection.immutable.ImmutableSeq<String> path, @Nullable @Nullable Link.LocalId location)

    • loc

      @NotNull static @NotNull Link.LocalId loc(@NotNull @NotNull String where)

    • loc

      @NotNull static @NotNull Link.LocalId loc(int where)