Robust/src/IR/Flat/FlatAtomicEnterNode.java

   1 package IR.Flat;
   2 import java.util.Vector;
   3
   4 public class FlatAtomicEnterNode extends FlatNode {
   5   private static int identifier=0;
   6
   7   private int id;
   8
   9   public FlatAtomicEnterNode() {
  10     this.id=identifier++;
  11   }
  12
  13   /* Returns an unique identifier for this atomic enter node */
  14
  15   public int getIdentifier() {
  16     return id;
  17   }
  18
  19   public String toString() {
  20     return "atomicenter";
  21   }
  22
  23   public int kind() {
  24     return FKind.FlatAtomicEnterNode;
  25   }
  26 }