public final class UiDocumentChangeRunner
extends java.lang.Object
DocumentChangeOperation
in the UI thread.Constructor and Description |
---|
UiDocumentChangeRunner(UiSynchronizer synchronizer,
DocumentChangeOperation operation)
Creates a new runner capable of executing the given document change
operation in the UI thread.
|
Modifier and Type | Method and Description |
---|---|
IDocumentChange |
run()
Synchronously executes the document change operation in the UI thread.
|
public UiDocumentChangeRunner(UiSynchronizer synchronizer, DocumentChangeOperation operation)
synchronizer
- used to execute operation in the UI thread
- must not be null
operation
- a document change operation
- must not be null
public IDocumentChange run() throws org.eclipse.jface.text.BadLocationException
Note that an update conflict may occur if the document's contents have
changed since the inception of the snapshot on which the change is based.
In that case, a StaleSnapshotException
is thrown.
null
StaleSnapshotException
- if the document has changed
since the inception of the snapshot on which the change is basedorg.eclipse.text.edits.MalformedTreeException
- if the change's edit tree is not
in a valid stateorg.eclipse.jface.text.BadLocationException
- if one of the edits in the change's
edit tree could not be executedCopyright (c) 2014, 2018 1C-Soft LLC and others. Made available under the Eclipse Public License 2.0