Robust/src/IR/Tree/TaskExitNode.java

   1 package IR.Tree;
   2 import java.util.Vector;
   3
   4 public class TaskExitNode extends BlockStatementNode {
   5     Vector vfe;
   6     public TaskExitNode(Vector vfe) {
   7         this.vfe=vfe;
   8     }
   9
  10     public String printNode(int indent) {
  11         return "taskexit";
  12     }
  13
  14     public Vector getFlagEffects() {
  15         return vfe;
  16     }
  17
  18     public int kind() {
  19         return Kind.TaskExitNode;
  20     }
  21 }