if (INTERPROC_DATABASE && !interprocDatabasesLoaded) { mayReturnNullDatabase = loadMethodPropertyDatabase( new MayReturnNullPropertyDatabase(), MayReturnNullPropertyDatabase.DEFAULT_FILENAME, "may return null database"); interprocDatabasesLoaded = true; }
loadInterproceduralDatabasesIfNeeded();
	public ClassContext getClassContext(JavaClass javaClass) {		if (INTERPROC_DATABASE && !interprocDatabasesLoaded) {			mayReturnNullDatabase = loadMethodPropertyDatabase(					new MayReturnNullPropertyDatabase(),					MayReturnNullPropertyDatabase.DEFAULT_FILENAME,					"may return null database");			interprocDatabasesLoaded = true;		}				ClassContext classContext = classContextCache.get(javaClass);		if (classContext == null) {			classContext = new ClassContext(javaClass, this);			classContextCache.put(javaClass, classContext);		}		return classContext;	}