MayReturnNullPropertyDatabase nullReturnValueAnnotationDatabase; if ((nullReturnValueAnnotationDatabase = AnalysisContext.currentAnalysisContext().getNullReturnValueAnnotationDatabase()) != null && method.getSignature().indexOf(")L") >= 0) {  NonNullReturnValueAnnotationChecker annotationChecker = new NonNullReturnValueAnnotationChecker(nullReturnValueAnnotationDatabase);   nonNullReturn = false; } else { nonNullReturn = false; }
	private void analyzeMethod(ClassContext classContext, Method method)	        throws CFGBuilderException, DataflowAnalysisException {				this.method = method;		if (DEBUG || DEBUG_NULLARG)			System.out.println(SignatureConverter.convertMethodSignature(classContext.getMethodGen(method)));		// Get the IsNullValueAnalysis for the method from the ClassContext		IsNullValueDataflow invDataflow = classContext.getIsNullValueDataflow(method);				// Create a NullDerefAndRedundantComparisonFinder object to do the actual		// work.  It will call back to report null derefs and redundant null comparisons		// through the NullDerefAndRedundantComparisonCollector interface we implement.		NullDerefAndRedundantComparisonFinder worker = new NullDerefAndRedundantComparisonFinder(				classContext,				method,				invDataflow,				this);		worker.execute();		if (unconditionalDerefDatabase.get() != null				|| AnalysisContext.currentAnalysisContext().getNonNullParamDatabase() != null) {			examineCalledMethods();		}	}