try to make mp3decoder pass SSJava checking

[IRC.git] / Robust / src / IR / Tree / TaskExitNode.java

diff --git a/Robust/src/IR/Tree/TaskExitNode.java b/Robust/src/IR/Tree/TaskExitNode.java
index 30f2640e044589cb65ea6c83c5f3c8956df428cb..57522896cb921cad00b0762c8991e78776c8eab9 100644 (file)
--- a/Robust/src/IR/Tree/TaskExitNode.java
+++ b/Robust/src/IR/Tree/TaskExitNode.java
@@ -2,20 +2,33 @@ package IR.Tree;
 import java.util.Vector;
 
 public class TaskExitNode extends BlockStatementNode {
-    Vector vfe;
-    public TaskExitNode(Vector vfe) {
-       this.vfe=vfe;
-    }
+  Vector vfe;
+  Vector ccs;
+  int m_taskexitindex;
 
-    public String printNode(int indent) {
-       return "taskexit";
-    }
+  public TaskExitNode(Vector vfe, Vector ccs, int taskexitindex) {
+    this.vfe=vfe;
+    this.ccs=ccs;
+    this.m_taskexitindex = taskexitindex;
+  }
 
-    public Vector getFlagEffects() {
-       return vfe;
-    }
+  public String printNode(int indent) {
+    return "taskexit";
+  }
 
-    public int kind() {
-       return Kind.TaskExitNode;
-    }
+  public Vector getFlagEffects() {
+    return vfe;
+  }
+
+  public Vector getChecks() {
+    return ccs;
+  }
+
+  public int kind() {
+    return Kind.TaskExitNode;
+  }
+
+  public int getTaskExitIndex() {
+    return m_taskexitindex;
+  }
 }