Robust/src/Analysis/TaskStateAnalysis/EGTaskNode.java

   1 package Analysis.TaskStateAnalysis;
   2 import Analysis.TaskStateAnalysis.*;
   3 import IR.*;
   4 import IR.Tree.*;
   5 import IR.Flat.*;
   6 import java.util.*;
   7 import Util.GraphNode;
   8
   9 public class EGTaskNode extends GraphNode {
  10   private boolean source=false;
  11   private FlagState fs;
  12   private FlagState postfs;
  13   private TaskDescriptor td;
  14   private int index;
  15   private String name;
  16   private int uid;
  17   private static int nodeid;
  18
  19   public EGTaskNode(String name, TaskDescriptor td, FlagState postfs) {
  20     this(name, null, td, -1, postfs);
  21   }
  22
  23   public EGTaskNode(String name, FlagState fs, TaskDescriptor td, int index, FlagState postfs) {
  24     this.name=name;
  25     this.uid=nodeid++;
  26     this.fs = fs;
  27     this.td = td;
  28     this.index=index;
  29     this.postfs=postfs;
  30   }
  31
  32   public String getTextLabel() {
  33     return "Task "+getName()+"["+fs+"]->["+postfs+"]";
  34   }
  35
  36   public String getName() {
  37     return name;
  38   }
  39
  40   public String getLabel() {
  41     return "N"+uid;
  42   }
  43
  44   public int getIndex() {
  45     return index;
  46   }
  47
  48   public String toString() {
  49     return getTextLabel();
  50   }
  51
  52   public FlagState getPostFS() {
  53     return postfs;
  54   }
  55
  56   public boolean isRuntime() {
  57     return td==null&&getName().equals("Runtime");
  58   }
  59
  60
  61   public boolean isOptional() {
  62     return (!isSource()&&td!=null&&td.isOptional(td.getParameter(index)));
  63   }
  64
  65
  66   public TaskDescriptor getTD() {
  67     return td;
  68   }
  69
  70   public void setSource() {
  71     source = true;
  72   }
  73
  74   public boolean isSource() {
  75     return source;
  76   }
  77
  78   public int getuid() {
  79     return uid;
  80   }
  81
  82   public boolean isMultipleParams() {
  83     return getTD()!=null&&getTD().numParameters()>1;
  84   }
  85
  86   public String getFSName() {
  87     if(fs == null)
  88       return "no flag";
  89     else
  90       return fs.getTextLabel();
  91   }
  92
  93   public FlagState getFS() {
  94     return fs;
  95   }
  96 }