Package | Description |
---|---|
org.eclipse.core.resources.refresh |
Provides APIs intended to be implemented by the auto-refresh providers.
|
Modifier and Type | Method and Description |
---|---|
protected IRefreshMonitor |
RefreshProvider.createPollingMonitor(IResource resource)
Creates a new refresh monitor that performs naive polling of the resource
in the file system to detect changes.
|
abstract IRefreshMonitor |
RefreshProvider.installMonitor(IResource resource,
IRefreshResult result)
Returns an
IRefreshMonitor that will monitor a resource. |
Modifier and Type | Method and Description |
---|---|
void |
IRefreshResult.monitorFailed(IRefreshMonitor monitor,
IResource resource)
Notifies that the given monitor has encountered a failure from which it
cannot recover while monitoring the given resource.
|
Copyright (c) 2000, 2014 Eclipse Contributors and others. All rights reserved.Guidelines for using Eclipse APIs.