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; 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 { 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