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

接口 TupleProblem

所有超级接口:
org.aya.util.reporter.Problem
所有已知实现类:
TupleProblem.ElemMismatchError
public sealed interface TupleProblem extends org.aya.util.reporter.Problem permits TupleProblem.ElemMismatchError

  • 嵌套类概要

    嵌套类
    修饰符和类型
    接口
    说明
    static final record 
    TupleProblem.ElemMismatchError
     

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

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

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

  • 方法详细资料

    • level

      @NotNull default @NotNull org.aya.util.reporter.Problem.Severity level()
      指定者:
      level 在接口中 org.aya.util.reporter.Problem