From ae9272eb7e9173ce9b3dd09d1892ad3314dca408 Mon Sep 17 00:00:00 2001
From: sjfink <sjfink@f5eafffb-2e1d-0410-98e4-8ec43c5233c4>
Date: Wed, 13 Dec 2006 20:54:35 +0000
Subject: [PATCH] more generics

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@511 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
---
 .../com/ibm/wala/dataflow/IFDS/ExplodedSupergraphPath.java  | 2 +-
 .../src/com/ibm/wala/dataflow/IFDS/TabulationSolver.java    | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/ExplodedSupergraphPath.java b/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/ExplodedSupergraphPath.java
index dd8be9cfd..8ed23097a 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/ExplodedSupergraphPath.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/ExplodedSupergraphPath.java
@@ -430,7 +430,7 @@ public class ExplodedSupergraphPath<T> {
    * return nodes, and 2) excludes call/return pairs in which no state
    * 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);
     // System.err.println("pruned path A: " + p);
     pruneBoringCalls(supergraph, path);
diff --git a/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/TabulationSolver.java b/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/TabulationSolver.java
index 262e269a4..df7d48aa2 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/TabulationSolver.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/TabulationSolver.java
@@ -134,7 +134,7 @@ public class TabulationSolver<T, P> {
   /**
    * The problem being solved.
    */
-  private final TabulationProblem problem;
+  private final TabulationProblem<T, P> problem;
 
   /**
    * A map from Object (entry node in supergraph) -> LocalPathEdges.
@@ -1060,7 +1060,7 @@ public class TabulationSolver<T, P> {
   /**
    * @return Returns the supergraph.
    */
-  public ISupergraph getSupergraph() {
+  public ISupergraph<T,P> getSupergraph() {
     return supergraph;
   }
 
@@ -1122,7 +1122,7 @@ public class TabulationSolver<T, P> {
     return summaries.getInvertedSummaryEdgesForTarget(num1, num2, d2);
   }
 
-  public TabulationProblem getProblem() {
+  public TabulationProblem<T,P> getProblem() {
     return problem;
   }
 }