public class UpdateDocumentService
extends java.lang.Object
| Constructor and Description |
|---|
UpdateDocumentService() |
| Modifier and Type | Method and Description |
|---|---|
DocumentStateResult |
getStateId(XtextWebDocumentAccess document)
Return the current state identifier.
|
DocumentStateResult |
updateDeltaText(XtextWebDocumentAccess document,
java.lang.String deltaText,
int offset,
int replaceLength)
Update the state identifier and return it.
|
DocumentStateResult |
updateFullText(XtextWebDocumentAccess document,
java.lang.String fullText)
Update the state identifier and return it.
|
public DocumentStateResult updateFullText(XtextWebDocumentAccess document, java.lang.String fullText) throws InvalidRequestException
PrecomputedServiceRegistry
are invoked.InvalidRequestExceptionpublic DocumentStateResult updateDeltaText(XtextWebDocumentAccess document, java.lang.String deltaText, int offset, int replaceLength) throws InvalidRequestException
PrecomputedServiceRegistry
are invoked.InvalidRequestExceptionpublic DocumentStateResult getStateId(XtextWebDocumentAccess document) throws InvalidRequestException
PrecomputedServiceRegistry
are not cached yet, they are invoked in a background process.InvalidRequestException