Bug 543885

Summary:	[code mining] Allow to mark specific providers as "dirty"
Product:	[Eclipse Project] Platform	Reporter:	Mickael Istria <mistria>
Component:	Text	Assignee:	Platform-Text-Inbox <platform-text-inbox>
Status:	NEW ---	QA Contact:
Severity:	enhancement
Priority:	P3	CC:	daniel_megert
Version:	4.8
Target Milestone:	---
Hardware:	All
OS:	All
See Also:	https://bugs.eclipse.org/bugs/show_bug.cgi?id=542895
Whiteboard:

Description Mickael Istria

2019-01-28 03:46:50 EST

In bug 542895 was identified that providers can have different triggers for re-computing code minings, and the rendering can be requested through different strategies.
We should provide some APIs to make it possible to mark some specific providers as dirty, so the next rendering would re-use existing results from non-dirty providers and re-compute results from dirty providers.