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
-
Interface Summary Interface Description IRefreshMonitor AnIRefreshMonitormonitors trees ofIResourcesfor changes in the local file system.IRefreshResult AnIRefreshResultis provided to an auto-refresh monitor. -
Class Summary Class Description RefreshProvider The abstract base class for all auto-refresh providers.