Repair/RepairCompiler/MCC/IR/ConcreteInterferes.java

   1 package MCC.IR;
   2
   3 class ConcreteInterferes {
   4     static public boolean interferes(MultUpdateNode mun, Rule r, boolean satisfy) {
   5         for(int i=0;i<mun.numUpdates();i++) {
   6             UpdateNode un=mun.getUpdate(i);
   7             for (int j=0;j<un.numUpdates();j++) {
   8                 Updates update=un.getUpdate(j);
   9                 DNFRule drule=r.getDNFGuardExpr();
  10                 for(int k=0;k<drule.size();k++) {
  11                     RuleConjunction rconj=drule.get(k);
  12                     for(int l=0;l<rconj.size();l++) {
  13                         DNFExpr dexpr=rconj.get(l);
  14                         /* See if update interfers w/ dexpr */
  15                         Descriptor updatedes=update.getDescriptor();
  16
  17                     }
  18                 }
  19             }
  20         }
  21         return false;
  22     }
  23 }