Module aya.base
Package org.aya.tyck.error

Interface TyckError

All Superinterfaces:
org.aya.util.reporter.Problem
All Known Subinterfaces:
CubicalError, FieldError, PrimError, TupleError, TyckOrderError, UnifyError
All Known Implementing Classes:
BadTypeError, CounterexampleError, CubicalError.BoundaryDisagree, CubicalError.CoeVaryingType, CubicalError.FaceMismatch, FieldError.ArgMismatch, FieldError.MissingField, FieldError.NoSuchField, FieldError.UnknownField, LevelError, NobodyError, NoRuleError, PrimError.BadInterval, PrimError.NoResultType, TupleError.ElemMismatchError, TupleError.ProjIxError, TyckOrderError.CircularSignature, TyckOrderError.NotYetTyckedError, TyckOrderError.SelfReference, UnifyError.Type
public interface TyckError extends org.aya.util.reporter.Problem

  • Nested Class Summary

    Nested classes/interfaces inherited from interface org.aya.util.reporter.Problem

    org.aya.util.reporter.Problem.Severity, org.aya.util.reporter.Problem.Stage

  • Field Summary

    Fields inherited from interface org.aya.util.reporter.Problem

    ERROR, NOTE, TEXT

  • Method Summary

    Modifier and Type
    Method
    Description
    default org.aya.util.reporter.Problem.Severity
    level()
     
    default @NotNull org.aya.util.reporter.Problem.Stage
    stage()
     

    Methods inherited from interface org.aya.util.reporter.Problem

    brief, describe, hint, inlineHints, isError, sourcePos, toPrettyError

  • Method Details

    • level

      @NotNull default org.aya.util.reporter.Problem.Severity level()
      Specified by:
      level in interface org.aya.util.reporter.Problem

    • stage

      @NotNull default @NotNull org.aya.util.reporter.Problem.Stage stage()
      Specified by:
      stage in interface org.aya.util.reporter.Problem