Module aya.base
Package org.aya.generic

Interface ExprProblem

All Superinterfaces:
org.aya.util.reporter.Problem
All Known Subinterfaces:
CubicalError, LevelProblem
All Known Implementing Classes:
BadFreezingWarn, BadTypeError, CubicalError.BoundaryDisagree, CubicalError.CoeVaryingType, CubicalError.FaceMismatch, DoNotationError, LevelProblem.BadLevelExpr, LicitError.LicitMismatch, NoRuleError, TupleError.ProjIxError, UnifyError.Type
public interface ExprProblem 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
    @NotNull Expr
    expr()
     
    default @NotNull org.aya.util.error.SourcePos
    sourcePos()
     

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

    brief, describe, hint, inlineHints, isError, level, stage, toPrettyError

  • Method Details

    • expr

      @NotNull @NotNull Expr expr()

    • sourcePos

      @NotNull default @NotNull org.aya.util.error.SourcePos sourcePos()
      Specified by:
      sourcePos in interface org.aya.util.reporter.Problem