Robust/src/IR/Tree/DNFFlag.java

   1 package IR.Tree;
   2 import java.util.Vector;
   3 import IR.*;
   4
   5 public class DNFFlag {
   6   private Vector conjunctions;
   7   public DNFFlag(FlagNode flag) {
   8     DNFFlagAtom dfa=new DNFFlagAtom(flag, false);
   9     conjunctions=new Vector();
  10     Vector conjunct=new Vector();
  11     conjunct.add(dfa);
  12     conjunctions.add(conjunct);
  13   }
  14   private DNFFlag() {
  15     conjunctions=new Vector();
  16   }
  17
  18   /** Returns the number of conjunctions in the DNF form. */
  19
  20   public int size() {
  21     return conjunctions.size();
  22   }
  23
  24   /** Returns a Vector containing the terms in the n'th conjunction. */
  25
  26   public Vector get(int n) {
  27     return (Vector) conjunctions.get(n);
  28   }
  29
  30   /** This method negates a DNFFlag expression. */
  31
  32   public DNFFlag not() {
  33     DNFFlag notflag=null;
  34     for (int i=0; i<conjunctions.size(); i++) {
  35       Vector conj=(Vector)conjunctions.get(i);
  36       DNFFlag newflag=null;
  37       for (int j=0; j<conj.size(); j++) {
  38         DNFFlagAtom dfa=(DNFFlagAtom) conj.get(j);
  39         DNFFlagAtom negdfa=new DNFFlagAtom(dfa.getFlagNode(),!dfa.getNegated());
  40         DNFFlag tmp=new DNFFlag();
  41         Vector v=new Vector();
  42         tmp.conjunctions.add(v);
  43         v.add(negdfa);
  44
  45         if (newflag==null)
  46           newflag=tmp;
  47         else
  48           newflag=newflag.or(tmp);
  49       }
  50       if (notflag==null)
  51         notflag=newflag;
  52       else
  53         notflag=notflag.and(newflag);
  54     }
  55     return notflag;
  56   }
  57
  58   /** This method or's two DNFFlag expressions together. */
  59   public DNFFlag or(DNFFlag dnf2) {
  60     DNFFlag result=new DNFFlag();
  61     for(int i=0; i<conjunctions.size(); i++) {
  62       Vector conjunct=(Vector)conjunctions.get(i);
  63       Vector newvector=new Vector();
  64       result.conjunctions.add(newvector);
  65       for(int j=0; j<conjunct.size(); j++) {
  66         newvector.add(conjunct.get(j));
  67       }
  68     }
  69
  70     for(int i=0; i<dnf2.conjunctions.size(); i++) {
  71       Vector conjunct=(Vector)dnf2.conjunctions.get(i);
  72       Vector newvector=new Vector();
  73       result.conjunctions.add(newvector);
  74       for(int j=0; j<conjunct.size(); j++) {
  75         newvector.add(conjunct.get(j));
  76       }
  77     }
  78     return result;
  79   }
  80
  81   /** This method and's two DNFFlag expressions together. */
  82   public DNFFlag and(DNFFlag dnf2) {
  83     DNFFlag result=new DNFFlag();
  84     for(int i=0; i<conjunctions.size(); i++) {
  85       for(int i2=0; i2<dnf2.conjunctions.size(); i2++) {
  86         Vector conjunct=(Vector)conjunctions.get(i);
  87         Vector conjunct2=(Vector)dnf2.conjunctions.get(i2);
  88         Vector newconjunct=new Vector();
  89         result.conjunctions.add(newconjunct);
  90         for(int j=0; j<conjunct.size(); j++) {
  91           newconjunct.add(conjunct.get(j));
  92         }
  93         for(int j2=0; j2<conjunct2.size(); j2++) {
  94           newconjunct.add(conjunct2.get(j2));
  95         }
  96       }
  97     }
  98     return result;
  99   }
 100
 101   public String toString() {
 102     String value="";
 103     for(int i=0; i<conjunctions.size(); i++) {
 104       if (i!=0)
 105         value+=" || ";
 106       Vector conjunct=(Vector)conjunctions.get(i);
 107       for(int j=0; j<conjunct.size(); j++) {
 108         if (j!=0)
 109           value+="&&";
 110         value+=conjunct.get(j);
 111       }
 112     }
 113     return value;
 114   }
 115 }