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

接口 CubicalProblem

所有超级接口:
ExprProblem, org.aya.util.reporter.Problem
所有已知实现类:
CubicalProblem.BoundaryDisagree, CubicalProblem.DimensionMismatch, CubicalProblem.FaceMismatch
public sealed interface CubicalProblem extends ExprProblem permits CubicalProblem.DimensionMismatch, CubicalProblem.BoundaryDisagree, CubicalProblem.FaceMismatch

  • 嵌套类概要

    嵌套类
    修饰符和类型
    接口
    说明
    static final record 
    CubicalProblem.BoundaryDisagree
     
    static final record 
    CubicalProblem.DimensionMismatch
     
    static final record 
    CubicalProblem.FaceMismatch
     

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

    expr, sourcePos

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

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

  • 方法详细资料

    • level

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