Repair/RepairCompiler/MCC/IR/Repair.java

   1 package MCC.IR;
   2
   3 import MCC.State;
   4 import java.util.*;
   5
   6 public class Repair {
   7     public static RepairGenerator repairgenerator=null;
   8
   9     public static void generate_dispatch(CodeWriter cr, RelationDescriptor rd, String leftvar, String rightvar) {
  10         repairgenerator.generate_dispatch(cr,rd,leftvar,rightvar);
  11     }
  12
  13
  14     public static void generate_dispatch(CodeWriter cr, SetDescriptor sd, String setvar) {
  15         repairgenerator.generate_dispatch(cr,sd,setvar);
  16     }
  17 }