public Hover getHover(TextDocumentInfo document, Position cursor) throws Exception { TextDocumentPositionParams params = new TextDocumentPositionParams(); params.setPosition(cursor); params.setTextDocument(document.getId()); return getServer().getTextDocumentService().hover(params ).get(); }
TextDocumentPositionParams clone(TextDocumentPositionParams textDocumentPositionParams) { if (textDocumentPositionParams == null) { return null; } Position position = textDocumentPositionParams.getPosition(); TextDocumentIdentifier textDocument = textDocumentPositionParams.getTextDocument(); TextDocumentPositionParams cloned = new TextDocumentPositionParams(); cloned.setPosition(clone(position)); cloned.setTextDocument(clone(textDocument)); return cloned; }
final Procedure1<TextDocumentPositionParams> _function = (TextDocumentPositionParams it) -> { TextDocumentIdentifier _textDocumentIdentifier = new TextDocumentIdentifier("foo"); it.setTextDocument(_textDocumentIdentifier); Position _position = new Position(0, 0); it.setPosition(_position);
@Test public void testInvalidCompletion() { RequestMessage message = new RequestMessage(); message.setJsonrpc("2.0"); message.setId("1"); message.setMethod(MessageMethods.DOC_COMPLETION); TextDocumentPositionParams params = new TextDocumentPositionParams(); params.setTextDocument(new TextDocumentIdentifier("file:///tmp/foo")); message.setParams(params); assertIssues(message, "The accessor 'TextDocumentPositionParams.getPosition()' must return a non-null value."); }
final Procedure1<TextDocumentPositionParams> _function_1 = (TextDocumentPositionParams it_1) -> { TextDocumentIdentifier _textDocumentIdentifier = new TextDocumentIdentifier("file:///tmp/foo"); it_1.setTextDocument(_textDocumentIdentifier); Position _position = new Position(4, 22); it_1.setPosition(_position);