Robust/src/IR/Tree/TaskExitNode.java

   1 package IR.Tree;
   2
   3 public class TaskExitNode extends BlockStatementNode {
   4     FlagEffects fe;
   5     public TaskExitNode(FlagEffects fe) {
   6         this.fe=fe;
   7     }
   8
   9     public String printNode(int indent) {
  10         return "taskexit";
  11     }
  12
  13     public int kind() {
  14         return Kind.TaskExitNode;
  15     }
  16 }