add disabling of load target selector to options

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4407 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
msridhar1 2012-01-06 21:48:28 +00:00
parent 1f5c0996e5
commit da746ac8a4
2 changed files with 10 additions and 2 deletions

View File

@ -14,6 +14,8 @@ public class JSAnalysisOptions extends AnalysisOptions {
* Defaults to true. * Defaults to true.
*/ */
private boolean handleCallApply = true; private boolean handleCallApply = true;
private boolean useLoadFileTargetSelector = true;
public JSAnalysisOptions(AnalysisScope scope, Iterable<? extends Entrypoint> e) { public JSAnalysisOptions(AnalysisScope scope, Iterable<? extends Entrypoint> e) {
super(scope, e); super(scope, e);
@ -30,4 +32,11 @@ public class JSAnalysisOptions extends AnalysisOptions {
this.handleCallApply = handleCallApply; this.handleCallApply = handleCallApply;
} }
public boolean useLoadFileTargetSelector() {
return useLoadFileTargetSelector;
}
public void setUseLoadFileTargetSelector(boolean useIt) {
this.useLoadFileTargetSelector = useIt;
}
} }

View File

@ -32,7 +32,6 @@ public class JSZeroOrOneXCFABuilder extends JSCFABuilder {
private static final boolean USE_OBJECT_SENSITIVITY = false; private static final boolean USE_OBJECT_SENSITIVITY = false;
private static final boolean USE_LOAD_FILE_TARGET_SELECTOR = false;
public JSZeroOrOneXCFABuilder(IClassHierarchy cha, JSAnalysisOptions options, AnalysisCache cache, public JSZeroOrOneXCFABuilder(IClassHierarchy cha, JSAnalysisOptions options, AnalysisCache cache,
ContextSelector appContextSelector, SSAContextInterpreter appContextInterpreter, int instancePolicy, boolean doOneCFA) { ContextSelector appContextSelector, SSAContextInterpreter appContextInterpreter, int instancePolicy, boolean doOneCFA) {
@ -50,7 +49,7 @@ public class JSZeroOrOneXCFABuilder extends JSCFABuilder {
if (options.handleCallApply()) { if (options.handleCallApply()) {
targetSelector = new JavaScriptFunctionDotCallTargetSelector(targetSelector); targetSelector = new JavaScriptFunctionDotCallTargetSelector(targetSelector);
} }
if (USE_LOAD_FILE_TARGET_SELECTOR) { if (options.useLoadFileTargetSelector()) {
targetSelector = new LoadFileTargetSelector(targetSelector, this); targetSelector = new LoadFileTargetSelector(targetSelector, this);
} }
options.setSelector(targetSelector); options.setSelector(targetSelector);