Robust/src/IR/Flat/FlatAtomicExitNode.java

   1 package IR.Flat;
   2 import java.util.Vector;
   3
   4 public class FlatAtomicExitNode extends FlatNode {
   5   FlatAtomicEnterNode faen;
   6   public FlatAtomicExitNode(FlatAtomicEnterNode faen) {
   7     this.faen=faen;
   8     faen.addExit(this);
   9   }
  10   public FlatAtomicEnterNode getAtomicEnter() {
  11     return faen;
  12   }
  13   public void rewriteUse() {
  14   }
  15   public void rewriteDef() {
  16   }
  17
  18   public String toString() {
  19     return "atomicexit";
  20   }
  21
  22   public int kind() {
  23     return FKind.FlatAtomicExitNode;
  24   }
  25 }