Repair/RepairCompiler/MCC/IR/RuleConjunction.java

   1 package MCC.IR;
   2 import java.util.*;
   3
   4 public class RuleConjunction {
   5
   6     Vector predicates;
   7     public RuleConjunction(DNFExpr pred) {
   8         predicates=new Vector();
   9         predicates.add(pred);
  10     }
  11     RuleConjunction(Vector preds){
  12         predicates=preds       ;
  13     }
  14
  15     int size() {
  16         return predicates.size();
  17     }
  18
  19     DNFExpr get(int i) {
  20         return (DNFExpr) predicates.get(i);
  21     }
  22
  23     void add(DNFExpr dp) {
  24         predicates.add(dp);
  25     }
  26
  27     public RuleConjunction append(RuleConjunction c) {
  28         RuleConjunction copy=copy();
  29         for(int i=0;i<c.size();i++) {
  30             copy.add(new DNFExpr(c.get(i)));
  31         }
  32         return copy;
  33     }
  34
  35     public RuleConjunction copy() {
  36         Vector vector=new Vector();
  37         for (int i=0;i<size();i++) {
  38             DNFExpr dp=get(i);
  39             vector.add(new DNFExpr(dp));
  40         }
  41         return new RuleConjunction(vector);
  42     }
  43 }