Package org.eclipse.core.resources.refresh
package org.eclipse.core.resources.refresh
Provides APIs intended to be implemented by the auto-refresh providers.
Package Specification
This package specifies the APIs in the Resources plug-in that are intended
to be implemented and used by plug-ins using the refreshProviders
extension point.
This extension point is used by plug-ins to notify the workspace of changes that
have occurred externally in the file system.
- Since:
- 3.0
-
ClassDescriptionAn
IRefreshMonitor
monitors trees ofIResources
for changes in the local file system.AnIRefreshResult
is provided to an auto-refresh monitor.The abstract base class for all auto-refresh providers.