Robust/src/Analysis/TaskStateAnalysis/FEdge.java

   1 package Analysis.TaskStateAnalysis;
   2 import IR.*;
   3 import Analysis.TaskStateAnalysis.*;
   4 import IR.Tree.*;
   5 import IR.Flat.*;
   6 import java.util.*;
   7 import Util.Edge;
   8
   9 /* Edge *****************/
  10
  11 public class FEdge extends Edge {
  12
  13   private String label;
  14   private TaskDescriptor td;
  15   private int parameterindex;
  16
  17   // jzhou
  18   private int executeTime;
  19   private Hashtable<ClassDescriptor, NewObjInfo> newObjInfos;
  20   private int probability;
  21   private int invokeNum;
  22   private int expInvokeNum;
  23
  24   public class NewObjInfo {
  25     int newRate;
  26     int probability;
  27     FlagState root;
  28     int invokeNum;
  29
  30     public NewObjInfo() {
  31       newRate = 0;
  32       probability = 0;
  33       root = null;
  34       invokeNum = 0;
  35     }
  36
  37     public NewObjInfo(int newRate, int probability) {
  38       this.newRate = newRate;
  39       this.probability = probability;
  40     }
  41
  42     public int getNewRate() {
  43       return this.newRate;
  44     }
  45
  46     public void setNewRate(int newRate) {
  47       this.newRate = newRate;
  48     }
  49
  50     public int getProbability() {
  51       return this.probability;
  52     }
  53
  54     public void setProbability(int probability) {
  55       this.probability = probability;
  56     }
  57
  58     public FlagState getRoot() {
  59       return root;
  60     }
  61
  62     public void setRoot(FlagState root) {
  63       this.root = root;
  64     }
  65
  66     public int getInvokeNum() {
  67       return invokeNum;
  68     }
  69
  70     public void incInvokeNum() {
  71       this.invokeNum++;
  72     }
  73
  74     public boolean equals(Object o) {
  75       if (o instanceof NewObjInfo) {
  76         NewObjInfo e=(NewObjInfo)o;
  77         if (e.newRate == this.newRate &&
  78             e.probability == this.probability &&
  79             e.invokeNum == this.invokeNum &&
  80             e.root.equals(this.root)) {
  81           return true;
  82         }
  83       }
  84       return false;
  85     }
  86   }
  87
  88   /** Class Constructor
  89    *
  90    */
  91   public FEdge(FlagState target, String label, TaskDescriptor td, int parameterindex) {
  92     super(target);
  93     this.label = label;
  94     this.td=td;
  95     this.parameterindex=parameterindex;
  96     this.executeTime = -1;
  97     this.newObjInfos = null;
  98     this.probability = -1;
  99     this.invokeNum = 0;
 100     this.expInvokeNum = 0;
 101   }
 102
 103   public int getProbability() {
 104     return probability;
 105   }
 106
 107   public void setProbability(int probability) {
 108     this.probability = probability;
 109   }
 110
 111   public String getLabel() {
 112     return label;
 113   }
 114
 115   public int hashCode() {
 116     int hashcode = label.hashCode()^target.hashCode()^source.hashCode()^parameterindex^executeTime;
 117     if (td!=null)
 118       hashcode^=td.hashCode();
 119     if(newObjInfos != null) {
 120       hashcode ^= newObjInfos.hashCode();
 121     }
 122     return hashcode;
 123   }
 124
 125   public TaskDescriptor getTask() {
 126     return td;
 127   }
 128
 129   public int getIndex() {
 130     return parameterindex;
 131   }
 132
 133   public boolean equals(Object o) {
 134     if (o instanceof FEdge) {
 135       FEdge e=(FEdge)o;
 136       if (e.label.equals(label)&&
 137           e.target.equals(target)&&
 138           e.source.equals(source) &&
 139           e.td==td&&
 140           e.parameterindex==parameterindex &&
 141           e.executeTime == executeTime) {
 142         if(this.newObjInfos != null) {
 143           if(e.newObjInfos == null) {
 144             return false;
 145           } else {
 146             return e.newObjInfos.equals(this.newObjInfos);
 147           }
 148         }
 149         return true;
 150       }
 151     }
 152     return false;
 153   }
 154
 155   public int getExeTime() {
 156     return this.executeTime;
 157   }
 158
 159   public void setExeTime(int eTime) {
 160     this.executeTime = eTime;
 161   }
 162
 163   public Hashtable<ClassDescriptor, NewObjInfo> getNewObjInfoHashtable() {
 164     return this.newObjInfos;
 165   }
 166
 167   public NewObjInfo getNewObjInfo(ClassDescriptor cd) {
 168     if(this.newObjInfos == null) {
 169       return null;
 170     }
 171     return this.newObjInfos.get(cd);
 172   }
 173
 174   public void addNewObjInfo(ClassDescriptor cd, int newRate, int probability) {
 175     if(this.newObjInfos == null) {
 176       this.newObjInfos = new Hashtable<ClassDescriptor, NewObjInfo>();
 177     }
 178     this.newObjInfos.put(cd, new NewObjInfo(newRate, probability));
 179   }
 180
 181   public void process() {
 182     this.invokeNum++;
 183   }
 184
 185   public int getInvokeNum() {
 186     return invokeNum;
 187   }
 188
 189   public int getInvokeNumGap() {
 190     return expInvokeNum - invokeNum;
 191   }
 192
 193   public void setExpInvokeNum(int expInvokeNum) {
 194     this.expInvokeNum = expInvokeNum;
 195   }
 196
 197 }