public Dataflow<StackDepth, StackDepthAnalysis> createDataflow(ClassContext classContext, Method method)
@Override public Dataflow<StackDepth, StackDepthAnalysis> createDataflow(ClassContext classContext, Method method)
	public static void main(String[] argv) throws Exception {		if (argv.length != 1) {			System.out.println("Usage: " + StackDepthAnalysis.class.getName() + " <class file>");			System.exit(1);		}		DataflowTestDriver<StackDepth, StackDepthAnalysis> driver = new DataflowTestDriver<StackDepth, StackDepthAnalysis>() {			public Dataflow<StackDepth, StackDepthAnalysis> createDataflow(ClassContext classContext, Method method)			        throws CFGBuilderException, DataflowAnalysisException {				DepthFirstSearch dfs = classContext.getDepthFirstSearch(method);				CFG cfg = classContext.getCFG(method);				StackDepthAnalysis analysis = new StackDepthAnalysis(classContext.getConstantPoolGen(), dfs);				Dataflow<StackDepth, StackDepthAnalysis> dataflow = new Dataflow<StackDepth, StackDepthAnalysis>(cfg, analysis);				dataflow.execute();				return dataflow;			}		};		driver.execute(argv[0]);	}