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

程序包分层结构:

• 所有程序包

类分层结构

• java.lang.Object
  • java.lang.Record
    • org.aya.tyck.error.BadTypeError (implements org.aya.generic.ExprProblem)
    • org.aya.tyck.error.CircularSignatureError (implements org.aya.util.reporter.Problem)
    • org.aya.tyck.error.CounterexampleError (implements org.aya.util.reporter.Problem)
    • org.aya.tyck.error.FieldProblem.ArgMismatchError (implements org.aya.tyck.error.FieldProblem)
    • org.aya.tyck.error.FieldProblem.MissingFieldError (implements org.aya.tyck.error.FieldProblem)
    • org.aya.tyck.error.FieldProblem.NoSuchFieldError (implements org.aya.tyck.error.FieldProblem)
    • org.aya.tyck.error.FieldProblem.UnknownField (implements org.aya.generic.ExprProblem, org.aya.tyck.error.FieldProblem)
    • org.aya.tyck.error.Goal (implements org.aya.util.reporter.Problem)
    • org.aya.tyck.error.HoleProblem.BadlyScopedError (implements org.aya.tyck.error.HoleProblem)
    • org.aya.tyck.error.HoleProblem.BadSpineError (implements org.aya.tyck.error.HoleProblem)
    • org.aya.tyck.error.HoleProblem.CannotFindGeneralSolution (implements org.aya.util.reporter.Problem)
    • org.aya.tyck.error.HoleProblem.RecursionError (implements org.aya.tyck.error.HoleProblem)
    • org.aya.tyck.error.LevelError (implements org.aya.util.reporter.Problem)
    • org.aya.tyck.error.LicitProblem.LicitMismatchError (implements org.aya.generic.ExprProblem, org.aya.tyck.error.LicitProblem)
    • org.aya.tyck.error.LicitProblem.UnexpectedImplicitArgError (implements org.aya.tyck.error.LicitProblem)
    • org.aya.tyck.error.NotYetTyckedError (implements org.aya.util.reporter.Problem)
    • org.aya.tyck.error.PrimProblem.NoResultTypeError (implements org.aya.tyck.error.PrimProblem)
    • org.aya.tyck.error.ProjIxError (implements org.aya.generic.ExprProblem)
    • org.aya.tyck.error.TupleProblem.ElemMismatchError (implements org.aya.tyck.error.TupleProblem)
    • org.aya.tyck.error.UnifyError (implements org.aya.generic.ExprProblem)

接口分层结构

• org.aya.util.reporter.Problem
  • org.aya.tyck.error.FieldProblem
  • org.aya.tyck.error.HoleProblem
  • org.aya.tyck.error.LicitProblem
  • org.aya.tyck.error.PrimProblem
  • org.aya.tyck.error.TupleProblem