模块 aya.base
程序包 org.aya.tyck.error

接口 LicitError

所有超级接口:
org.aya.util.reporter.Problem
所有已知实现类:
LicitError.LicitMismatch, LicitError.UnexpectedImplicitArg
public sealed interface LicitError extends org.aya.util.reporter.Problem permits LicitError.LicitMismatch, LicitError.UnexpectedImplicitArg

  • 嵌套类概要

    嵌套类
    修饰符和类型
    接口
    说明
    static final record 
    LicitError.LicitMismatch
     
    static final record 
    LicitError.UnexpectedImplicitArg
     

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

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

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

  • 方法详细资料

    • level

      @NotNull default @NotNull 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