Robust/src/Analysis/OwnershipAnalysis/ReachOperation.java

   1 package Analysis.OwnershipAnalysis;
   2
   3 public class ReachOperation {
   4   Canonical a;
   5   Canonical b;
   6   public Canonical c;
   7
   8   public ReachOperation(Canonical a, Canonical b) {
   9     assert a.canonicalvalue!=0;
  10     assert b.canonicalvalue!=0;
  11     this.a=a;
  12     this.b=b;
  13   }
  14
  15   public int hashCode() {
  16     return a.canonicalvalue^(b.canonicalvalue<<1);
  17   }
  18   public boolean equals(Object o) {
  19     ReachOperation ro=(ReachOperation)o;
  20     return ro.a.canonicalvalue==a.canonicalvalue&&
  21            ro.b.canonicalvalue==b.canonicalvalue;
  22   }
  23 }