Bug 297641: Result cache of read-only fragments is not cleared.

core/org.eclipse.cdt.core.tests/parser/org/eclipse/cdt/internal/index/tests/EmptyIndexFragment.java

@@ -139,4 +139,7 @@ public class EmptyIndexFragment implements IIndexFragment {
 	public Object putCachedResult(Object key, Object value, boolean replace) {
 		return value;
 	}
+
+	public void clearResultCache() {
+	}
 }

core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/index/CIndex.java

@@ -614,6 +614,12 @@ public class CIndex implements IIndex {
 		}
 	}
 	
+	void clearResultCaches() {
+		for (IIndexFragment frag : fFragments) {
+			frag.clearResultCache();
+		}
+	}
+	
 	public IIndexFileSet createFileSet() {
 		return new IndexFileSet();
 	}

core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/index/IIndexFragment.java

@@ -273,4 +273,9 @@ public interface IIndexFragment {
 	 * longer holds a locks. 
 	 */
 	Object getCachedResult(Object key);
+
+	/**
+	 * Clears the result cache.
+	 */
+	void clearResultCache();
 }

core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/index/WritableCIndex.java

@@ -122,6 +122,9 @@ public class WritableCIndex extends CIndex implements IWritableIndex {
 
 		fIsWriteLocked= false;
 		fWritableFragment.releaseWriteLock(establishReadlockCount, flush);
+		
+		// Bug 297641: Result cache of read only providers needs to be cleared.
+		clearResultCaches();
 	}
 
 	public void flush() throws CoreException {

core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/pdom/PDOM.java

@@ -1145,7 +1145,7 @@ public class PDOM extends PlatformObject implements IPDOM {
 		clearResultCache();
 	}
 
-	private void clearResultCache() {
+	public void clearResultCache() {
 		synchronized (fResultCache) {
 			fResultCache.clear();
 		}

core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/pdom/PDOMProxy.java

@@ -274,4 +274,8 @@ public class PDOMProxy implements IPDOM {
 	public Object putCachedResult(Object key, Object value, boolean replace) {
 		return value;
 	}
+	public void clearResultCache() {
+		if (fDelegate != null)
+			fDelegate.clearResultCache();
+	}
 }