From: jjenista Date: Mon, 6 Apr 2009 21:49:54 +0000 (+0000) Subject: some commented out code transplanted from BuildFlat that will be the basis for this... X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=7ce4189485b2ab48772da21ee05a5640c796815b;p=IRC.git some commented out code transplanted from BuildFlat that will be the basis for this analysis as a separate pass --- 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() ); + } + */ } }