Module aya.base

Class ConcreteDistiller

java.lang.Object
org.aya.distill.BaseDistiller<Expr>
org.aya.distill.ConcreteDistiller

public class ConcreteDistiller extends BaseDistiller<Expr>
See Also:
  • Constructor Details

    • ConcreteDistiller

      public ConcreteDistiller(@NotNull @NotNull org.aya.util.distill.DistillerOptions options)
  • Method Details

    • term

      @NotNull public @NotNull org.aya.pretty.doc.Doc term(@NotNull @NotNull BaseDistiller.Outer outer, @NotNull @NotNull Expr prexpr)
      Specified by:
      term in class BaseDistiller<Expr>
    • pattern

      @NotNull public @NotNull org.aya.pretty.doc.Doc pattern(@NotNull @NotNull org.aya.util.Arg<Pattern> pattern, BaseDistiller.Outer outer)
    • pattern

      @NotNull public @NotNull org.aya.pretty.doc.Doc pattern(@NotNull @NotNull Pattern pattern, boolean licit, BaseDistiller.Outer outer)
    • matchy

      public org.aya.pretty.doc.Doc matchy(@NotNull Pattern.Clause match)
    • stmt

      @NotNull public @NotNull org.aya.pretty.doc.Doc stmt(@NotNull @NotNull Stmt prestmt)
    • decl

      @NotNull public @NotNull org.aya.pretty.doc.Doc decl(@NotNull @NotNull Decl predecl)
    • visitDoBinding

      @NotNull public @NotNull org.aya.pretty.doc.Doc visitDoBinding(@NotNull Expr.DoBind doBind)
      This function assumed that doBind.var() is not LocalVar.IGNORED
    • visitPersonality

      @NotNull public @NotNull org.aya.pretty.doc.Doc visitPersonality(@NotNull Decl.Personality personality)
    • visitBindBlock

      public org.aya.pretty.doc.Doc visitBindBlock(@NotNull @NotNull BindBlock bindBlock)