Package org.eclipse.ui.editors.text
Class FileDocumentProvider.SafeChange
java.lang.Object
org.eclipse.ui.editors.text.FileDocumentProvider.SafeChange
- All Implemented Interfaces:
Runnable
- Enclosing class:
- FileDocumentProvider
Runnable encapsulating an element state change. This runnable ensures
that a element change failed message is sent out to the element state listeners
in case an exception occurred.
- Since:
- 2.0
-
Constructor Summary
ConstructorDescriptionSafeChange
(IFileEditorInput input) Creates a new safe runnable for the given input. -
Method Summary
Modifier and TypeMethodDescriptionprotected void
execute
(IFileEditorInput input) Execute the change.void
run()
-
Constructor Details
-
SafeChange
Creates a new safe runnable for the given input.- Parameters:
input
- the input
-
-
Method Details