Repair/RepairInterpreter/DefaultGuidance2.h

   1 // for the File System benchmark
   2
   3 #ifndef DefGuidance2_h
   4 #define DefGuidance2_h
   5 #include "classlist.h"
   6 #include "Guidance.h"
   7
   8 class DefGuidance2:public Guidance {
   9   /* This class tells the analysis stuff */
  10   /* For each set:
  11      1. Source for atoms if the set is too small - can be another set or function call (assumed to be no set)
  12      2. Source for atoms if relation requires atom of this set - can be another set or function call (assumed to be no set)
  13      3. Removal from set - where to insert objects from this set
  14      4. Insertion into set - which subset to put objects in
  15   */
  16  public:
  17   DefGuidance2(model *m);
  18   Source sourceforsetsize(char *set);
  19   Source sourceforrelation(char *set);
  20   char * removefromset(char * set);
  21   char * insertiontoset(char *set);
  22  private:
  23   model * globalmodel;
  24 };
  25
  26 Element * allocatebytes2(structure * st, model *m);
  27 #endif