Dataflow<ExceptionPathValue, ExceptionPathValueAnalysis> dataflow = new Dataflow<ExceptionPathValue,ExceptionPathValueAnalysis>(classContext.getCFG(method), analysis);
ExceptionPathValueDataflow dataflow = new ExceptionPathValueDataflow(classContext.getCFG(method), analysis);
	public static void main(String[] argv) throws Exception {		if (argv.length != 1) {			System.err.println("Usage: " + ExceptionPathValueAnalysis.class.getName() + " <classfile>");			System.exit(1);		}		DataflowTestDriver<ExceptionPathValue, ExceptionPathValueAnalysis> driver = new DataflowTestDriver<ExceptionPathValue, ExceptionPathValueAnalysis>() {			public Dataflow<ExceptionPathValue, ExceptionPathValueAnalysis> createDataflow(ClassContext classContext, Method method)				throws CFGBuilderException, DataflowAnalysisException {				ExceptionPathValueAnalysis analysis =					new ExceptionPathValueAnalysis(classContext.getDepthFirstSearch(method));				Dataflow<ExceptionPathValue, ExceptionPathValueAnalysis> dataflow =					new Dataflow<ExceptionPathValue,ExceptionPathValueAnalysis>(classContext.getCFG(method), analysis);				dataflow.execute();				return dataflow;			}		};		driver.execute(argv[0]);	}