模块 aya.base

程序包 org.aya.tyck.error

接口 TyckOrderError

所有超级接口:

org.aya.util.reporter.Problem, TyckError

所有已知实现类:

TyckOrderError.CircularSignature, TyckOrderError.NotYetTyckedError, TyckOrderError.SelfReference

public interface TyckOrderError
extends TyckError

嵌套类概要

嵌套类

修饰符和类型	接口	说明
static final record	TyckOrderError.CircularSignature
static final record	TyckOrderError.NotYetTyckedError
static final record	TyckOrderError.SelfReference

从接口继承的嵌套类/接口 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 String	nameOf(@NotNull TyckUnit stmt)

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

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

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

level, stage

方法详细资料

nameOf

@NotNull
default @NotNull String nameOf(@NotNull
 @NotNull TyckUnit stmt)