模块 aya.base

程序包 org.aya.tyck.error

接口 HoleProblem

所有超级接口:

org.aya.util.reporter.Problem

所有已知实现类:

HoleProblem.BadlyScopedError, HoleProblem.BadSpineError, HoleProblem.RecursionError

public sealed interface HoleProblem
extends org.aya.util.reporter.Problem
permits HoleProblem.BadSpineError, HoleProblem.BadlyScopedError, HoleProblem.RecursionError

嵌套类概要

嵌套类

修饰符和类型	接口	说明
static final record	HoleProblem.BadlyScopedError
static final record	HoleProblem.BadSpineError
static final record	HoleProblem.CannotFindGeneralSolution
static final record	HoleProblem.RecursionError

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

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

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

方法详细资料

term

@NotNull
CallTerm.Hole term()

level

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

指定者:

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