Module aya.base

Interface LevelProblem

All Superinterfaces:
ExprProblem, org.aya.util.reporter.Problem
All Known Implementing Classes:
LevelProblem.BadLevelExpr

public sealed interface LevelProblem extends ExprProblem permits LevelProblem.BadLevelExpr
  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Interface
    Description
    static final record 
     

    Nested classes/interfaces inherited from interface org.aya.util.reporter.Problem

    org.aya.util.reporter.Problem.Severity, org.aya.util.reporter.Problem.Stage
  • Field Summary

    Fields inherited from interface org.aya.util.reporter.Problem

    ERROR, NOTE, TEXT
  • Method Summary

    Modifier and Type
    Method
    Description
    default @NotNull org.aya.util.reporter.Problem.Severity
     

    Methods inherited from interface org.aya.generic.ExprProblem

    expr, sourcePos

    Methods inherited from interface org.aya.util.reporter.Problem

    brief, describe, hint, inlineHints, isError, stage, toPrettyError
  • Method Details

    • level

      @NotNull default @NotNull org.aya.util.reporter.Problem.Severity level()
      Specified by:
      level in interface org.aya.util.reporter.Problem