CloneSet9530

plugins/org.eclipse.jdt.core/model/org/eclipse/jdt/core/JavaCore.java

plugins/org.eclipse.jdt.core/model/org/eclipse/jdt/core/JavaCore.java

        /**
         * Adds the given listener for changes to Java elements.
         * Has no effect if an identical listener is already registered.
         * After completion of this method, the given listener will be registered for exactly
         * the specified events.  If they were previously registered for other events, they
         * will be deregistered.  
         * <p>
         * Once registered, a listener starts receiving notification of changes to
         * java elements in the model. The listener continues to receive 
         * notifications until it is replaced or removed. 
         * </p>
         * <p>
         * Listeners can listen for several types of event as defined in <code>ElementChangeEvent</code>.
         * Clients are free to register for any number of event types however if they register
         * for more than one, it is their responsibility to ensure they correctly handle the
         * case where the same java element change shows up in multiple notifications.  
         * Clients are guaranteed to receive only the events for which they are registered.
         * </p>
         * 
         * @param listener the listener
         * @param eventMask the bit-wise OR of all event types of interest to the listener
         * @see IElementChangedListener
         * @see ElementChangedEvent
         * @see #removeElementChangedListener(IElementChangedListener)
         * @since 2.0
         */
        public static void addElementChangedListener(IElementChangedListener listener, int eventMask) {
                JavaModelManager.getJavaModelManager().deltaState.addElementChangedListener(listener, eventMask);
        }

        /**
         * Adds the given listener for resource change events of the given types to the Java core. 
         * The listener is guaranteed to be notified of the resource change event before
         * the Java core starts processing the resource change event itself.
         * <p>
         * If an identical listener is already registered, the given event types are added to the event types 
         * of interest to the listener.
         * </p>
         * <p>
         * Supported event types are:
         * <ul>
         * <li>{@link IResourceChangeEvent#PRE_BUILD}</li>
         * <li>{@link IResourceChangeEvent#POST_BUILD}</li>
         * <li>{@link IResourceChangeEvent#POST_CHANGE}</li>
         * <li>{@link IResourceChangeEvent#PRE_DELETE}</li>
         * <li>{@link IResourceChangeEvent#PRE_CLOSE}</li>
         * </ul>
         * This list may increase in the future.
         * </p>
         * 
         * @param listener the listener
         * @param eventMask the bit-wise OR of all event types of interest to the
         * listener
         * @see #removePreProcessingResourceChangedListener(IResourceChangeListener)
         * @see IResourceChangeEvent
         * @since 3.2
         */
        public static void addPreProcessingResourceChangedListener(IResourceChangeListener listener, int eventMask) {
                JavaModelManager.getJavaModelManager().deltaState.addPreResourceChangedListener(listener, eventMask);
        }

/**
         * Adds the given listener for changes to Java elements.
         * Has no effect if an identical listener is already registered.
         * After completion of this method, the given listener will be registered for exactly
         * the specified events.  If they were previously registered for other events, they
         * will be deregistered.  
         * <p>
         * Once registered, a listener starts receiving notification of changes to
         * java elements in the model. The listener continues to receive 
         * notifications until it is replaced or removed. 
         * </p>
         * <p>
         * Listeners can listen for several types of event as defined in <code>ElementChangeEvent</code>.
         * Clients are free to register for any number of event types however if they register
         * for more than one, it is their responsibility to ensure they correctly handle the
         * case where the same java element change shows up in multiple notifications.  
         * Clients are guaranteed to receive only the events for which they are registered.
         * </p>
         * 
         * @param listener the listener
         * @param eventMask the bit-wise OR of all event types of interest to the listener
         * @see IElementChangedListener
         * @see ElementChangedEvent
         * @see #removeElementChangedListener(IElementChangedListener)
         * @since 2.0
         */
/**
         * Adds the given listener for resource change events of the given types to the Java core. 
         * The listener is guaranteed to be notified of the resource change event before
         * the Java core starts processing the resource change event itself.
         * <p>
         * If an identical listener is already registered, the given event types are added to the event types 
         * of interest to the listener.
         * </p>
         * <p>
         * Supported event types are:
         * <ul>
         * <li>{@link IResourceChangeEvent#PRE_BUILD}</li>
         * <li>{@link IResourceChangeEvent#POST_BUILD}</li>
         * <li>{@link IResourceChangeEvent#POST_CHANGE}</li>
         * <li>{@link IResourceChangeEvent#PRE_DELETE}</li>
         * <li>{@link IResourceChangeEvent#PRE_CLOSE}</li>
         * </ul>
         * This list may increase in the future.
         * </p>
         * 
         * @param listener the listener
         * @param eventMask the bit-wise OR of all event types of interest to the
         * listener
         * @see #removePreProcessingResourceChangedListener(IResourceChangeListener)
         * @see IResourceChangeEvent
         * @since 3.2
         */
public static void [[#variableb9b7c620]]( [[#variableb9b7c560]] listener, int eventMask) {
  JavaModelManager.getJavaModelManager().deltaState. [[#variableb9b7c500]](listener, eventMask);
}
 

addElementChangedListener 

addPreProcessingResourceChangedListener 

IElementChangedListener 

IResourceChangeListener 

addElementChangedListener 

addPreResourceChangedListener