Adding taskexitnode
authorbdemsky <bdemsky>
Tue, 9 May 2006 00:48:24 +0000 (00:48 +0000)
committerbdemsky <bdemsky>
Tue, 9 May 2006 00:48:24 +0000 (00:48 +0000)
Robust/src/IR/Tree/TaskExitNode.java [new file with mode: 0644]

diff --git a/Robust/src/IR/Tree/TaskExitNode.java b/Robust/src/IR/Tree/TaskExitNode.java
new file mode 100644 (file)
index 0000000..554e63d
--- /dev/null
@@ -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;
+    }
+}