Robust/src/Analysis/OwnershipAnalysis/CanonicalWrapper.java

   1 package Analysis.OwnershipAnalysis;
   2
   3 public class CanonicalWrapper {
   4   Canonical a;
   5   public Canonical b;
   6
   7   public CanonicalWrapper(Canonical a) {
   8     assert a.canonicalvalue!=0;
   9     this.a=a;
  10   }
  11   public int hashCode() {
  12     return a.canonicalvalue;
  13   }
  14   public boolean equals(Object o) {
  15     CanonicalWrapper ro=(CanonicalWrapper)o;
  16     return ro.a.canonicalvalue==a.canonicalvalue;
  17   }
  18 }