From a9ad2477499dfa818f0c6d6108f5b5c6b17ae973 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Tue, 9 May 2006 00:48:24 +0000
Subject: [PATCH] Adding taskexitnode

---
 Robust/src/IR/Tree/TaskExitNode.java | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 Robust/src/IR/Tree/TaskExitNode.java

diff --git a/Robust/src/IR/Tree/TaskExitNode.java b/Robust/src/IR/Tree/TaskExitNode.java
new file mode 100644
index 00000000..554e63d6
--- /dev/null
+++ b/Robust/src/IR/Tree/TaskExitNode.java
@@ -0,0 +1,16 @@
+package IR.Tree;
+
+public class TaskExitNode extends BlockStatementNode {
+    FlagEffects fe;
+    public TaskExitNode(FlagEffects fe) {
+	this.fe=fe;
+    }
+
+    public String printNode(int indent) {
+	return "taskexit";
+    }
+
+    public int kind() {
+	return Kind.TaskExitNode;
+    }
+}
-- 
2.34.1