模块 org.aya
程序包 org.aya.generic

接口 ExprProblem

所有超级接口:
org.aya.util.reporter.Problem
所有已知子接口:
LevelProblem
所有已知实现类:
BadTypeError, FieldProblem.UnknownField, LevelProblem.BadLevelExpr, LevelProblem.BadTypeExpr, LicitProblem.LicitMismatchError, ProjIxError, UnifyError
public interface ExprProblem 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

  • 方法概要

    修饰符和类型
    方法
    说明
    @NotNull Expr
    expr()
     
    default @NotNull org.aya.util.error.SourcePos
    sourcePos()
     

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

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

  • 方法详细资料

    • expr

      @NotNull @NotNull Expr expr()

    • sourcePos

      @NotNull default @NotNull org.aya.util.error.SourcePos sourcePos()
      指定者:
      sourcePos 在接口中 org.aya.util.reporter.Problem