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

Interface TyckOrderError

All Superinterfaces:
org.aya.util.reporter.Problem, TyckError
All Known Implementing Classes:
TyckOrderError.CircularSignature, TyckOrderError.SelfReference
public interface TyckOrderError extends TyckError

  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Interface
    Description
    static final record 
    TyckOrderError.CircularSignature
     
    static final record 
    TyckOrderError.SelfReference
     

    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

  • Method Summary

    Modifier and Type
    Method
    Description
    default @NotNull String
    nameOf(@NotNull org.aya.generic.stmt.TyckUnit stmt)
     
    static @NotNull org.aya.util.error.Panic
    notYetTycked(@NotNull org.aya.syntax.ref.DefVar<?,?> var)
     

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

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

    Methods inherited from interface org.aya.tyck.error.TyckError

    level, stage

  • Method Details

    • nameOf

      @NotNull default @NotNull String nameOf(@NotNull @NotNull org.aya.generic.stmt.TyckUnit stmt)

    • notYetTycked

      @Contract(pure=true) @NotNull static @NotNull org.aya.util.error.Panic notYetTycked(@NotNull @NotNull org.aya.syntax.ref.DefVar<?,?> var)