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

more generics 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@511 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2006-12-13 20:54:35 +00:00
parent 73abdfbd9d
commit ae9272eb7e
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/ExplodedSupergraphPath.java
View File

@ -430,7 +430,7 @@ public class ExplodedSupergraphPath<T> {
* return nodes, and 2) excludes call/return pairs in which no state * return nodes, and 2) excludes call/return pairs in which no state
* transitions occur * transitions occur
*/ */
public static <T> ExplodedSupergraphPath summarize(ISupergraph<T,?> supergraph, ExplodedSupergraphPath<T> path) { public static <T> ExplodedSupergraphPath<T> summarize(ISupergraph<T,?> supergraph, ExplodedSupergraphPath<T> path) {
pruneForCallReturn(supergraph, path); pruneForCallReturn(supergraph, path);
// System.err.println("pruned path A: " + p); // System.err.println("pruned path A: " + p);
pruneBoringCalls(supergraph, path); pruneBoringCalls(supergraph, path);

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

@ -134,7 +134,7 @@ public class TabulationSolver<T, P> {
/** /**
* The problem being solved. * The problem being solved.
*/ */
private final TabulationProblem problem; private final TabulationProblem<T, P> problem;
/** /**
* A map from Object (entry node in supergraph) -> LocalPathEdges. * A map from Object (entry node in supergraph) -> LocalPathEdges.
@ -1060,7 +1060,7 @@ public class TabulationSolver<T, P> {
/** /**
* @return Returns the supergraph. * @return Returns the supergraph.
*/ */
public ISupergraph getSupergraph() { public ISupergraph<T,P> getSupergraph() {
return supergraph; return supergraph;
} }
@ -1122,7 +1122,7 @@ public class TabulationSolver<T, P> {
return summaries.getInvertedSummaryEdgesForTarget(num1, num2, d2); return summaries.getInvertedSummaryEdgesForTarget(num1, num2, d2);
} }
public TabulationProblem getProblem() { public TabulationProblem<T,P> getProblem() {
return problem; return problem;
} }
} }