if (database == null) { database = AnalysisContext.currentAnalysisContext().getUnconditionalDerefParamDatabase(); if (database == null) { database = new ParameterNullnessPropertyDatabase(); AnalysisContext.currentAnalysisContext().setUnconditionalDerefParamDatabase(database); } }
ParameterNullnessPropertyDatabase database = AnalysisContext.currentAnalysisContext().getUnconditionalDerefParamDatabase();
	public void visitClassContext(ClassContext classContext) {		if (database == null) {			database = AnalysisContext.currentAnalysisContext().getUnconditionalDerefParamDatabase();			if (database == null) {				database = new ParameterNullnessPropertyDatabase();				AnalysisContext.currentAnalysisContext().setUnconditionalDerefParamDatabase(database);			}		}				if (VERBOSE_DEBUG) System.out.println("Visiting class " + classContext.getJavaClass().getClassName());		Method[] methodList = classContext.getJavaClass().getMethods();		for (Method method : methodList) {			boolean hasReferenceParameters = false;			for (Type argument : method.getArgumentTypes())				if (argument instanceof ReferenceType)					hasReferenceParameters = true;			if (!hasReferenceParameters) continue;			if (classContext.getMethodGen(method) == null)				continue; // no code			if (VERBOSE_DEBUG) System.out.println("Check " + method);			analyzeMethod(classContext, method);		}	}