Пример #1
0
 public String toString() {
   if ((rator instanceof Variable) || (rator instanceof PrimFun))
     return rator + "(" + ToString.toString(args, ", ") + ")";
   //      return new StringBuilder(rator.toString()).append("(").append(ToString.toString(args,",
   // ")).append(")").toString();
   else return "(" + rator + ")(" + ToString.toString(args, ", ") + ")";
   //      new StringBuilder("(").append(rator).append(")(").append( ToString.toString(args,",
   // ")).append(")").toString();
 }
Пример #2
0
 public String toString() {
   return "{" + ToString.toString(exps, "; ") + "}";
 }
Пример #3
0
 public String toString() {
   return "letrec " + ToString.toString(defs, " ") + " in " + body;
   //    return new StringBuilder("letrec ").append(ToString.toString(defs," ")).append(" in
   // ").append(body).toString();
 }
Пример #4
0
 public String toString() {
   return "map " + ToString.toString(vars, ",") + " to " + body;
   //    return new StringBuilder("map ").append(ToString.toString(vars, ",")).append(" to
   // ").append(body).toString();
 }