Module aya.cli.impl

Package org.aya.cli.literate

Interface AttrWarn

All Superinterfaces:

org.aya.util.reporter.Problem

All Known Implementing Classes:

AttrWarn.UnknownKey, AttrWarn.UnknownValue

public interface AttrWarn
extends org.aya.util.reporter.Problem

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final record	AttrWarn.UnknownKey
static final record	AttrWarn.UnknownValue

Nested classes/interfaces inherited from interface org.aya.util.reporter.Problem

org.aya.util.reporter.Problem.Severity, org.aya.util.reporter.Problem.Stage

Field Summary

Fields inherited from interface org.aya.util.reporter.Problem

ERROR, NOTE

Method Summary

Modifier and Type	Method	Description
default @NotNull org.aya.util.reporter.Problem.Severity	level()

Methods inherited from interface org.aya.util.reporter.Problem

brief, describe, hint, inlineHints, isError, sourcePos, stage, toPrettyError

Method Details

level

@NotNull
default @NotNull org.aya.util.reporter.Problem.Severity level()

Specified by:

level in interface org.aya.util.reporter.Problem