Programming Languages Research Group: Git - IRC.git/blob

   1 package Analysis.TaskStateAnalysis;
   2 import java.util.*;
   3 import IR.*;
   4 import IR.Tree.*;
   5 import IR.Flat.*;
   6 import java.io.*;
   7 import Util.Edge;
   8
   9 public class OptionalTaskDescriptor {
  10   public TaskDescriptor td;
  11   public HashSet enterflagstates;
  12   public HashSet<HashSet> exitfses;
  13   public Predicate predicate;
  14   private static int nodeid=0;
  15   private int index;
  16   private int uid;
  17
  18   protected OptionalTaskDescriptor(TaskDescriptor td, int index, HashSet enterflagstates, Predicate predicate) {
  19     this.td = td;
  20     this.enterflagstates = enterflagstates;
  21     this.exitfses = new HashSet();
  22     this.predicate = predicate;
  23     this.index=index;
  24   }
  25
  26   public int hashCode() {
  27     return td.hashCode()^enterflagstates.hashCode()^predicate.hashCode()^index;
  28   }
  29
  30   public boolean equals(Object o) {
  31     if (o instanceof OptionalTaskDescriptor) {
  32       OptionalTaskDescriptor otd=(OptionalTaskDescriptor) o;
  33       if (otd.td==td&&
  34           otd.enterflagstates.equals(enterflagstates)&&
  35           otd.predicate.equals(predicate)&&
  36           otd.index==index)
  37         return true;
  38     }
  39     return false;
  40   }
  41
  42   public int getIndex() {
  43     return index;
  44   }
  45
  46   public String tostring() {
  47     return "Optional task "+td.getSymbol();
  48   }
  49
  50   public void setuid() {
  51     uid=nodeid++;
  52   }
  53
  54   public int getuid() {
  55     return uid;
  56   }
  57 }