Example #1
0
 public StringBuilder makeStr(StringBuilder sb, String jname, String rel) {
   sb.append("(");
   _l.toJavaStr(sb, jname);
   sb.append(" ").append(rel).append(" ");
   _r.toJavaStr(sb, jname);
   sb.append(")");
   return sb;
 }
Example #2
0
 public String unique_name() {
   return _l.unique_name();
 }