protected ConstantDataflow analyze(Method method) throws CFGBuilderException, DataflowAnalysisException { ConstantAnalysis analysis = new ConstantAnalysis( getMethodGen(method), getDepthFirstSearch(method) ); ConstantDataflow dataflow = new ConstantDataflow(getCFG(method), analysis); dataflow.execute();  return dataflow; }
protected ExceptionSetFactory analyze(Method method) { return new ExceptionSetFactory(); }
			protected ConstantDataflow analyze(Method method) throws CFGBuilderException, DataflowAnalysisException {				ConstantAnalysis analysis = new ConstantAnalysis(					getMethodGen(method),					getDepthFirstSearch(method)				);				ConstantDataflow dataflow = new ConstantDataflow(getCFG(method), analysis);				dataflow.execute();								return dataflow;			}