public Dataflow<ConstantFrame, ConstantAnalysis> createDataflow(
@Override public Dataflow<ConstantFrame, ConstantAnalysis> createDataflow(
	public static void main(String[] argv) throws Exception {		if (argv.length != 1) {			System.err.println("Usage: " + ConstantAnalysis.class.getName() + " <class file>");			System.exit(1);		}				DataflowTestDriver<ConstantFrame, ConstantAnalysis> driver =			new DataflowTestDriver<ConstantFrame, ConstantAnalysis>() {				public Dataflow<ConstantFrame, ConstantAnalysis> createDataflow(						ClassContext classContext,						Method method) throws CFGBuilderException, DataflowAnalysisException {					return classContext.getConstantDataflow(method);				}			};					driver.execute(argv[0]);	}