import org.eclipse.core.resources.IProjectDescription;
import org.eclipse.core.resources.IResource;
import org.eclipse.core.resources.IResourceChangeEvent;
+import org.eclipse.core.resources.IResourceChangeListener;
import org.eclipse.core.resources.ISavedState;
import org.eclipse.core.resources.IWorkspace;
import org.eclipse.core.resources.IWorkspaceRoot;
}
/**
+ * Adds the given listener for POST_CHANGE resource change events to the Java core.
+ * The listener is guarantied to be notified of the POST_CHANGE resource change event before
+ * the Java core starts processing the resource change event itself.
+ * <p>
+ * Has no effect if an identical listener is already registered.
+ * </p>
+ *
+ * @param listener the listener
+ * @see #removePreProcessingResourceChangedListener(IResourceChangeListener)
+ * @since 3.0
+ */
+ public static void addPreProcessingResourceChangedListener(IResourceChangeListener listener) {
+ JavaModelManager.getJavaModelManager().deltaState.addPreResourceChangedListener(listener);
+ }
+ /**
* Configures the given marker for the given Java element. Used for markers,
* which denote a Java element rather than a resource.
*