Refresh providers
The
org.eclipse.core.resources.refreshProviders
extension point allows plug-ins to register and implement their own mechanisms for monitoring the external file system
and refreshing the workspace appropriately. This extension point is intended for plug-ins that implement
specialized, often native, schemes for monitoring file system changes.
The plug-in fragment org.eclipse.core.resources.win32 implements a native refresh monitor based on
file system callbacks. A more naive refresh monitor based on polling is defined for other platforms.
The following snippet shows the definition for this extension in the org.eclipse.core.resources.win32
fragment.
<extension
id="win32"
point="org.eclipse.core.resources.refreshProviders">
<refreshProvider
name="%win32MonitorFactoryName"
class="org.eclipse.core.internal.resources.refresh.win32.Win32RefreshProvider">
</refreshProvider>
</extension>
The class attribute must be a class that extends
RefreshProvider
.
This class is responsible for installing a monitor on a specific resource and its resource subtree if it is a
project or folder. The monitor must implement
IRefreshMonitor
.
