Robust/src/IR/Flat/FlatAtomicExitNode.java

   1 package IR.Flat;
   2 import java.util.Vector;
   3
   4 public class FlatAtomicExitNode extends FlatNode {
   5     public FlatAtomicExitNode() {
   6     }
   7
   8     public String toString() {
   9         return "atomicexit";
  10     }
  11
  12     public int kind() {
  13         return FKind.FlatAtomicExitNode;
  14     }
  15 }