public interface IRefreshMonitor
IRefreshMonitormonitors trees of
IResourcesfor changes in the local file system.
IRefreshMonitor notices changes, it should report them
IRefreshResult provided at the time of the monitor's
Clients may implement this interface.
(IResource resource)Informs the monitor that it should stop monitoring the given resource.
resource- the resource that should no longer be monitored, or
nullif this monitor should stop monitoring all resources it is currently monitoring