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 }