Module aya.cli.impl

Package org.aya.cli.literate

Interface HighlightInfo

All Superinterfaces:

Comparable<HighlightInfo>

All Known Implementing Classes:

HighlightInfo.Def, HighlightInfo.Err, HighlightInfo.Lit, HighlightInfo.Ref, HighlightInfo.UserMeta

public sealed interface HighlightInfo
extends Comparable<HighlightInfo>
permits HighlightInfo.Ref, HighlightInfo.Def, HighlightInfo.Err, HighlightInfo.Lit, HighlightInfo.UserMeta

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final record	HighlightInfo.Def	A definition of a symbol
static enum	HighlightInfo.DefKind
static final record	HighlightInfo.Err
static final record	HighlightInfo.Lit	A literal
static enum	HighlightInfo.LitKind
static final record	HighlightInfo.Ref	A reference to a symbol
static final record	HighlightInfo.UserMeta	Usually metavariables

Method Summary

Modifier and Type	Method	Description
default int	compareTo(@NotNull HighlightInfo o)
@NotNull org.aya.util.error.SourcePos	sourcePos()

Method Details

sourcePos

@NotNull
@NotNull org.aya.util.error.SourcePos sourcePos()

compareTo

default int compareTo(@NotNull
 @NotNull HighlightInfo o)

Specified by:

compareTo in interface Comparable<HighlightInfo>