if (nonNullDatabase == null) { nonNullDatabase = new NonNullParamPropertyDatabase(); FindNullDeref.nonNullParamDatabase.set(nonNullDatabase); possiblyNullDatabase = new NonNullParamPropertyDatabase(); FindNullDeref.possiblyNullParamDatabase.set(possiblyNullDatabase);
if (!setDatabase) { FindNullDeref.nonNullParamDatabase.set(getNonNullDatabase()); FindNullDeref.possiblyNullParamDatabase.set(getPossiblyNullDatabase());
	public void visitClassContext(ClassContext classContext) {		if (nonNullDatabase == null) {			nonNullDatabase = new NonNullParamPropertyDatabase();			FindNullDeref.nonNullParamDatabase.set(nonNullDatabase);			possiblyNullDatabase = new NonNullParamPropertyDatabase();			FindNullDeref.possiblyNullParamDatabase.set(possiblyNullDatabase);		}				classContext.getJavaClass().accept(this);	}