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

just format 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2174 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2007-12-13 00:43:03 +00:00
parent aafd03dc5d
commit b66f73c8cd
1 changed files with 14 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/callGraph/CallGraphTestUtil.java
View File

@ -45,18 +45,19 @@ public class CallGraphTestUtil {
}
public static String REGRESSION_EXCLUSIONS = "Java60RegressionExclusions.txt";
// public static AnalysisScope makeJ2SEAnalysisScope(String scopeFile) {
// return AnalysisScopeReader.read(scopeFile, "J2SEClassHierarchyExclusions.txt", MY_CLASSLOADER);
// }
// public static AnalysisScope makeJ2SEAnalysisScope(String scopeFile) {
// return AnalysisScopeReader.read(scopeFile,
// "J2SEClassHierarchyExclusions.txt", MY_CLASSLOADER);
// }
public static AnalysisScope makeJ2SEAnalysisScope(String scopeFile, String exclusionsFile) {
AnalysisScope scope =
AnalysisScopeReader.read(scopeFile, exclusionsFile, MY_CLASSLOADER);
AnalysisScope scope = AnalysisScopeReader.read(scopeFile, exclusionsFile, MY_CLASSLOADER);
return scope;
}
public static CallGraph buildRTA(AnalysisOptions options, AnalysisCache cache, ClassHierarchy cha, AnalysisScope scope) throws IllegalArgumentException, CancelException {
public static CallGraph buildRTA(AnalysisOptions options, AnalysisCache cache, ClassHierarchy cha, AnalysisScope scope)
throws IllegalArgumentException, CancelException {
Stopwatch S = new Stopwatch("build RTA graph");
S.start();
@ -68,7 +69,8 @@ public class CallGraphTestUtil {
return cg;
}
public static CallGraph buildZeroCFA(AnalysisOptions options, AnalysisCache cache, ClassHierarchy cha, AnalysisScope scope, boolean testPAtoString) throws IllegalArgumentException, CancelException {
public static CallGraph buildZeroCFA(AnalysisOptions options, AnalysisCache cache, ClassHierarchy cha, AnalysisScope scope,
boolean testPAtoString) throws IllegalArgumentException, CancelException {
Stopwatch S = new Stopwatch("build ZeroCFA graph");
S.start();
@ -96,7 +98,8 @@ public class CallGraphTestUtil {
return cg;
}
public static CallGraph buildZeroOneCFA(AnalysisOptions options, AnalysisCache cache, ClassHierarchy cha, AnalysisScope scope, boolean testPAtoString) throws IllegalArgumentException, CancelException {
public static CallGraph buildZeroOneCFA(AnalysisOptions options, AnalysisCache cache, ClassHierarchy cha, AnalysisScope scope,
boolean testPAtoString) throws IllegalArgumentException, CancelException {
Stopwatch S = new Stopwatch("build 0-1-CFA graph");
S.start();
@ -137,7 +140,8 @@ public class CallGraphTestUtil {
return cg;
}
public static CallGraph buildOneCFA(AnalysisOptions options, AnalysisCache cache, ClassHierarchy cha, AnalysisScope scope) throws IllegalArgumentException, CancelException {
public static CallGraph buildOneCFA(AnalysisOptions options, AnalysisCache cache, ClassHierarchy cha, AnalysisScope scope)
throws IllegalArgumentException, CancelException {
Stopwatch S = new Stopwatch("build 1-CFA graph");
S.start();