模块 aya.base
程序包 org.aya.tyck.pat

类 PatTree.Builder

java.lang.Object
org.aya.util.TreeBuilder<PatTree>
org.aya.tyck.pat.PatTree.Builder
封闭类:
PatTree

public static final class PatTree.Builder extends org.aya.util.TreeBuilder<PatTree>
  • 嵌套类概要

    从类继承的嵌套类/接口 org.aya.util.TreeBuilder

    org.aya.util.TreeBuilder.Tree<T extends org.aya.util.TreeBuilder.Tree<T>>
  • 字段概要

    从类继承的字段 org.aya.util.TreeBuilder

    tops
  • 构造器概要

    构造器
    构造器
    说明
     
  • 方法概要

    修饰符和类型
    方法
    说明
    void
    shiftEmpty(boolean explicit)
     

    从类继承的方法 org.aya.util.TreeBuilder

    append, reduce, root, shift, unshift

    从类继承的方法 java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
  • 构造器详细资料

    • Builder

      public Builder()
  • 方法详细资料

    • shiftEmpty

      public void shiftEmpty(boolean explicit)