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.