Module aya.base
Package org.aya.tyck.pat

Class PatTree.Builder

java.lang.Object
org.aya.util.TreeBuilder<PatTree>
org.aya.tyck.pat.PatTree.Builder
Enclosing class:
PatTree
public static final class PatTree.Builder extends org.aya.util.TreeBuilder<PatTree>

  • 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
    void
    shiftEmpty(boolean explicit)
     

    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

    • shiftEmpty

      public void shiftEmpty(boolean explicit)