e6718a69eefbf4f6b975b9cd1780709ff38a9328
[repair.git] / 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 }