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