模块 aya.base

程序包 org.aya.concrete.error

接口 OperatorError

所有超级接口:

org.aya.util.reporter.Problem

所有已知实现类:

OperatorError.BadBindBlock, OperatorError.Circular, OperatorError.Fixity, OperatorError.Precedence, OperatorError.SelfBind

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

嵌套类概要

嵌套类

修饰符和类型	接口	说明
static final record	OperatorError.BadBindBlock
static final record	OperatorError.Circular
static final record	OperatorError.Fixity
static final record	OperatorError.Precedence
static final record	OperatorError.SelfBind

从接口继承的嵌套类/接口 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 org.aya.util.reporter.Problem.Severity	level()
default @NotNull org.aya.util.reporter.Problem.Stage	stage()

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

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

方法详细资料

level

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

指定者:

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

stage

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

指定者:

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