start of new file

[IRC.git] / Robust / src / IR / Flat / FlatAtomicExitNode.java

diff --git a/Robust/src/IR/Flat/FlatAtomicExitNode.java b/Robust/src/IR/Flat/FlatAtomicExitNode.java
index 2effb30a3d919962335cebb56dc4c70ed17f58ea..b69f76f0e1d19129dd95f35e966cc882ebc213f9 100644 (file)
--- a/Robust/src/IR/Flat/FlatAtomicExitNode.java
+++ b/Robust/src/IR/Flat/FlatAtomicExitNode.java
@@ -2,7 +2,13 @@ package IR.Flat;
 import java.util.Vector;
 
 public class FlatAtomicExitNode extends FlatNode {
-    public FlatAtomicExitNode() {
+    FlatAtomicEnterNode faen;
+    public FlatAtomicExitNode(FlatAtomicEnterNode faen) {
+       this.faen=faen;
+    }
+
+    public FlatAtomicEnterNode getAtomicEnter() {
+       return faen;
     }
 
     public String toString() {