Module aya.base
Package org.aya.tyck.tycker

Interface Problematic

All Known Subinterfaces:
Context, ModuleContext, ModuleLoader, Unifiable
All Known Implementing Classes:
AbstractTycker, AyaBinOpSet, AyaSccTycker, BindContext, CachedModuleLoader, ClauseTycker, DoubleChecker, DumbModuleLoader, EmptyContext, ExprTycker, FileModuleLoader, Finalizer.Zonk, ModuleListLoader, NoExportContext, PatClassifier, PatternBinParser, PatternTycker, PhysicalModuleContext, StmtTycker, TermComparator, Unifier
public interface Problematic
A Problematic is something that may have Problem
See Also:

  • Method Summary

    Modifier and Type
    Method
    Description
    default @NotNull Jdg
    fail(@NotNull org.aya.generic.AyaDocile expr, @NotNull org.aya.syntax.core.term.Term type, @NotNull org.aya.util.reporter.Problem prob)
     
    default @NotNull Jdg
    fail(@NotNull org.aya.generic.AyaDocile expr, @NotNull org.aya.util.reporter.Problem prob)
     
    default void
    fail(@NotNull org.aya.util.reporter.Problem problem)
     
    @NotNull org.aya.util.reporter.Reporter
    reporter()
     

  • Method Details

    • reporter

      @NotNull @NotNull org.aya.util.reporter.Reporter reporter()

    • fail

      @NotNull default @NotNull Jdg fail(@NotNull @NotNull org.aya.generic.AyaDocile expr, @NotNull @NotNull org.aya.util.reporter.Problem prob)

    • fail

      @NotNull default @NotNull Jdg fail(@NotNull @NotNull org.aya.generic.AyaDocile expr, @NotNull @NotNull org.aya.syntax.core.term.Term type, @NotNull @NotNull org.aya.util.reporter.Problem prob)

    • fail

      default void fail(@NotNull @NotNull org.aya.util.reporter.Problem problem)