程序包org.aya.concrete.error的分层结构

程序包分层结构:

• 所有程序包

类分层结构

• java.lang.Object
  • org.aya.concrete.error.OperatorProblem
  • java.lang.Record
    • org.aya.concrete.error.BadCounterexampleWarn (implements org.aya.util.reporter.Problem)
    • org.aya.concrete.error.BadModifierWarn (implements org.aya.util.reporter.Problem)
    • org.aya.concrete.error.LevelProblem.BadLevelExpr (implements org.aya.concrete.error.LevelProblem)
    • org.aya.concrete.error.LevelProblem.BadTypeExpr (implements org.aya.concrete.error.LevelProblem)
    • org.aya.concrete.error.OperatorProblem.AmbiguousPredError (implements org.aya.util.reporter.Problem)
    • org.aya.concrete.error.OperatorProblem.BindSelfError (implements org.aya.util.reporter.Problem)
    • org.aya.concrete.error.OperatorProblem.Circular (implements org.aya.util.reporter.Problem)
    • org.aya.concrete.error.OperatorProblem.FixityError (implements org.aya.util.reporter.Problem)
    • org.aya.concrete.error.OperatorProblem.NotOperator (implements org.aya.util.reporter.Problem)
    • org.aya.concrete.error.ParseError (implements org.aya.util.reporter.Problem)

接口分层结构

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