X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2FForest.java;h=a8c44f018f7c2eb49faae221e8adefad01364df1;hb=92e027ee41d33f590ede1e23e27224712980c533;hp=7b115326c82a2ec0170078392fcd0840cfc26c4e;hpb=e02870181effb947d72e5aa91137dd0c7ff84ce1;p=sbp.git diff --git a/src/edu/berkeley/sbp/Forest.java b/src/edu/berkeley/sbp/Forest.java index 7b11532..a8c44f0 100644 --- a/src/edu/berkeley/sbp/Forest.java +++ b/src/edu/berkeley/sbp/Forest.java @@ -18,15 +18,17 @@ public abstract class Forest /*extends PrintableTree>*/ impl /** expand this forest into a set of trees */ public HashSet> expand(boolean toss) { - final HashSet> hs = new HashSet>(); - TreeMaker ret = new TreeMaker(toss) { - public void add(Input.Location loc) { - hs.add(new Tree(loc, head, toks.toArray(tree_hint))); - } - }; - visit(ret, null, null); - if (toss && hs.size() > 1) throw new Ambiguous(this); - return hs; + final HashSetTreeConsumer ret = new HashSetTreeConsumer(); + visit(new TreeMaker2(toss, ret), null, null); + if (toss && ret.size() > 1) throw new Ambiguous(this); + return ret; + } + + public static interface TreeConsumer { + public void addTree(Tree t); + } + public static class HashSetTreeConsumer extends HashSet> implements TreeConsumer { + public void addTree(Tree t) { super.add(t); } } static Forest singleton(Input.Location loc) { return create(loc, null, new Forest[] { }, false, true); } @@ -39,7 +41,7 @@ public abstract class Forest /*extends PrintableTree>*/ impl // Body ////////////////////////////////////////////////////////////////////////////// protected static interface Body { - TreeMaker expand(int i, TreeMaker h); + void expand(int i, TreeMaker h); } protected static class MyBody extends Forest implements Body /* extends PrintableTree> implements */ { @@ -64,14 +66,15 @@ public abstract class Forest /*extends PrintableTree>*/ impl this.singleton = singleton; } - public TreeMaker expand(final int i, final TreeMaker h) { + public void expand(final int i, final TreeMaker h) { if (singleton) { tokens[0].visit(h, null, i); - return h; + return; } - if (i==0) h.head(tag); + if (i==0) h.start(tag, location); + if (i==tokens.length) { - h.add(/*FIXME*/null); + h.finish(tag, location); } else if (unwrap && i==tokens.length-1) { if (tokens[i] != null) @@ -79,15 +82,16 @@ public abstract class Forest /*extends PrintableTree>*/ impl } else { tokens[i].visit(new TreeMaker(h.toss) { - public void add(Input.Location loc) { + public void start(T head, Input.Location loc) { } + public void addTree(Tree t) { toks.add(t); } + public void finish(T head, Input.Location loc) { int old = h.toks.size(); - h.toks.add(new Tree(loc, head, toks.toArray(tree_hint))); + h.addTree(new Tree(loc, head, toks.toArray(tree_hint))); expand(i+1, h); while(h.toks.size() > old) h.toks.remove(h.toks.size()-1); } }, null, null); } - return h; } protected String headToString() { return null; } @@ -118,13 +122,21 @@ public abstract class Forest /*extends PrintableTree>*/ impl } public abstract void visit(Invokable,B,C> ivbc, B b, C c); - private static abstract class TreeMaker implements Invokable,Boolean,Integer> { + private static class TreeMaker2 extends TreeMaker { + private TreeConsumer tc; + public TreeMaker2(boolean toss, TreeConsumer tc) { super(toss); this.tc = tc; } + public void finish(T head, Input.Location loc) { tc.addTree(new Tree(loc, head, toks.toArray(tree_hint)));; } + public void start(T head, Input.Location loc) { } + public void addTree(Tree t) { toks.add(t); } + } + private static abstract class TreeMaker implements Invokable,Boolean,Integer>, TreeConsumer { public ArrayList> toks = new ArrayList>(); private boolean toss; protected T head; public TreeMaker(boolean toss) { this.toss = toss; } - public void head(T head) { this.head = head; } - public abstract void add(Input.Location loc); + public abstract void start(T head, Input.Location loc); + public abstract void finish(T head, Input.Location loc); + public abstract void addTree(Tree t); public void invoke(Forest.Body bod, Boolean o, Integer i) { if (i==null) { ArrayList> toks = this.toks;