Interface Hierarchy
- org.aya.util.reporter.Problem
- org.aya.generic.ExprProblem
- org.aya.concrete.error.LevelProblem
- org.aya.concrete.error.OperatorError
- org.aya.generic.ExprProblem
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)
- java.lang.Record