org.eclipse.core.resources.refresh
Interface IRefreshResult
-
public interface IRefreshResult
An IRefreshResult
is provided to an auto-refresh
monitor. The result is used to submit resources to be refreshed, and
for reporting failure of the monitor.
-
Since:
- 3.0
-
Restriction:
- This interface is not intended to be implemented by clients.
-
Restriction:
- This interface is not intended to be extended by clients.
Method Summary
|
void
|
monitorFailed
(
IRefreshMonitor monitor,
IResource resource)
Notifies that the given monitor has encountered a failure from which it
cannot recover while monitoring the given resource. |
void
|
refresh
(
IResource resource)
Requests that the provided resource be refreshed. |
monitorFailed
void monitorFailed(
IRefreshMonitor monitor,
IResource resource)
- Notifies that the given monitor has encountered a failure from which it
cannot recover while monitoring the given resource.
If the given resource is null
it indicates that the
monitor has failed completely, and the refresh manager will have to
take over the monitoring responsibilities for all resources that the
monitor was monitoring.
-
-
Parameters:
-
monitor
- a monitor which has encountered a failure that it
cannot recover from -
resource
- the resource that the monitor can no longer
monitor, or null
to indicate that the monitor can no
longer monitor any of the resources it was monitoring
refresh
void refresh(
IResource resource)
- Requests that the provided resource be refreshed. The refresh will
occur in the background during the next scheduled refresh.
-
-
Parameters:
-
resource
- the resource to refresh
Guidelines for using Eclipse APIs.
Copyright (c) Eclipse contributors and others 2000, 2008. All rights reserved.