Module aya.base
Package org.aya.concrete.error

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 
    LevelProblem.BadLevelExpr
     

    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
    level()
     

    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