2 import java.util.Vector;
4 public class FlatAtomicExitNode extends FlatNode {
5 FlatAtomicEnterNode faen;
6 public FlatAtomicExitNode(FlatAtomicEnterNode faen) {
10 public FlatAtomicEnterNode getAtomicEnter() {
14 public String toString() {
19 return FKind.FlatAtomicExitNode;