Package org.eclipse.ui.texteditor
Interface IElementStateListener
-
public interface IElementStateListenerInterface for parties interested in standardized element changes. These changes are:- dirty state changes
- content replacements
- moves
- deletions
In order to provided backward compatibility for clients of
IElementStateListener, extension interfaces are used to provide a means of evolution. The following extension interface exists:IElementStateListenerExtensionsince version 2.0 introducing state validation events.
- See Also:
IElementStateListenerExtension
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description voidelementContentAboutToBeReplaced(java.lang.Object element)Notifies that the content of the given element is about to be replaced.voidelementContentReplaced(java.lang.Object element)Notifies that the content of the given element has been replaced.voidelementDeleted(java.lang.Object element)Notifies that the given element has been deleted.voidelementDirtyStateChanged(java.lang.Object element, boolean isDirty)Notifies that the dirty state of the given element has changed.voidelementMoved(java.lang.Object originalElement, java.lang.Object movedElement)Notifies that the element has moved.
-
-
-
Method Detail
-
elementDirtyStateChanged
void elementDirtyStateChanged(java.lang.Object element, boolean isDirty)Notifies that the dirty state of the given element has changed.- Parameters:
element- the elementisDirty- the new dirty state
-
elementContentAboutToBeReplaced
void elementContentAboutToBeReplaced(java.lang.Object element)
Notifies that the content of the given element is about to be replaced.- Parameters:
element- the element
-
elementContentReplaced
void elementContentReplaced(java.lang.Object element)
Notifies that the content of the given element has been replaced.- Parameters:
element- the element
-
elementDeleted
void elementDeleted(java.lang.Object element)
Notifies that the given element has been deleted.- Parameters:
element- the element
-
elementMoved
void elementMoved(java.lang.Object originalElement, java.lang.Object movedElement)Notifies that the element has moved. IfmovedElementisnullit is similar toelementDeleted(originalElement).- Parameters:
originalElement- the element before the movemovedElement- the element after the move
-
-