Module aya.base

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
     
  • 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)