2 import java.util.Vector;
4 public class FlatAtomicExitNode extends FlatNode {
5 FlatAtomicEnterNode faen;
6 public FlatAtomicExitNode(FlatAtomicEnterNode faen) {
10 public FlatAtomicEnterNode getAtomicEnter() {
13 public void rewriteUse() {
15 public void rewriteDef() {
18 public String toString() {
23 return FKind.FlatAtomicExitNode;