Class FileDocumentProvider.SafeChange

  • All Implemented Interfaces:
    java.lang.Runnable
    Enclosing class:
    FileDocumentProvider

    protected class FileDocumentProvider.SafeChange
    extends java.lang.Object
    implements java.lang.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 Summary

      Constructors 
      Constructor Description
      SafeChange​(IFileEditorInput input)
      Creates a new safe runnable for the given input.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      protected void execute​(IFileEditorInput input)
      Execute the change.
      void run()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • SafeChange

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

      • execute

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

        public void run()
        Specified by:
        run in interface java.lang.Runnable