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

Class TracedTycker

java.lang.Object
org.aya.tyck.tycker.TracedTycker
Direct Known Subclasses:
StatedTycker, StmtTycker
public abstract sealed class TracedTycker extends Object permits StmtTycker, StatedTycker
This is the base-base class of a tycker. It has the error reporting functionality and the tracing stuffs.
See Also:

  • Field Details

    • reporter

      @NotNull public final @NotNull org.aya.util.reporter.Reporter reporter

    • traceBuilder

      @Nullable public final Trace.Builder traceBuilder

  • Constructor Details

    • TracedTycker

      protected TracedTycker(@NotNull @NotNull org.aya.util.reporter.Reporter reporter, @Nullable Trace.Builder traceBuilder)

  • Method Details

    • tracing

      public void tracing(@NotNull @NotNull Consumer<@NotNull Trace.Builder> consumer)

    • traced

      public <R> R traced(@NotNull @NotNull Supplier<@NotNull Trace> trace, @NotNull @NotNull Supplier<R> computation)

    • fail

      @NotNull protected final @NotNull Result fail(@NotNull @NotNull AyaDocile expr, @NotNull @NotNull org.aya.util.reporter.Problem prob)

    • fail

      @NotNull protected final @NotNull Result fail(@NotNull @NotNull AyaDocile expr, @NotNull @NotNull Term term, @NotNull @NotNull org.aya.util.reporter.Problem prob)

    • newTycker

      @NotNull public @NotNull ExprTycker newTycker(@NotNull PrimDef.Factory primFactory, @NotNull AyaShape.Factory literalShapes)