public TextDocumentInfo readFile(File file, String languageId) throws Exception { byte[] encoded = Files.readAllBytes(file.toPath()); String content = new String(encoded, getEncoding()); TextDocumentItem document = new TextDocumentItem(); document.setText(content); document.setUri(file.toURI().toString()); document.setVersion(getFirstVersion()); document.setLanguageId(languageId); return new TextDocumentInfo(document); }
private synchronized TextDocumentItem setDocumentContent(String uri, String newContent) { TextDocumentInfo o = documents.get(uri); TextDocumentItem n = new TextDocumentItem(); n.setLanguageId(o.getLanguageId().getId()); n.setText(newContent); n.setVersion(o.getVersion()+1); n.setUri(o.getUri()); documents.put(uri, new TextDocumentInfo(n)); return n; }
private void didOpen(DidOpenTextDocumentParams openTextDocumentParams) { String wsPath = openTextDocumentParams.getTextDocument().getUri(); findServer .byPath(wsPath) .forEach( server -> { URI uri = languageServerPathTransformer.toFsURI(server.getId(), wsPath); DidOpenTextDocumentParams clonedOpenTextDocumentParams = lsParamsCloner.clone(openTextDocumentParams); clonedOpenTextDocumentParams.getTextDocument().setUri(uri.toString()); server.getTextDocumentService().didOpen(clonedOpenTextDocumentParams); }); }
public synchronized TextDocumentInfo docFromResource(String contents, String resourceUri, LanguageId languageId) throws Exception { TextDocumentItem doc = new TextDocumentItem(); doc.setLanguageId(languageId.getId()); doc.setText(contents); doc.setUri(resourceUri); doc.setVersion(getFirstVersion()); TextDocumentInfo docinfo = new TextDocumentInfo(doc); documents.put(docinfo.getUri(), docinfo); return docinfo; }
public synchronized TextDocumentInfo createWorkingCopy(String contents, LanguageId languageId) throws Exception { TextDocumentItem doc = new TextDocumentItem(); doc.setLanguageId(languageId.getId()); doc.setText(contents); doc.setUri(createTempUri()); doc.setVersion(getFirstVersion()); TextDocumentInfo docinfo = new TextDocumentInfo(doc); documents.put(docinfo.getUri(), docinfo); return docinfo; }
TextDocumentItem clone(TextDocumentItem textDocumentItem) { if (textDocumentItem == null) { return null; } String languageId = textDocumentItem.getLanguageId(); String text = textDocumentItem.getText(); String uri = textDocumentItem.getUri(); int version = textDocumentItem.getVersion(); TextDocumentItem cloned = new TextDocumentItem(); cloned.setLanguageId(languageId); cloned.setText(text); cloned.setUri(uri); cloned.setVersion(version); return cloned; }