Repair/RepairCompiler/MCC/IR/Quantifier.java

   1 package MCC.IR;
   2
   3 import java.util.*;
   4
   5 public abstract class Quantifier {
   6
   7     public abstract Set getRequiredDescriptors();
   8
   9     public abstract void generate_open(CodeWriter writer);
  10
  11     public abstract int generate_worklistload(CodeWriter writer, int offset);
  12     public abstract int generate_workliststore(CodeWriter writer, int offset);
  13
  14 }