This commit was manufactured by cvs2svn to create tag 'buildscript'.

[IRC.git] / Robust / src / Analysis / TaskStateAnalysis / EGTaskNode.java

diff --git a/Robust/src/Analysis/TaskStateAnalysis/EGTaskNode.java b/Robust/src/Analysis/TaskStateAnalysis/EGTaskNode.java
deleted file mode 100644 (file)
index 169e52a..0000000
--- a/Robust/src/Analysis/TaskStateAnalysis/EGTaskNode.java
+++ /dev/null
@@ -1,96 +0,0 @@
-package Analysis.TaskStateAnalysis;
-import Analysis.TaskStateAnalysis.*;
-import IR.*;
-import IR.Tree.*;
-import IR.Flat.*;
-import java.util.*;
-import Util.GraphNode;
-
-public class EGTaskNode extends GraphNode {
-    private boolean source=false;
-    private FlagState fs;
-    private FlagState postfs;
-    private TaskDescriptor td;
-    private int index;
-    private String name;
-    private int uid;
-    private static int nodeid;
-
-    public EGTaskNode(String name, TaskDescriptor td, FlagState postfs){
-       this(name, null, td, -1, postfs);
-    }
-
-    public EGTaskNode(String name, FlagState fs, TaskDescriptor td, int index, FlagState postfs){
-       this.name=name;
-       this.uid=nodeid++;
-       this.fs = fs;
-       this.td = td;
-       this.index=index;
-       this.postfs=postfs;
-    }
-
-    public String getTextLabel() {
-       return "Task "+getName()+"["+fs+"]->["+postfs+"]";
-    }
-
-    public String getName() {
-       return name;
-    }
-
-    public String getLabel() {
-       return "N"+uid;
-    }
-    
-    public int getIndex() {
-       return index;
-    }
-
-    public String toString() {
-       return getTextLabel();
-    }
-
-    public FlagState getPostFS() {
-       return postfs;
-    }
-    
-    public boolean isRuntime() {
-       return td==null&&getName().equals("Runtime");
-    }
-
-
-    public boolean isOptional() {
-       return (!isSource()&&td!=null&&td.isOptional(td.getParameter(index)));
-    }
-
-
-    public TaskDescriptor getTD(){
-       return td;
-    }
-        
-    public void setSource(){
-       source = true;
-    }
-
-    public boolean isSource(){
-       return source;
-    }
-
-    public int getuid(){
-       return uid;
-    }
-
-    public boolean isMultipleParams(){
-       return getTD()!=null&&getTD().numParameters()>1;
-    }
-    
-    public String getFSName(){
-       if(fs == null) 
-           return "no flag";
-       else 
-           return fs.getTextLabel();
-    }
-    
-    public FlagState getFS(){
-       return fs;
-    }
-}