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

程序包分层结构:

• 所有程序包

类分层结构

• java.lang.Object
  • java.lang.Record
    • org.aya.tyck.error.AmbiguousLitError (implements org.aya.generic.ExprProblem)
    • org.aya.tyck.error.BadLiteralPatternError (implements org.aya.util.reporter.Problem)
    • org.aya.tyck.error.BadTypeError (implements org.aya.generic.ExprProblem)
    • org.aya.tyck.error.CounterexampleError (implements org.aya.util.reporter.Problem)
    • org.aya.tyck.error.CubicalProblem.BoundaryDisagree (implements org.aya.tyck.error.CubicalProblem, org.aya.tyck.error.UnifyError)
    • org.aya.tyck.error.CubicalProblem.DimensionMismatch (implements org.aya.tyck.error.CubicalProblem)
    • org.aya.tyck.error.CubicalProblem.FaceMismatch (implements org.aya.tyck.error.CubicalProblem)
    • 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.NobodyError (implements org.aya.util.reporter.Problem)
    • org.aya.tyck.error.NoRuleError (implements org.aya.generic.ExprProblem)
    • org.aya.tyck.error.NotAnIntervalError (implements org.aya.util.reporter.Problem)
    • 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.TyckOrderProblem.CircularSignatureError (implements org.aya.tyck.error.TyckOrderProblem)
    • org.aya.tyck.error.TyckOrderProblem.SelfReferenceError (implements org.aya.tyck.error.TyckOrderProblem)
    • org.aya.tyck.error.UnifyError.Type (implements org.aya.generic.ExprProblem, org.aya.tyck.error.UnifyError)

接口分层结构

• org.aya.util.reporter.Problem
  • org.aya.generic.ExprProblem
    • org.aya.tyck.error.CubicalProblem
  • 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
  • org.aya.tyck.error.TyckOrderProblem
  • org.aya.tyck.error.UnifyError