public VersionedTextDocumentIdentifier read(final JsonReader in) throws IOException { JsonToken nextToken = in.peek(); if (nextToken == JsonToken.NULL) { return null; } VersionedTextDocumentIdentifier result = new VersionedTextDocumentIdentifier(); in.beginObject(); while (in.hasNext()) { String name = in.nextName(); switch (name) { case "version": result.setVersion(readVersion(in)); break; case "uri": result.setUri(readUri(in)); break; default: in.skipValue(); } } in.endObject(); return result; }
public VersionedTextDocumentIdentifier read(final JsonReader in) throws IOException { JsonToken nextToken = in.peek(); if (nextToken == JsonToken.NULL) { return null; } VersionedTextDocumentIdentifier result = new VersionedTextDocumentIdentifier(); in.beginObject(); while (in.hasNext()) { String name = in.nextName(); switch (name) { case "version": result.setVersion(readVersion(in)); break; case "uri": result.setUri(readUri(in)); break; default: in.skipValue(); } } in.endObject(); return result; }
VersionedTextDocumentIdentifier clone( VersionedTextDocumentIdentifier versionedTextDocumentIdentifier) { if (versionedTextDocumentIdentifier == null) { return null; } Integer version = versionedTextDocumentIdentifier.getVersion(); String uri = versionedTextDocumentIdentifier.getUri(); VersionedTextDocumentIdentifier cloned = new VersionedTextDocumentIdentifier(); cloned.setUri(uri); cloned.setVersion(version); return cloned; }
protected VersionedTextDocumentIdentifier toVersionedTextDocumentIdentifier(final ILanguageServerAccess.Context context) { VersionedTextDocumentIdentifier _versionedTextDocumentIdentifier = new VersionedTextDocumentIdentifier(); final Procedure1<VersionedTextDocumentIdentifier> _function = (VersionedTextDocumentIdentifier it) -> { it.setUri(this._uriExtensions.toUriString(context.getResource().getURI())); it.setVersion(context.getDocument().getVersion()); }; return ObjectExtensions.<VersionedTextDocumentIdentifier>operator_doubleArrow(_versionedTextDocumentIdentifier, _function); }
public TextDocumentInfo changeDocument(String uri, String newContent) throws Exception { TextDocumentItem textDocument = setDocumentContent(uri, newContent); DidChangeTextDocumentParams didChange = new DidChangeTextDocumentParams(); VersionedTextDocumentIdentifier version = new VersionedTextDocumentIdentifier(); version.setUri(uri); version.setVersion(textDocument.getVersion()); didChange.setTextDocument(version); switch (getDocumentSyncMode()) { case None: break; //nothing todo case Incremental: case Full: TextDocumentContentChangeEvent change = new TextDocumentContentChangeEvent(); change.setText(newContent); didChange.setContentChanges(Collections.singletonList(change)); break; default: throw new IllegalStateException("Unkown SYNC mode: "+getDocumentSyncMode()); } if (getServer()!=null) { getServer().getTextDocumentService().didChange(didChange); } return documents.get(uri); }
VersionedTextDocumentIdentifier version = new VersionedTextDocumentIdentifier(); version.setUri(uri); version.setVersion(textDocument.getVersion()); didChange.setTextDocument(version); switch (getDocumentSyncMode()) {
ExtendedTextDocumentEdit edit = new ExtendedTextDocumentEdit(); VersionedTextDocumentIdentifier documentIdentifier = new VersionedTextDocumentIdentifier(); documentIdentifier.setVersion(-1); documentIdentifier.setUri(removePrefixUri(entry.getKey())); edit.setTextDocument(documentIdentifier);
final Procedure1<VersionedTextDocumentIdentifier> _function_2 = (VersionedTextDocumentIdentifier it_2) -> { it_2.setUri("file:///tmp/foo"); it_2.setVersion(Integer.valueOf(1234)); }; VersionedTextDocumentIdentifier _doubleArrow = ObjectExtensions.<VersionedTextDocumentIdentifier>operator_doubleArrow(_versionedTextDocumentIdentifier, _function_2);