- public Unwrap(Element[] e, HashSet<Sequence> and, HashSet<Sequence> not) { super(e, and, not); this.drops = null; }
- public Unwrap(Element[] e, boolean[] drops, HashSet<Sequence> and, HashSet<Sequence> not) { super(e, and, not); this.drops = drops; }
- public <T> Forest<T> postReduce(Token.Location loc, Forest<T>[] args) {
- if (drops==null) return Forest.create(loc, null, args, this, true, false);
+ 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, Position p) {
+ for(int i=0; i<args.length; i++) if (args[i]==null) throw new Error();
+ if (drops==null) return Forest.create(loc, null, args, new Object[args.length], true, false, p);