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 |
protected java.lang.String |
sourceText |
Constructor and Description |
---|
DeferredDocumentProvider.DeferredSetTextJob(org.eclipse.xtext.ui.editor.model.XtextDocument document,
java.lang.String sourceText) |
Modifier and Type | Method and Description |
---|---|
protected org.eclipse.core.runtime.IStatus |
run(org.eclipse.core.runtime.IProgressMonitor monitor) |
addJobChangeListener, belongsTo, cancel, canceling, create, 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