+ public static class RawBindingFunctor<T> implements TreeFunctor<T,Object>, ToJava {
+ private 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) {
+ return _binding.invoke(new Object[] { 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);
+ }
+ }