public interface IRefreshResult
IRefreshResultis provided to an auto-refresh monitor. The result is used to submit resources to be refreshed, and for reporting failure of the monitor.
|Modifier and Type||Method and Description|
Notifies that the given monitor has encountered a failure from which it cannot recover while monitoring the given resource.
Requests that the provided resource be refreshed.
void monitorFailed(IRefreshMonitor monitor, IResource 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.
monitor- a monitor which has encountered a failure that it cannot recover from
resource- the resource that the monitor can no longer monitor, or
nullto indicate that the monitor can no longer monitor any of the resources it was monitoring
void refresh(IResource resource)
resource- the resource to refresh
Copyright (c) 2000, 2018 Eclipse Contributors and others. All rights reserved.Guidelines for using Eclipse APIs.