NonNullParamPropertyDatabase unconditionalDerefDatabase = AnalysisContext.currentAnalysisContext().getUnconditionalDerefDatabase(); NonNullParamPropertyDatabase nonNullParamDatabase = AnalysisContext.currentAnalysisContext().getNonNullParamDatabase();  if (unconditionalDerefDatabase != null || nonNullParamDatabase != null) { examineCalledMethods(unconditionalDerefDatabase, nonNullParamDatabase);
if (unconditionalDerefDatabase.get() != null || nonNullParamDatabase.get() != null) { examineCalledMethods(unconditionalDerefDatabase.get(), nonNullParamDatabase.get());
	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();		NonNullParamPropertyDatabase unconditionalDerefDatabase =			AnalysisContext.currentAnalysisContext().getUnconditionalDerefDatabase();		NonNullParamPropertyDatabase nonNullParamDatabase =			AnalysisContext.currentAnalysisContext().getNonNullParamDatabase();					if (unconditionalDerefDatabase != null || nonNullParamDatabase != null) {			examineCalledMethods(unconditionalDerefDatabase, nonNullParamDatabase);		}	}