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 Summary

Constructors

Constructor	Description
SafeChange(IFileEditorInput input)	Creates a new safe runnable for the given input.

Method Summary

Modifier and Type	Method	Description
protected void	execute(IFileEditorInput input)	Execute the change.
void	run()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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