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