7 public static RepairGenerator repairgenerator=null;
9 public static void generate_dispatch(CodeWriter cr, RelationDescriptor rd, String leftvar, String rightvar) {
10 repairgenerator.generate_dispatch(cr,rd,leftvar,rightvar);
14 public static void generate_dispatch(CodeWriter cr, SetDescriptor sd, String setvar) {
15 repairgenerator.generate_dispatch(cr,sd,setvar);