checkpoint

[sbp.git] / src / edu / berkeley / sbp / Tree.java

diff --git a/src/edu/berkeley/sbp/Tree.java b/src/edu/berkeley/sbp/Tree.java
index 8e3020d..da0c56c 100644 (file)
--- a/src/edu/berkeley/sbp/Tree.java
+++ b/src/edu/berkeley/sbp/Tree.java
@@ -84,9 +84,14 @@ public class Tree<T>
         }
     }
 
-    public static class BindingFunctor<T> implements TreeFunctor<T,Object>/*, ToJava*/ {
+    public static class RawBindingFunctor<T> implements TreeFunctor<T,Object>, ToJava {
         private Binding _binding;
-        public BindingFunctor(Binding binding) {
+        public void toJava(StringBuffer sb) {
+            sb.append("new Tree.RawBindingFunctor(");
+            _binding.toJava(sb);
+            sb.append(")");
+        }
+        public RawBindingFunctor(Binding binding) {
             this._binding = binding;
         }
         public Object invoke(Iterable<Tree<T>> t) {
@@ -94,4 +99,31 @@ public class Tree<T>
         }
     }
 
+    public static class BindingFunctor<T> implements TreeFunctor<T,Object>, ToJava {
+        private Binding _binding;
+        public BindingFunctor(Binding binding) {
+            this._binding = binding;
+        }
+        public void toJava(StringBuffer sb) {
+            sb.append("new Tree.BindingFunctor(");
+            _binding.toJava(sb);
+            sb.append(")");
+        }
+        public Object invoke(Iterable<Tree<T>> t) {
+            ArrayList ret = new ArrayList();
+            for(Tree tc : t) {
+                if (tc.head() != null && tc.head() instanceof Functor)
+                    ret.add(((Tree.TreeFunctor<Object,Object>)tc.head()).invoke(tc.children()));
+                else if (tc.numChildren() == 0)
+                    ret.add(tc.head());
+                else {
+                    System.err.println("FIXME: don't know what to do about " + tc);
+                    ret.add(null);
+                }
+            }
+            Object[] o = (Object[])ret.toArray(new Object[0]);
+            return _binding.invoke(o);
+        }
+    }
+
 }