public interface IRefreshMonitorAn
IRefreshMonitormonitors trees of
IResourcesfor changes in the local file system.
IRefreshMonitornotices changes, it should report them to the
IRefreshResultprovided at the time of the monitor's creation.
Clients may implement this interface.
void unmonitor(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