Robust/src/Analysis/Scheduling/ObjectInfo.java

   1 package Analysis.Scheduling;
   2
   3 import Analysis.TaskStateAnalysis.FlagState;
   4
   5 public class ObjectInfo {
   6   public ObjectSimulator obj;
   7   public FlagState fs;
   8   public int version;
   9
  10   public ObjectInfo(ObjectSimulator obj) {
  11     this.obj = obj;
  12     this.fs = obj.getCurrentFS();
  13     this.version = obj.getVersion();
  14   }
  15
  16   public boolean equals(Object o) {
  17     if (o instanceof ObjectInfo) {
  18       ObjectInfo oi=(ObjectInfo)o;
  19       if ((oi.obj != obj) ||
  20           (oi.fs != fs) ||
  21           (oi.version != version)) {
  22         return false;
  23       }
  24       return true;
  25     }
  26     return false;
  27   }
  28
  29   public int hashCode() {
  30     return obj.hashCode()^fs.hashCode()^version;
  31   }
  32 }