模块 org.aya

程序包 org.aya.resolve.error

接口 ResolveProblem

所有超级接口:

org.aya.util.reporter.Problem

所有已知实现类:

AmbiguousNameError, AmbiguousNameWarn, DuplicateExportError, DuplicateModNameError, DuplicateNameError, GeneralizedNotAvailableError, ModNameNotFoundError, ModNotFoundError, ModShadowingWarn, PrimDependencyError, QualifiedNameNotFoundError, ShadowingWarn, UnknownOperatorError, UnqualifiedNameNotFoundError

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

嵌套类概要

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