2 import java.util.Vector;
4 public class FlatAtomicEnterNode extends FlatNode {
5 private static int identifier=0;
9 public FlatAtomicEnterNode() {
13 /* Returns an unique identifier for this atomic enter node */
15 public int getIdentifier() {
19 public String toString() {
24 return FKind.FlatAtomicEnterNode;