Repair/RepairCompiler/MCC/IR/UpdateNode.java

   1 package MCC.IR;
   2 import java.util.*;
   3
   4 class UpdateNode {
   5     Vector updates;
   6     Vector bindings;
   7
   8     public UpdateNode() {
   9         updates=new Vector();
  10         bindings=new Vector();
  11     }
  12
  13     public void addBinding(Binding b) {
  14         bindings.add(b);
  15     }
  16
  17     public void addUpdate(Updates u) {
  18         updates.add(u);
  19     }
  20
  21     public int numUpdates() {
  22         return updates.size();
  23     }
  24     public Updates getUpdate(int i) {
  25         return (Updates)updates.get(i);
  26     }
  27 }