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 }