[Joeq-checkins] joeq_core/joeq/Compiler/Analysis/IPA PA.java,1.164,1.165

[CS343 s. <cs...@us...>]

Update of /cvsroot/joeq/joeq_core/joeq/Compiler/Analysis/IPA
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv20951/joeq/Compiler/Analysis/IPA

Modified Files:
	PA.java 
Log Message:
minor

Index: PA.java
===================================================================
RCS file: /cvsroot/joeq/joeq_core/joeq/Compiler/Analysis/IPA/PA.java,v
retrieving revision 1.164
retrieving revision 1.165
diff -C2 -d -r1.164 -r1.165
*** PA.java	18 Aug 2004 21:49:25 -0000	1.164
--- PA.java	18 Aug 2004 22:00:58 -0000	1.165
***************
*** 3048,3052 ****
          System.out.println("Vars="+vars+" Heaps="+heaps+" Classes="+classes.size()+" Fields="+fields.size());
          PathNumbering pn = null;
!         if (CONTEXT_SENSITIVE)
              if(BETTER_CONTEXT_NUMBERING){
                  Set sccs = SCComponent.buildSCC(cg);
--- 3048,3052 ----
          System.out.println("Vars="+vars+" Heaps="+heaps+" Classes="+classes.size()+" Fields="+fields.size());
          PathNumbering pn = null;
!         if (CONTEXT_SENSITIVE) {
              if(BETTER_CONTEXT_NUMBERING){
                  Set sccs = SCComponent.buildSCC(cg);
***************
*** 3061,3070 ****
                      selector = varPathSelector; 
                  }
                  pn = new GlobalPathNumbering(selector);
              } else {
                  pn = new SCCPathNumbering(varPathSelector);
              }
!         else
              pn = null;
          Map initialCounts = null; //new ThreadRootMap(thread_runs);
          BigInteger paths = (BigInteger) pn.countPaths(cg.getRoots(), cg.getCallSiteNavigator(), initialCounts);
--- 3061,3072 ----
                      selector = varPathSelector; 
                  }
+                 System.err.println("Using GlobalPathNumbering");
                  pn = new GlobalPathNumbering(selector);
              } else {
                  pn = new SCCPathNumbering(varPathSelector);
              }
!         } else {
              pn = null;
+         }
          Map initialCounts = null; //new ThreadRootMap(thread_runs);
          BigInteger paths = (BigInteger) pn.countPaths(cg.getRoots(), cg.getCallSiteNavigator(), initialCounts);