Class FileDocumentProvider.SafeChange

java.lang.Object
org.eclipse.ui.editors.text.FileDocumentProvider.SafeChange
All Implemented Interfaces:
Runnable
Enclosing class:
FileDocumentProvider

protected class FileDocumentProvider.SafeChange extends Object implements Runnable
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 Details

    • SafeChange

      public SafeChange(IFileEditorInput input)
      Creates a new safe runnable for the given input.
      Parameters:
      input - the input
  • Method Details

    • execute

      protected void execute(IFileEditorInput input) throws Exception
      Execute the change. Subclass responsibility.
      Parameters:
      input - the input
      Throws:
      Exception - an exception in case of error
    • run

      public void run()
      Specified by:
      run in interface Runnable