From: yeom Date: Thu, 28 Jan 2010 00:42:52 +0000 (+0000) Subject: changes. X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=1ec44ba6bc4cb7118d14a46e4320dd3f95b87d6a;p=IRC.git changes. --- diff --git a/Robust/src/Analysis/MLP/MLPAnalysis.java b/Robust/src/Analysis/MLP/MLPAnalysis.java index cb7e7fb1..16d977b3 100644 --- a/Robust/src/Analysis/MLP/MLPAnalysis.java +++ b/Robust/src/Analysis/MLP/MLPAnalysis.java @@ -3523,6 +3523,16 @@ public class MLPAnalysis { md.getSafeMethodDescriptor()+ ".txt" ) ); bw.write( "MLP Results for "+md+"\n-------------------\n"); + + FlatSESEEnterNode implicitSESE = (FlatSESEEnterNode) fm.getNext(0); + if( !implicitSESE.getIsCallerSESEplaceholder() && + implicitSESE != mainSESE + ) { + System.out.println( implicitSESE+" is not implicit?!" ); + System.exit( -1 ); + } + bw.write( "Dynamic vars to manage:\n "+implicitSESE.getDynamicVarSet()); + bw.write( "\n\nLive-In, Root View\n------------------\n" +fm.printMethod( livenessRootView ) ); bw.write( "\n\nVariable Results-Out\n----------------\n" +fm.printMethod( variableResults ) ); bw.write( "\n\nNot Available Results-Out\n---------------------\n"+fm.printMethod( notAvailableResults ) ); @@ -3634,6 +3644,8 @@ public class MLPAnalysis { } } + bw.write( " Dynamic vars to manage: "+fsen.getDynamicVarSet()+"\n"); + bw.write( " out-set: "+fsen.getOutVarSet()+"\n" ); bw.write( "}\n" ); }