Interface IResourceChangeListener

    • Method Detail

      • resourceChanged

        void resourceChanged​(IResourceChangeEvent event)
        Notifies this listener that some resource changes are happening, or have already happened.

        The supplied event gives details. This event object (and the resource delta within it) is valid only for the duration of the invocation of this method.

        Note: This method is called by the platform; it is not intended to be called directly by clients.

        Note that during resource change event notification, further changes to resources may be disallowed.

        event - the resource change event
        See Also: