@Deprecated
protected class DeferredDocumentProvider.DeferredSetTextJob
extends org.eclipse.core.runtime.jobs.Job
Modifier and Type | Field and Description |
---|---|
protected org.eclipse.xtext.ui.editor.model.XtextDocument |
document
Deprecated.
|
protected java.lang.String |
sourceText
Deprecated.
|
Constructor and Description |
---|
DeferredSetTextJob(org.eclipse.xtext.ui.editor.model.XtextDocument document,
java.lang.String sourceText)
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
protected org.eclipse.core.runtime.IStatus |
run(org.eclipse.core.runtime.IProgressMonitor monitor)
Deprecated.
|
addJobChangeListener, belongsTo, cancel, canceling, create, create, createSystem, createSystem, done, getJobGroup, getJobManager, getName, getPriority, getProperty, getResult, getRule, getState, getThread, isBlocking, isSystem, isUser, join, join, removeJobChangeListener, schedule, schedule, setJobGroup, setName, setPriority, setProgressGroup, setProperty, setRule, setSystem, setThread, setUser, shouldRun, shouldSchedule, sleep, toString, wakeUp, wakeUp, yieldRule
@NonNull protected final org.eclipse.xtext.ui.editor.model.XtextDocument document
@NonNull protected final java.lang.String sourceText