Example #1
0
    public boolean contains(RefGroup r) {
      int l = r.refs.size();

      for (int k = 0; k < l; k++) if (refs.contains(r.refs.elementAt(k))) return true;

      return false;
    }
Example #2
0
 public void add(RefGroup r) {
   int l = r.refs.size();
   for (int i = 0; i < l; i++) {
     Object ref = r.refs.elementAt(i);
     if (!refs.contains(ref)) refs.addElement(ref);
   }
 }
Example #3
0
 public boolean contains(Expr d) {
   return refs.contains(d);
 }
Example #4
0
    public void add(DDEdge edge) {
      if (refs.contains(edge)) return;

      refs.addElement(edge);
    }