模块 aya.base

程序包 org.aya.resolve.error

接口 NameProblem

所有超级接口:

org.aya.util.reporter.Problem

所有已知子接口:

NameProblem.Error, NameProblem.Warn

所有已知实现类:

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

嵌套类概要

嵌套类

修饰符和类型	接口	说明
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

从接口继承的嵌套类/接口 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.Stage	stage()

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

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

方法详细资料

stage

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

指定者:

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