X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2FTree.java;h=e9c9a45080bd2c8bacb13db05f160f53c91136bd;hp=c525ffad81d2229a9ed0162d16980191d9df3609;hb=5ae7d4fd7c53dab6df9aae2e42579efabf66f49e;hpb=1b5d6cf8ab6963d50c168c9daeb7887b45a343ea

diff --git a/src/edu/berkeley/sbp/Tree.java b/src/edu/berkeley/sbp/Tree.java
index c525ffa..e9c9a45 100644
--- a/src/edu/berkeley/sbp/Tree.java
+++ b/src/edu/berkeley/sbp/Tree.java
@@ -105,14 +105,22 @@ public class Tree<T>
 
     public static class RawBindingFunctor<T> implements TreeFunctor<T,Object>, ToJava {
         private Binding _binding;
+        private String _toString;
+        public RawBindingFunctor(String toString, Binding binding) {
+            this._binding = binding;
+            this._toString = toString;
+        }
+        public String toString() {
+            return _toString;
+        }
         public void toJava(StringBuffer sb) {
             sb.append("new Tree.RawBindingFunctor(");
+            sb.append("\"");
+            sb.append(StringUtil.toJavaString(_toString));
+            sb.append("\", ");
             _binding.toJava(sb);
             sb.append(")");
         }
-        public RawBindingFunctor(Binding binding) {
-            this._binding = binding;
-        }
         public Object invoke(Iterable<Tree<T>> t) {
             return _binding.invoke(new Object[] { t });           
         }
@@ -120,11 +128,19 @@ public class Tree<T>
 
     public static class BindingFunctor<T> implements TreeFunctor<T,Object>, ToJava {
         private Binding _binding;
-        public BindingFunctor(Binding binding) {
+        private String _toString;
+        public String toString() {
+            return _toString;
+        }
+        public BindingFunctor(String toString, Binding binding) {
             this._binding = binding;
+            this._toString = toString;
         }
         public void toJava(StringBuffer sb) {
             sb.append("new Tree.BindingFunctor(");
+            sb.append("\"");
+            sb.append(StringUtil.toJavaString(_toString));
+            sb.append("\", ");
             _binding.toJava(sb);
             sb.append(")");
         }