Repair/RepairCompiler/MCC/IR/Quantifier.java

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