invAnalysis.setMayReturnNullDatabase(analysisContext.getMayReturnNullDatabase());
		        protected IsNullValueDataflow analyze(Method method) throws DataflowAnalysisException, CFGBuilderException {			        MethodGen methodGen = getMethodGen(method);			        CFG cfg = getCFG(method);			        ValueNumberDataflow vnaDataflow = getValueNumberDataflow(method);			        DepthFirstSearch dfs = getDepthFirstSearch(method);			        AssertionMethods assertionMethods = getAssertionMethods();			        IsNullValueAnalysis invAnalysis = new IsNullValueAnalysis(methodGen, cfg, vnaDataflow, dfs, assertionMethods);					// Set return value and parameter databases					invAnalysis.setMayReturnNullDatabase(analysisContext.getMayReturnNullDatabase());					invAnalysis.setNullReturnAnnotationDatabase(analysisContext.getNullReturnValueAnnotationDatabase());					invAnalysis.setNonNullParamDatabase(analysisContext.getNonNullParamDatabase());					invAnalysis.setCheckForNullParamDatabase(analysisContext.getCheckForNullParamDatabase());					invAnalysis.setClassAndMethod(new JavaClassAndMethod(getJavaClass(), method));								        IsNullValueDataflow invDataflow = new IsNullValueDataflow(cfg, invAnalysis);			        invDataflow.execute();			        return invDataflow;		        }