Robust/src/IR/Flat/FlatAtomicEnterNode.java

   1 package IR.Flat;
   2 import java.util.Vector;
   3 import java.util.HashSet;
   4 import java.util.Set;
   5
   6 public class FlatAtomicEnterNode extends FlatNode {
   7   private static int identifier=0;
   8   HashSet<FlatNode> exits;
   9
  10   private int id;
  11
  12   public FlatAtomicEnterNode() {
  13     this.id=identifier++;
  14     this.exits=new HashSet<FlatNode>();
  15   }
  16
  17   public void addExit(FlatAtomicExitNode faen) {
  18     exits.add(faen);
  19   }
  20
  21   public Set<FlatNode> getExits() {
  22     return exits;
  23   }
  24
  25   public void rewriteUse() {
  26   }
  27
  28   public void rewriteDef() {
  29   }
  30
  31   /* Returns an unique identifier for this atomic enter node */
  32
  33   public int getIdentifier() {
  34     return id;
  35   }
  36
  37   public String toString() {
  38     return "atomicenter";
  39   }
  40
  41   public int kind() {
  42     return FKind.FlatAtomicEnterNode;
  43   }
  44 }