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

   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 java.io.*;
   8 import Util.GraphNode;
   9
  10 public class TaskNode extends GraphNode {
  11
  12     private final String name;
  13     protected int uid;
  14     private static int nodeid=0;
  15     // private int loopmarker=0;
  16     //private boolean multipleparams=false;
  17     /**Class Constructor
  18      * Creates a new TaskNode using the TaskDescriptor.
  19      * @param tasknode TaskDescriptor
  20      */
  21     public TaskNode(String name){
  22             this.name=name;
  23             this.uid=TaskNode.nodeid++;
  24     }
  25
  26     /**Returns the string representation of the node
  27      * @return string representation of the tasknode (e.g "Task foo")
  28      */
  29     public String getTextLabel() {
  30                 return "Task "+name;
  31         }
  32
  33         public String getLabel() {
  34         return "N"+uid;
  35     }
  36
  37     public String getName(){
  38             return name;
  39     }
  40
  41     // public int getuid(){
  42     //return uid;
  43     //}
  44
  45
  46         /**toString method.
  47          * @return  string representation of the tasknode (e.g "Task foo")
  48          */
  49         public String toString(){
  50                 return getTextLabel();
  51         }
  52
  53         public int hashCode(){
  54                 return name.hashCode();
  55
  56         }
  57
  58         public boolean equals(Object o) {
  59         if (o instanceof TaskNode) {
  60            TaskNode tn=(TaskNode)o;
  61            return (tn.name.equals(name));
  62         }
  63         return false;
  64     }
  65
  66     public boolean edgeExists(TEdge newedge){
  67             if(edges.isEmpty())
  68                 return false;
  69             else
  70                 return edges.contains(newedge);
  71     }
  72
  73 }
  74
  75
  76