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