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   }
   9
  10   public FlatAtomicEnterNode getAtomicEnter() {
  11     return faen;
  12   }
  13
  14   public String toString() {
  15     return "atomicexit";
  16   }
  17
  18   public int kind() {
  19     return FKind.FlatAtomicExitNode;
  20   }
  21 }