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

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

diff --git a/Robust/src/IR/Tree/TaskExitNode.java b/Robust/src/IR/Tree/TaskExitNode.java
deleted file mode 100644 (file)
index dbcb19a..0000000
--- a/Robust/src/IR/Tree/TaskExitNode.java
+++ /dev/null
@@ -1,34 +0,0 @@
-package IR.Tree;
-import java.util.Vector;
-
-public class TaskExitNode extends BlockStatementNode {
-  Vector vfe;
-  Vector ccs;
-  int m_taskexitindex;
-  
-  public TaskExitNode(Vector vfe, Vector ccs, int taskexitindex) {
-    this.vfe=vfe;
-    this.ccs=ccs;
-    this.m_taskexitindex = taskexitindex;
-  }
-
-  public String printNode(int indent) {
-    return "taskexit";
-  }
-
-  public Vector getFlagEffects() {
-    return vfe;
-  }
-
-  public Vector getChecks() {
-    return ccs;
-  }
-
-  public int kind() {
-    return Kind.TaskExitNode;
-  }
-
-  public int getTaskExitIndex() {
-      return m_taskexitindex;
-  }
-}