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

Removed unnecessary generic.

This commit is contained in:
Stephan Gocht 2015-10-23 14:54:49 +02:00
parent 7238f6d1ed
commit ec4f5e506a
2 changed files with 4 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
com.ibm.wala.core/src/com/ibm/wala/analysis/nullpointer/IntraproceduralNullPointerAnalysis.java
View File

@ -20,9 +20,8 @@ import com.ibm.wala.util.MonitorUtil.IProgressMonitor;
* *
* @author Stephan Gocht <stephan@gobro.de> * @author Stephan Gocht <stephan@gobro.de>
* *
* @param <T>
*/ */
public class IntraproceduralNullPointerAnalysis<T extends ISSABasicBlock> { public class IntraproceduralNullPointerAnalysis {
static private final IProgressMonitor NO_PROGRESS_MONITOR = null; static private final IProgressMonitor NO_PROGRESS_MONITOR = null;
private final NullPointerSolver<ISSABasicBlock> solver; private final NullPointerSolver<ISSABasicBlock> solver;
private final IR ir; private final IR ir;

7
com.ibm.wala.core/src/com/ibm/wala/ipa/cfg/exceptionpruning/filter/NullPointerExceptionFilter.java
View File

@ -18,13 +18,12 @@ import com.ibm.wala.types.TypeReference;
* *
* @author Stephan Gocht <stephan@gobro.de> * @author Stephan Gocht <stephan@gobro.de>
* *
* @param <T>
*/ */
public class NullPointerExceptionFilter<T extends ISSABasicBlock> implements public class NullPointerExceptionFilter implements
ExceptionFilter<SSAInstruction> { ExceptionFilter<SSAInstruction> {
private final IntraproceduralNullPointerAnalysis<T> analysis; private final IntraproceduralNullPointerAnalysis analysis;
public NullPointerExceptionFilter(IntraproceduralNullPointerAnalysis<T> analysis) { public NullPointerExceptionFilter(IntraproceduralNullPointerAnalysis analysis) {
this.analysis = analysis; this.analysis = analysis;
} }