From 7ce4189485b2ab48772da21ee05a5640c796815b Mon Sep 17 00:00:00 2001 From: jjenista Date: Mon, 6 Apr 2009 21:49:54 +0000 Subject: [PATCH] some commented out code transplanted from BuildFlat that will be the basis for this analysis as a separate pass --- Robust/src/Analysis/MLP/MLPAnalysis.java | 21 +++++++++++++++++++-- 1 file changed, 19 insertions(+), 2 deletions(-) diff --git a/Robust/src/Analysis/MLP/MLPAnalysis.java b/Robust/src/Analysis/MLP/MLPAnalysis.java index 8b0a17ba..2970bd92 100644 --- 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() ); + } + */ } } -- 2.34.1