模块 aya.base

程序包 org.aya.resolve.error

接口 NameProblem.Warn

所有超级接口:

NameProblem, org.aya.util.reporter.Problem

所有已知实现类:

NameProblem.AmbiguousNameWarn, NameProblem.ModShadowingWarn, NameProblem.ShadowingWarn

封闭接口:

NameProblem

public static interface NameProblem.Warn
extends NameProblem

嵌套类概要

从接口继承的嵌套类/接口 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

从接口继承的嵌套类/接口 org.aya.util.reporter.Problem

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

字段概要

从接口继承的字段 org.aya.util.reporter.Problem

ERROR, NOTE, TEXT

方法概要

修饰符和类型	方法	说明
default @NotNull org.aya.util.reporter.Problem.Severity	level()

从接口继承的方法 org.aya.resolve.error.NameProblem

stage

从接口继承的方法 org.aya.util.reporter.Problem

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

方法详细资料

level

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

指定者:

level 在接口中 org.aya.util.reporter.Problem