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

Class Trace.Builder

java.lang.Object
org.aya.util.TreeBuilder<Trace>
org.aya.tyck.trace.Trace.Builder
Enclosing interface:
Trace
public static final class Trace.Builder extends org.aya.util.TreeBuilder<Trace>

  • Nested Class Summary

    Nested classes/interfaces inherited from class org.aya.util.TreeBuilder

    org.aya.util.TreeBuilder.Tree<T extends org.aya.util.TreeBuilder.Tree<T>>

  • Field Summary

    Fields inherited from class org.aya.util.TreeBuilder

    tops

  • Constructor Summary

    Constructors
    Constructor
    Description
    Builder()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    @NotNull Deque<kala.collection.mutable.MutableList<Trace>>
    getTops()
     

    Methods inherited from class org.aya.util.TreeBuilder

    append, reduce, root, shift, unshift

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • Builder

      public Builder()

  • Method Details

    • getTops

      @VisibleForTesting @NotNull public @NotNull Deque<kala.collection.mutable.MutableList<Trace>> getTops()