Module aya.base

Package org.aya.resolve.error

Interface NameProblem

All Superinterfaces:

org.aya.util.reporter.Problem

All Known Subinterfaces:

NameProblem.Error, NameProblem.Warn

All Known Implementing Classes:

NameProblem.AmbiguousNameError, NameProblem.AmbiguousNameWarn, NameProblem.DuplicateExportError, NameProblem.DuplicateModNameError, NameProblem.DuplicateNameError, NameProblem.ModNameNotFoundError, NameProblem.ModNotFoundError, NameProblem.ModShadowingWarn, NameProblem.OperatorNameNotFound, NameProblem.QualifiedNameNotFoundError, NameProblem.ShadowingWarn, NameProblem.UnqualifiedNameNotFoundError

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

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final record	NameProblem.AmbiguousNameError
static final record	NameProblem.AmbiguousNameWarn
static final record	NameProblem.DuplicateExportError
static final record	NameProblem.DuplicateModNameError
static final record	NameProblem.DuplicateNameError
static interface	NameProblem.Error
static final record	NameProblem.ModNameNotFoundError
static final record	NameProblem.ModNotFoundError
static final record	NameProblem.ModShadowingWarn
static final record	NameProblem.OperatorNameNotFound
static final record	NameProblem.QualifiedNameNotFoundError
static final record	NameProblem.ShadowingWarn
static final record	NameProblem.UnqualifiedNameNotFoundError
static interface	NameProblem.Warn

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, TEXT

Method Summary

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

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

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

Method Details

stage

@NotNull
default @NotNull org.aya.util.reporter.Problem.Stage stage()

Specified by:

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