public ResourceTracker<Lock> createResourceTracker(RepositoryLookupFailureCallback lookupFailureCallback, MethodGen methodGen, CFG cfg) throws CFGBuilderException, DataflowAnalysisException { ValueNumberAnalysis vna = new ValueNumberAnalysis(methodGen, new DepthFirstSearch(cfg).search()); ValueNumberDataflow vnaDataflow = new ValueNumberDataflow(cfg, vna); vnaDataflow.execute();
public ResourceTracker<Lock> createResourceTracker(ClassContext classContext, Method method) throws CFGBuilderException, DataflowAnalysisException {  ValueNumberDataflow vnaDataflow = classContext.getValueNumberDataflow(method); RepositoryLookupFailureCallback lookupFailureCallback = classContext.getLookupFailureCallback();
			public ResourceTracker<Lock> createResourceTracker(RepositoryLookupFailureCallback lookupFailureCallback,				MethodGen methodGen, CFG cfg) throws CFGBuilderException, DataflowAnalysisException {				ValueNumberAnalysis vna = new ValueNumberAnalysis(methodGen, new DepthFirstSearch(cfg).search());				ValueNumberDataflow vnaDataflow = new ValueNumberDataflow(cfg, vna);				vnaDataflow.execute();				return new LockResourceTracker(lookupFailureCallback, vnaDataflow);			}