Module aya.cli.impl

Interface FaithfulPrettier

All Known Implementing Classes:
FlclFaithfulPrettier, LiterateFaithfulPrettier

public interface FaithfulPrettier
  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Interface
    Description
    static final record 
     
  • Method Summary

    Modifier and Type
    Method
    Description
    static void
    checkHighlights(@NotNull kala.collection.immutable.ImmutableSeq<HighlightInfo> highlights)
     
    default @NotNull org.aya.pretty.doc.Doc
    doHighlight(@NotNull kala.text.StringSlice raw, int base, @NotNull kala.collection.immutable.ImmutableSeq<HighlightInfo> highlights)
     
    static @NotNull kala.collection.immutable.ImmutableSeq<HighlightInfo>
    highlightsInRange(@NotNull org.aya.util.error.SourcePos codeRange, @NotNull kala.collection.immutable.ImmutableSeq<HighlightInfo> highlights)
     
    @NotNull org.aya.util.prettier.PrettierOptions
     
  • Method Details

    • options

      @NotNull @NotNull org.aya.util.prettier.PrettierOptions options()
    • checkHighlights

      static void checkHighlights(@NotNull @NotNull kala.collection.immutable.ImmutableSeq<HighlightInfo> highlights)
    • highlightsInRange

      @NotNull static @NotNull kala.collection.immutable.ImmutableSeq<HighlightInfo> highlightsInRange(@NotNull @NotNull org.aya.util.error.SourcePos codeRange, @NotNull @NotNull kala.collection.immutable.ImmutableSeq<HighlightInfo> highlights)
    • doHighlight

      @NotNull default @NotNull org.aya.pretty.doc.Doc doHighlight(@NotNull @NotNull kala.text.StringSlice raw, int base, @NotNull @NotNull kala.collection.immutable.ImmutableSeq<HighlightInfo> highlights)