some commented out code transplanted from BuildFlat that will be the basis for this...

diff --git a/Robust/src/Analysis/MLP/MLPAnalysis.java b/Robust/src/Analysis/MLP/MLPAnalysis.java
index 8b0a17ba7325c4afcbd5f481995c1ee001e07e36..2970bd924663c9effc92664f0d2ff624d228a1e3 100644 (file)
--- a/Robust/src/Analysis/MLP/MLPAnalysis.java
+++ b/Robust/src/Analysis/MLP/MLPAnalysis.java
@@ -56,7 +56,24 @@ public class MLPAnalysis {
     */
 
     /*
-
-     */
+    if( sn.isStart() ) {
+      FlatSESEEnterNode fsen=new FlatSESEEnterNode(sn);
+      sn.setFlatEnter(fsen);
+      seseStack.push(fsen);
+      return new NodePair(fsen, fsen);
+    }
+
+    FlatSESEExitNode fsexn=new FlatSESEExitNode(sn);
+    sn.setFlatExit(fsexn);
+    FlatSESEEnterNode fsen=sn.getStart().getFlatEnter();
+    fsexn.setFlatEnter(fsen);    
+    sn.getStart().getFlatEnter().setFlatExit( fsexn );
+    assert !seseStack.empty();
+    assert fsen == seseStack.pop();
+    if( !seseStack.empty() ) {
+      seseStack.peek().addInVarSet ( fsen.getInVarSet()  );
+      seseStack.peek().addOutVarSet( fsen.getOutVarSet() );
+    }
+    */
   }
 }