- public Unwrap(Element[] e) { super(e); this.drops = null; }
- public Unwrap(Element[] e, boolean[] drops) { super(e); this.drops = drops; }
- Sequence _clone() { return new Unwrap(elements, drops); }
- public <T> Forest<T> postReduce(Input.Location loc, Forest<T>[] args) {
+ private final Object tag;
+ public Unwrap(Element[] e, Object tag) { this(e, tag, null); }
+ public Unwrap(Element[] e, Object tag, boolean[] drops) { super(e); this.drops = drops; this.tag = tag; }
+ Sequence _clone() { return new Unwrap(elements, tag, drops); }
+ public <T> Forest<T> postReduce(Input.Region loc, Forest<T>[] args, Position p) {