1 package Analysis.TaskStateAnalysis;
2 import Analysis.TaskStateAnalysis.*;
10 public class TaskNode extends GraphNode {
12 private final String name;
14 private static int nodeid=0;
15 // private int loopmarker=0;
16 //private boolean multipleparams=false;
18 * Creates a new TaskNode using the TaskDescriptor.
19 * @param tasknode TaskDescriptor
21 public TaskNode(String name){
23 this.uid=TaskNode.nodeid++;
26 /**Returns the string representation of the node
27 * @return string representation of the tasknode (e.g "Task foo")
29 public String getTextLabel() {
33 public String getLabel() {
37 public String getName(){
41 // public int getuid(){
47 * @return string representation of the tasknode (e.g "Task foo")
49 public String toString(){
50 return getTextLabel();
53 public int hashCode(){
54 return name.hashCode();
58 public boolean equals(Object o) {
59 if (o instanceof TaskNode) {
60 TaskNode tn=(TaskNode)o;
61 return (tn.name.equals(name));
66 public boolean edgeExists(TEdge newedge){
70 return edges.contains(newedge);