org.eclipse.ocl.xtext.base.ui.model

Class DeferredDocumentProvider.DeferredSetTextRunnable

java.lang.Object

org.eclipse.ocl.xtext.base.ui.model.DeferredDocumentProvider.DeferredSetTextRunnable

All Implemented Interfaces:

java.lang.Runnable

Enclosing class:

DeferredDocumentProvider

protected class DeferredDocumentProvider.DeferredSetTextRunnable
extends java.lang.Object
implements java.lang.Runnable

Runnable for execution on the main UI thread to actually assign the text.

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.String	displayText
protected org.eclipse.xtext.ui.editor.model.XtextDocument	document

Constructor Summary

Constructors

Constructor and Description
DeferredDocumentProvider.DeferredSetTextRunnable(org.eclipse.xtext.ui.editor.model.XtextDocument document, java.lang.String displayText)

Method Summary

Methods

Modifier and Type	Method and Description
void	run()

Methods inherited from class java.lang.Object

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

Field Detail

document

@NonNull
protected final org.eclipse.xtext.ui.editor.model.XtextDocument document

displayText

@NonNull
protected final java.lang.String displayText

Constructor Detail

DeferredDocumentProvider.DeferredSetTextRunnable

public DeferredDocumentProvider.DeferredSetTextRunnable(@NonNull
                                                org.eclipse.xtext.ui.editor.model.XtextDocument document,
                                                @NonNull
                                                java.lang.String displayText)

Method Detail

run

public void run()

Specified by:

run in interface java.lang.Runnable