模块 org.aya
程序包 org.aya.tyck.trace

类 MdUnicodeTrace

java.lang.Object
org.aya.tyck.trace.MdUnicodeTrace
所有已实现的接口:
Trace.Visitor<kala.tuple.Unit,org.aya.pretty.doc.Doc>
public class MdUnicodeTrace extends Object implements Trace.Visitor<kala.tuple.Unit,org.aya.pretty.doc.Doc>

  • 字段详细资料

    • indent

      public final int indent

    • options

      @NotNull public final @NotNull org.aya.util.distill.DistillerOptions options

    • plus

      @NotNull public static final @NotNull org.aya.pretty.doc.Doc plus

    • colon

      @NotNull public static final @NotNull org.aya.pretty.doc.Doc colon

  • 构造器详细资料

    • MdUnicodeTrace

      public MdUnicodeTrace(int indent, @NotNull @NotNull org.aya.util.distill.DistillerOptions options)

    • MdUnicodeTrace

      public MdUnicodeTrace()

  • 方法详细资料

    • visitDecl

      public org.aya.pretty.doc.Doc visitDecl(@NotNull Trace.DeclT t, kala.tuple.Unit unit)
      指定者:
      visitDecl 在接口中 Trace.Visitor<kala.tuple.Unit,org.aya.pretty.doc.Doc>

    • visitExpr

      public org.aya.pretty.doc.Doc visitExpr(@NotNull Trace.ExprT t, kala.tuple.Unit unit)
      指定者:
      visitExpr 在接口中 Trace.Visitor<kala.tuple.Unit,org.aya.pretty.doc.Doc>

    • visitUnify

      public org.aya.pretty.doc.Doc visitUnify(@NotNull Trace.UnifyT t, kala.tuple.Unit unit)
      指定者:
      visitUnify 在接口中 Trace.Visitor<kala.tuple.Unit,org.aya.pretty.doc.Doc>

    • visitTyck

      public org.aya.pretty.doc.Doc visitTyck(@NotNull Trace.TyckT t, kala.tuple.Unit unit)
      指定者:
      visitTyck 在接口中 Trace.Visitor<kala.tuple.Unit,org.aya.pretty.doc.Doc>

    • visitPat

      public org.aya.pretty.doc.Doc visitPat(@NotNull Trace.PatT t, kala.tuple.Unit unit)
      指定者:
      visitPat 在接口中 Trace.Visitor<kala.tuple.Unit,org.aya.pretty.doc.Doc>

    • visitLabel

      public org.aya.pretty.doc.Doc visitLabel(@NotNull Trace.LabelT t, kala.tuple.Unit unit)
      指定者:
      visitLabel 在接口中 Trace.Visitor<kala.tuple.Unit,org.aya.pretty.doc.Doc>

    • docify

      @NotNull public @NotNull org.aya.pretty.doc.Doc docify(@NotNull Trace.Builder traceBuilder)