模块 aya.base

程序包 org.aya.tyck.error

接口 FieldError

所有超级接口:

org.aya.util.reporter.Problem, TyckError

所有已知实现类:

FieldError.ArgMismatch, FieldError.MissingField, FieldError.NoSuchField, FieldError.UnknownField

public sealed interface FieldError
extends TyckError
permits FieldError.MissingField, FieldError.NoSuchField, FieldError.UnknownField, FieldError.ArgMismatch

嵌套类概要

嵌套类

修饰符和类型	接口	说明
static final record	FieldError.ArgMismatch
static final record	FieldError.MissingField
static final record	FieldError.NoSuchField
static final record	FieldError.UnknownField

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

方法概要

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

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

从接口继承的方法 org.aya.tyck.error.TyckError

level, stage