如何使用 IResourceChangeListener

 

IResourceChangeListener是workspace下资源改变的监听器，该接口仅声明了一个方法：resourceChanged，当workspace下的资源改变时会调用该方法。 代码如下：

 

package org.eclipse.core.resources;

import java.util.EventListener;

public interface IResourceChangeListener extends EventListener {
        public void resourceChanged(IResourceChangeEvent event);
}

 

IResourceChangeEvent接口则定义了资源改变的类型和改变的信息：

 

 1
 2package org.eclipse.core.resources;
 3
 4import org.eclipse.core.runtime.IProgressMonitor;
 5
 6public interface IResourceChangeEvent {
 7
 8    public static final int POST_CHANGE = 1;
 9
    public static final int PRE_CLOSE = 2;

    public static final int PRE_DELETE = 4;

    public static final int PRE_AUTO_BUILD = 8;

    public static final int PRE_BUILD = 8;

    public static final int POST_AUTO_BUILD = 16;

    public static final int POST_BUILD = 16;
    
    public static final int PRE_REFRESH = 32;

    public IMarkerDelta[] findMarkerDeltas(String type, boolean includeSubtypes);

    public int getBuildKind();

    public IResourceDelta getDelta();

    public IResource getResource();

    public Object getSource();

    public int getType();
}

 

 

下面的代码是使用IResourceChangeListener的一个示例：

 

 1public class MyListener implements IResourceChangeListener{
 2
 3
 4
 5    public void resourceChanged(IResourceChangeEvent event) {
 6
 7        IProject project = getCurrentJRptProject();
 8        
 9        IResource resource = event.getResource();
        if ((resource instanceof IProject) && (project != null)) {
            String curName = project.getName();
            IProject curPorject = (IProject) resource;
            String name = curPorject.getName();
            if (!curName.equals(name)) {
                return;
            }
        }
        int type = event.getType();
        if (type == IResourceChangeEvent.PRE_CLOSE
                || type == IResourceChangeEvent.PRE_DELETE) {
            Display.getDefault().asyncExec(new Runnable() {
                public void run() {
                    doSomeThing();                    }
                }
            });
        }
    }


}

 

添加listener：

ResourcesPlugin.getWorkspace().addResourceChangeListener(theListener);

 

要记得适当的时机移除它：

ResourcesPlugin.getWorkspace().removeResourceChangeListener(theListener);