DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

added ability to print worklists 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2685 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
msridhar1 2008-03-06 18:26:42 +00:00
parent a2c6cad49e
commit 88917bac3c
2 changed files with 13 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/TabulationSolver.java
View File

@ -131,7 +131,7 @@ public class TabulationSolver<T, P> {
*
*/
final protected Map<P, LocalSummaryEdges> summaryEdges = HashMapFactory.make();
/**
* the set of all {@link PathEdge}s that were used as seeds during the tabulation.
*/
@ -199,7 +199,7 @@ public class TabulationSolver<T, P> {
}
/**
* Restart tabulation from a particular path edge. Use with care.
* Restart tabulation from a particular path edge. Use with care.
*/
public void addSeed(PathEdge<T> seed) {
seeds.add(seed);
@ -798,6 +798,9 @@ public class TabulationSolver<T, P> {
protected void addToWorkList(T s_p, int i, T n, int j) {
worklist.insert(PathEdge.createPathEdge(s_p, i, n, j));
if (DEBUG_LEVEL >= 2) {
System.err.println("WORKLIST: " + worklist);
}
}
protected LocalPathEdges findOrCreateLocalPathEdges(T s_p) {
@ -967,6 +970,7 @@ public class TabulationSolver<T, P> {
}
return false;
}
}
/**

7
com.ibm.wala.core/src/com/ibm/wala/util/collections/Heap.java
View File

@ -12,6 +12,8 @@ package com.ibm.wala.util.collections;
import java.util.NoSuchElementException;
import com.ibm.wala.demandpa.genericutil.Util;
/**
* Simple Heap data structure.
*
@ -155,4 +157,9 @@ public abstract class Heap<T> {
}
}
}
@Override
public String toString() {
return Util.objArrayToString(backingStore);
}
}