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