模块 aya.base

程序包 org.aya.tyck.error

接口 TyckError

所有超级接口:

org.aya.util.reporter.Problem

所有已知子接口:

CubicalError, FieldError, LiteralError, PrimError, TupleError, TyckOrderError, UnifyError

所有已知实现类:

BadTypeError, CounterexampleError, CubicalError.BoundaryDisagree, CubicalError.FaceMismatch, FieldError.ArgMismatch, FieldError.MissingField, FieldError.NoSuchField, FieldError.UnknownField, LevelError, LiteralError.AmbiguousLit, LiteralError.BadLitPattern, NobodyError, NoRuleError, PrimError.BadInterval, PrimError.NoResultType, TupleError.ElemMismatchError, TupleError.ProjIxError, TyckOrderError.CircularSignature, TyckOrderError.NotYetTyckedError, TyckOrderError.SelfReference, UnifyError.Type

public interface TyckError
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 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