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