public LockCountAnalysis createAnalysis(MethodGen methodGen, CFG cfg) throws DataflowAnalysisException { DepthFirstSearch dfs = new DepthFirstSearch(cfg).search(); ValueNumberDataflow vnaDataflow = new ValueNumberDataflow(cfg, new ValueNumberAnalysis(methodGen, dfs)); vnaDataflow.execute();
public Dataflow<LockCount, LockCountAnalysis> createDataflow(ClassContext classContext, Method method) throws CFGBuilderException, DataflowAnalysisException {
	public static void main(String[] argv) {		try {			if (argv.length != 1) {				System.out.println("edu.umd.cs.daveho.ba.OtherLockCountAnalysis <filename>");				System.exit(1);			}			DataflowTestDriver<LockCount, LockCountAnalysis> driver = new DataflowTestDriver<LockCount, LockCountAnalysis>() {				public LockCountAnalysis createAnalysis(MethodGen methodGen, CFG cfg) throws DataflowAnalysisException {					DepthFirstSearch dfs = new DepthFirstSearch(cfg).search();					ValueNumberDataflow vnaDataflow = new ValueNumberDataflow(cfg, new ValueNumberAnalysis(methodGen, dfs));					vnaDataflow.execute();					return new OtherLockCountAnalysis(methodGen, vnaDataflow, dfs);				}			};			driver.execute(argv[0]);		} catch (Exception e) {			e.printStackTrace();		}	}