start of new file

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

diff --git a/Robust/src/Analysis/TaskStateAnalysis/TaskNode.java b/Robust/src/Analysis/TaskStateAnalysis/TaskNode.java
index 2d5eec3504ba5cae177dd5afc306c3eafe55170e..7ee1c36f540dbcd88ecc62843c085c98f7e5efa5 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/TaskNode.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/TaskNode.java
@@ -10,9 +10,10 @@ import Util.GraphNode;
 public class TaskNode extends GraphNode {
        
     private final String name;
-    private int uid;
+    protected int uid;
     private static int nodeid=0;
-    
+    // private int loopmarker=0;
+    //private boolean multipleparams=false;
     /**Class Constructor
      * Creates a new TaskNode using the TaskDescriptor.
      * @param tasknode TaskDescriptor
@@ -33,6 +34,14 @@ public class TaskNode extends GraphNode {
        return "N"+uid;
     }
 
+    public String getName(){
+           return name;
+    }
+
+    // public int getuid(){
+    //return uid;
+    //}
+       
        
        /**toString method.
         * @return  string representation of the tasknode (e.g "Task foo")
@@ -53,6 +62,14 @@ public class TaskNode extends GraphNode {
         }
         return false;
     }
+     
+    public boolean edgeExists(TEdge newedge){
+           if(edges.isEmpty())
+               return false;
+           else
+               return edges.contains(newedge);
+    }
+    
 }