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

Interface OperatorError

All Superinterfaces:
org.aya.util.reporter.Problem
All Known Implementing Classes:
OperatorError.BadBindBlock, OperatorError.Circular, OperatorError.Fixity, OperatorError.MissingOperand, OperatorError.Precedence, OperatorError.SelfBind
public interface OperatorError extends org.aya.util.reporter.Problem

  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Interface
    Description
    static final record 
    OperatorError.BadBindBlock
     
    static final record 
    OperatorError.Circular
     
    static final record 
    OperatorError.Fixity
     
    static final record 
    OperatorError.MissingOperand
     
    static final record 
    OperatorError.Precedence
     
    static final record 
    OperatorError.SelfBind
     

    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 org.aya.util.reporter.Problem.Severity
    level()
     
    default @NotNull org.aya.util.reporter.Problem.Stage
    stage()
     

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

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

  • Method Details

    • level

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

    • stage

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