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     Vector ccs;
   7     public TaskExitNode(Vector vfe, Vector ccs) {
   8         this.vfe=vfe;
   9         this.ccs=ccs;
  10     }
  11
  12     public String printNode(int indent) {
  13         return "taskexit";
  14     }
  15
  16     public Vector getFlagEffects() {
  17         return vfe;
  18     }
  19
  20     public Vector getChecks() {
  21         return ccs;
  22     }
  23
  24     public int kind() {
  25         return Kind.TaskExitNode;
  26     }
  27 }