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

Deprecated.

no longer used - retained for API compatibility

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

Field Summary

Fields

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
void	run() Deprecated.

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

Deprecated.

displayText

@NonNull
protected final java.lang.String displayText

Deprecated.

Constructor Detail

DeferredSetTextRunnable

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

Deprecated.

Method Detail

run

public void run()

Deprecated.

Specified by:

run in interface java.lang.Runnable