KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > eclipse > core > resources > IResourceChangeListener


1 /*******************************************************************************
2  * Copyright (c) 2000, 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 Corporation - initial API and implementation
10  *******************************************************************************/

11 package org.eclipse.core.resources;
12
13 import java.util.EventListener JavaDoc;
14
15 /**
16  * A resource change listener is notified of changes to resources
17  * in the workspace.
18  * These changes arise from direct manipulation of resources, or
19  * indirectly through re-synchronization with the local file system.
20  * <p>
21  * Clients may implement this interface.
22  * </p>
23  * @see IResourceDelta
24  * @see IWorkspace#addResourceChangeListener(IResourceChangeListener, int)
25  */

26 public interface IResourceChangeListener extends EventListener JavaDoc {
27     /**
28      * Notifies this listener that some resource changes
29      * are happening, or have already happened.
30      * <p>
31      * The supplied event gives details. This event object (and the
32      * resource delta within it) is valid only for the duration of
33      * the invocation of this method.
34      * </p>
35      * <p>
36      * Note: This method is called by the platform; it is not intended
37      * to be called directly by clients.
38      * <p>
39      * Note that during resource change event notification, further changes
40      * to resources may be disallowed.
41      * </p>
42      *
43      * @param event the resource change event
44      * @see IResourceDelta
45      */

46     public void resourceChanged(IResourceChangeEvent event);
47 }
48
Popular Tags