Module aya.cli.impl

Package org.aya.cli.literate

Interface FaithfulPrettier

All Known Implementing Classes:

FlclFaithfulPrettier, LiterateFaithfulPrettier

public interface FaithfulPrettier

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final record	FaithfulPrettier.KnifeCut

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<? extends 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	options()

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<? extends HighlightInfo> highlights)