Module aya.base
Package org.aya.tyck.trace

Class MarkdownTrace

java.lang.Object
org.aya.tyck.trace.MarkdownTrace
public class MarkdownTrace extends Object

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    static final @NotNull org.aya.pretty.doc.Doc
    colon
     
    final int
    indent
     
    final @NotNull org.aya.util.distill.DistillerOptions
    options
     
    static final @NotNull org.aya.pretty.doc.Doc
    plus
     

  • Constructor Summary

    Constructors
    Constructor
    Description
    MarkdownTrace()
     
    MarkdownTrace(int indent, @NotNull org.aya.util.distill.DistillerOptions options, boolean asciiOnly)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    @NotNull org.aya.pretty.doc.Doc
    docify(@NotNull Trace trace)
     
    @NotNull org.aya.pretty.doc.Doc
    docify(@NotNull Trace.Builder traceBuilder)
     

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

  • Field Details

    • 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

  • Constructor Details

    • MarkdownTrace

      public MarkdownTrace(int indent, @NotNull @NotNull org.aya.util.distill.DistillerOptions options, boolean asciiOnly)

    • MarkdownTrace

      public MarkdownTrace()

  • Method Details

    • docify

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

    • docify

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