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 }