KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > eclipse > core > resources > refresh > IRefreshMonitor


1 /*******************************************************************************
2  * Copyright (c) 2004, 2005 IBM Corporation and others.
3  * All rights reserved. This program and the accompanying materials
4  * are made available under the terms of the Eclipse Public License v1.0
5  * which accompanies this distribution, and is available at
6  * http://www.eclipse.org/legal/epl-v10.html
7  *
8  * Contributors:
9  * IBM - Initial API and implementation
10  *******************************************************************************/
11 package org.eclipse.core.resources.refresh;
12
13 import org.eclipse.core.resources.IResource;
14
15 /**
16  * An <code>IRefreshMonitor</code> monitors trees of <code>IResources</code>
17  * for changes in the local file system.
18  * <p>
19  * When an <code>IRefreshMonitor</code> notices changes, it should report them
20  * to the <code>IRefreshResult</code> provided at the time of the monitor's
21  * creation.
22  * <p>
23  * Clients may implement this interface.
24  * </p>
25  *
26  * @since 3.0
27  */
28 public interface IRefreshMonitor {
29     /**
30      * Informs the monitor that it should stop monitoring the given resource.
31      *
32      * @param resource the resource that should no longer be monitored, or
33      * <code>null</code> if this monitor should stop monitoring all resources
34      * it is currently monitoring
35      */
36     public void unmonitor(IResource resource);
37 }
38
Popular Tags