Module aya.base

Package org.aya.resolve.error

Interface NameProblem.Warn

All Superinterfaces:

NameProblem, org.aya.util.reporter.Problem

All Known Implementing Classes:

NameProblem.AmbiguousNameWarn, NameProblem.ModShadowingWarn, NameProblem.ShadowingWarn

Enclosing interface:

NameProblem

public static interface NameProblem.Warn
extends NameProblem

Nested Class Summary

Nested classes/interfaces inherited from interface org.aya.resolve.error.NameProblem

NameProblem.AmbiguousNameError, NameProblem.AmbiguousNameWarn, NameProblem.DuplicateExportError, NameProblem.DuplicateModNameError, NameProblem.DuplicateNameError, NameProblem.Error, NameProblem.ModNameNotFoundError, NameProblem.ModNotFoundError, NameProblem.ModShadowingWarn, NameProblem.OperatorNameNotFound, NameProblem.QualifiedNameNotFoundError, NameProblem.ShadowingWarn, NameProblem.UnqualifiedNameNotFoundError, 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.Severity	level()

Methods inherited from interface org.aya.resolve.error.NameProblem

stage

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

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

Method Details

level

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

Specified by:

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