Hierarchy For Package org.aya.concrete.error

Package Hierarchies:

• All Packages

Interface Hierarchy

• org.aya.util.reporter.Problem
  • org.aya.generic.ExprProblem
    • org.aya.concrete.error.LevelProblem
  • org.aya.concrete.error.OperatorError

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • org.aya.concrete.error.BadCounterexampleWarn (implements org.aya.util.reporter.Problem)
    • org.aya.concrete.error.BadFreezingWarn (implements org.aya.generic.ExprProblem)
    • org.aya.concrete.error.BadModifierWarn (implements org.aya.util.reporter.Problem)
    • org.aya.concrete.error.DoNotationError (implements org.aya.generic.ExprProblem)
    • org.aya.concrete.error.LevelProblem.BadLevelExpr (implements org.aya.concrete.error.LevelProblem)
    • org.aya.concrete.error.OperatorError.BadBindBlock (implements org.aya.concrete.error.OperatorError)
    • org.aya.concrete.error.OperatorError.Circular (implements org.aya.concrete.error.OperatorError)
    • org.aya.concrete.error.OperatorError.Fixity (implements org.aya.concrete.error.OperatorError)
    • org.aya.concrete.error.OperatorError.MissingOperand (implements org.aya.concrete.error.OperatorError)
    • org.aya.concrete.error.OperatorError.Precedence (implements org.aya.concrete.error.OperatorError)
    • org.aya.concrete.error.OperatorError.SelfBind (implements org.aya.concrete.error.OperatorError)
    • org.aya.concrete.error.ParseError (implements org.aya.util.reporter.Problem)