Interface ISavedState

    • Method Detail

      • getSaveNumber

        int getSaveNumber()
        Returns the save number for the save participant. This is the save number of the last successful save in which the plug-in actively participated, or 0 if the plug-in has never actively participated in a successful save.
        the save number
      • processResourceChangeEvents

        void processResourceChangeEvents​(IResourceChangeListener listener)
        Used to receive notification of changes that might have happened while this plug-in was not active. The listener receives notifications of changes to the workspace resource tree since the time this state was saved. After this method is run, the delta is forgotten. Subsequent calls to this method will have no effect.

        No notification is received in the following cases:

        All clients should have a contingency plan in place in case a changes are not available (the case should be very similar to the first time a plug-in is activated, and only has the current state of the workspace to work from).

        The supplied event is of type IResourceChangeEvent.POST_BUILD and contains the delta detailing changes since this plug-in last participated in a save. This event object (and the resource delta within it) is valid only for the duration of the invocation of this method.

        listener - the listener
        See Also:
        ISaveContext.needDelta(), IResourceChangeListener