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

small bug fix 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2595 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
msridhar1 2008-02-20 17:50:17 +00:00
parent 3502d708b1
commit d442fc442f
1 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
com.ibm.wala.core.tests/src/com/ibm/wala/examples/drivers/GVSlice.java
View File

@ -11,6 +11,7 @@
package com.ibm.wala.examples.drivers; package com.ibm.wala.examples.drivers;
import java.io.File; import java.io.File;
import java.io.IOException;
import java.util.Collection; import java.util.Collection;
import java.util.Properties; import java.util.Properties;
@ -51,6 +52,7 @@ import com.ibm.wala.util.graph.GraphIntegrity;
import com.ibm.wala.util.graph.GraphSlicer; import com.ibm.wala.util.graph.GraphSlicer;
import com.ibm.wala.util.graph.GraphIntegrity.UnsoundGraphException; import com.ibm.wala.util.graph.GraphIntegrity.UnsoundGraphException;
import com.ibm.wala.util.io.CommandLine; import com.ibm.wala.util.io.CommandLine;
import com.ibm.wala.util.io.FileProvider;
import com.ibm.wala.util.warnings.WalaException; import com.ibm.wala.util.warnings.WalaException;
import com.ibm.wala.viz.DotUtil; import com.ibm.wala.viz.DotUtil;
import com.ibm.wala.viz.GVUtil; import com.ibm.wala.viz.GVUtil;
@ -88,6 +90,7 @@ public class GVSlice {
* *
* @throws CancelException * @throws CancelException
* @throws IllegalArgumentException * @throws IllegalArgumentException
* @throws IOException
* *
* @see com.ibm.wala.ipa.slicer.Slicer.DataDependenceOptions * @see com.ibm.wala.ipa.slicer.Slicer.DataDependenceOptions
* <li> "control dependence options" can be "-full" or "-none" * <li> "control dependence options" can be "-full" or "-none"
@ -95,7 +98,7 @@ public class GVSlice {
* </ul> * </ul>
* *
*/ */
public static void main(String[] args) throws WalaException, IllegalArgumentException, CancelException { public static void main(String[] args) throws WalaException, IllegalArgumentException, CancelException, IOException {
run(args); run(args);
} }
@ -104,8 +107,9 @@ public class GVSlice {
* *
* @throws CancelException * @throws CancelException
* @throws IllegalArgumentException * @throws IllegalArgumentException
* @throws IOException
*/ */
public static Process run(String[] args) throws WalaException, IllegalArgumentException, CancelException { public static Process run(String[] args) throws WalaException, IllegalArgumentException, CancelException, IOException {
// parse the command-line into a Properties object // parse the command-line into a Properties object
Properties p = CommandLine.parse(args); Properties p = CommandLine.parse(args);
// validate that the command-line has the expected format // validate that the command-line has the expected format
@ -138,10 +142,10 @@ public class GVSlice {
* @throws IllegalArgumentException * @throws IllegalArgumentException
*/ */
public static Process run(String appJar, String mainClass, String srcCaller, String srcCallee, boolean goBackward, public static Process run(String appJar, String mainClass, String srcCaller, String srcCallee, boolean goBackward,
DataDependenceOptions dOptions, ControlDependenceOptions cOptions) throws IllegalArgumentException, CancelException { DataDependenceOptions dOptions, ControlDependenceOptions cOptions) throws IllegalArgumentException, CancelException, IOException {
try { try {
// create an analysis scope representing the appJar as a J2SE application // create an analysis scope representing the appJar as a J2SE application
AnalysisScope scope = AnalysisScopeReader.makeJavaBinaryAnalysisScope(appJar, new File( AnalysisScope scope = AnalysisScopeReader.makeJavaBinaryAnalysisScope(appJar, FileProvider.getFile(
CallGraphTestUtil.REGRESSION_EXCLUSIONS)); CallGraphTestUtil.REGRESSION_EXCLUSIONS));
// build a class hierarchy, call graph, and system dependence graph // build a class hierarchy, call graph, and system dependence graph