/** * Get the default hover object. * * @return {@link Hover} hover default hover object. */ private static Hover getDefaultHoverObject() { Hover hover = new Hover(); List<Either<String, MarkedString>> contents = new ArrayList<>(); contents.add(Either.forLeft("")); hover.setContents(contents); return hover; }
public void write(final JsonWriter out, final Hover value) throws IOException { if (value == null) { out.nullValue(); return; } out.beginObject(); out.name("contents"); writeContents(out, value.getContents()); out.name("range"); writeRange(out, value.getRange()); out.endObject(); }
public Hover read(final JsonReader in) throws IOException { JsonToken nextToken = in.peek(); if (nextToken == JsonToken.NULL) { return null; } Hover result = new Hover(); in.beginObject(); while (in.hasNext()) { String name = in.nextName(); switch (name) { case "contents": result.setContents(readContents(in)); break; case "range": result.setRange(readRange(in)); break; default: in.skipValue(); } } in.endObject(); return result; }
public Hover(@NonNull final List<Either<String, MarkedString>> contents, final Range range) { this.setContents(contents); this.range = range; }
function Hover(){ if(a){ $("#selector").text('Whatever Text you want to display here'); } else $("#selector").text('Someother Text you want to display here'); } }
public void assertNoHover(String hoverOver, int occurence) throws Exception { int hoverPosition = getHoverPosition(hoverOver,occurence); Hover hover = harness.getHover(doc, doc.toPosition(hoverPosition)); List<Either<String, MarkedString>> contents = hover.getContents().getLeft(); assertTrue(contents.toString(), contents.isEmpty()); }
public void assertIsHoverRegion(String string) throws Exception { int hoverPosition = getHoverPosition(string, 1); Hover hover = harness.getHover(doc, doc.toPosition(hoverPosition)); assertEquals(string, getText(hover.getRange())); }
public Hover(@NonNull final List<Either<String, MarkedString>> contents, final Range range) { this.setContents(contents); this.range = range; }
protected Hover hover(final HoverContext context) { if ((context == null)) { return IHoverService.EMPTY_HOVER; } final List<Either<String, MarkedString>> contents = this.getContents(context); if ((contents == null)) { return IHoverService.EMPTY_HOVER; } final Range range = this.getRange(context); if ((range == null)) { return IHoverService.EMPTY_HOVER; } return new Hover(contents, range); }
public String hoverString(Hover hover) { StringBuilder buf = new StringBuilder(); boolean first = true; Either<List<Either<String, MarkedString>>, MarkupContent> contents = hover.getContents(); for (Either<String, MarkedString> block : contents.getLeft()) { if (!first) { buf.append("\n\n"); } if (block.isLeft()) { String s = block.getLeft(); buf.append(s); } else if (block.isRight()) { MarkedString ms = block.getRight(); buf.append("```"+ms.getLanguage()+"\n"); buf.append(ms.getValue()); buf.append("\n```"); } first = false; } return buf.toString(); }
Hover hover = new Hover(); StringBuilder content = new StringBuilder(); Map<String, List<MarkdownDocAttachment.Parameter>> filterAttributes = hover.setContents(contents);
public Hover read(final JsonReader in) throws IOException { JsonToken nextToken = in.peek(); if (nextToken == JsonToken.NULL) { return null; } Hover result = new Hover(); in.beginObject(); while (in.hasNext()) { String name = in.nextName(); switch (name) { case "contents": result.setContents(readContents(in)); break; case "range": result.setRange(readRange(in)); break; default: in.skipValue(); } } in.endObject(); return result; }
public Hover(@NonNull final MarkupContent contents, final Range range) { this.setContents(contents); this.range = range; }
@Override public Hover handle(TextDocumentPositionParams params) { //TODO: This returns a CompletableFuture which suggests we should try to do expensive work asyncly. // We are currently just doing all this in a blocking way and wrapping the already computed list into // a trivial pre-resolved future. try { SimpleTextDocumentService documents = server.getTextDocumentService(); TextDocument doc = documents.get(params); if (doc!=null) { int offset = doc.toOffset(params.getPosition()); Tuple2<Renderable, IRegion> hoverTuple = hoverInfoProvider.getHoverInfo(doc, offset); if (hoverTuple != null) { Renderable hoverInfo = hoverTuple.getT1(); IRegion region = hoverTuple.getT2(); Range range = doc.toRange(region.getOffset(), region.getLength()); String rendered = render(hoverInfo, type); if (StringUtil.hasText(rendered)) { Hover hover = new Hover(ImmutableList.of(Either.forLeft(rendered)), range); return hover; } } } } catch (Exception e) { logger.error("error computing hover", e); } return SimpleTextDocumentService.NO_HOVER; }
public void write(final JsonWriter out, final Hover value) throws IOException { if (value == null) { out.nullValue(); return; } out.beginObject(); out.name("contents"); writeContents(out, value.getContents()); out.name("range"); writeRange(out, value.getRange()); out.endObject(); }
if (hover != null) { Either<List<Either<String, MarkedString>>, MarkupContent> contents = hover.getContents();
public Hover hover(TextDocumentPositionParams position, IProgressMonitor monitor) { ITypeRoot unit = JDTUtils.resolveTypeRoot(position.getTextDocument().getUri()); List<Either<String, MarkedString>> content = null; if (unit != null && !monitor.isCanceled()) { content = computeHover(unit, position.getPosition().getLine(), position.getPosition().getCharacter(), monitor); } else { content = Collections.singletonList(Either.forLeft("")); } Hover $ = new Hover(); $.setContents(content); return $; }
it.setJsonrpc("2.0"); it.setId("12"); Hover _hover = new Hover(); final Procedure1<Hover> _function_1 = (Hover it_1) -> { Range _range = new Range(); }; Range _doubleArrow = ObjectExtensions.<Range>operator_doubleArrow(_range, _function_2); it_1.setRange(_doubleArrow); it_1.setContents(CollectionLiterals.<Either<String, MarkedString>>newArrayList( Either.<String, MarkedString>forLeft("foo"), Either.<String, MarkedString>forLeft("boo shuby doo")));
public Hover(@NonNull final MarkupContent contents, final Range range) { this.setContents(contents); this.range = range; }
public HoverDto(org.eclipse.lsp4j.Hover o) { if (o.getRange() == null) { setRange((org.eclipse.lsp4j.Range)null); } else { org.eclipse.lsp4j.Range rangeVal = new RangeDto(o.getRange()); setRange((org.eclipse.lsp4j.Range)rangeVal); if (o.getContents() == null) { setContents((org.eclipse.lsp4j.jsonrpc.messages.Either<java.util.List<org.eclipse.lsp4j.jsonrpc.messages.Either<java.lang.String, org.eclipse.lsp4j.MarkedString>>, org.eclipse.lsp4j.MarkupContent>)null); } else { org.eclipse.lsp4j.jsonrpc.messages.Either<java.util.List<org.eclipse.lsp4j.jsonrpc.messages.Either<java.lang.String, org.eclipse.lsp4j.MarkedString>>, org.eclipse.lsp4j.MarkupContent> contentsVal; if (o.getContents().getLeft() != null) { ArrayList<org.eclipse.lsp4j.jsonrpc.messages.Either<java.lang.String, org.eclipse.lsp4j.MarkedString>> contentsVale= new ArrayList<org.eclipse.lsp4j.jsonrpc.messages.Either<java.lang.String, org.eclipse.lsp4j.MarkedString>>(); for (org.eclipse.lsp4j.jsonrpc.messages.Either<java.lang.String, org.eclipse.lsp4j.MarkedString> contentsValeX : o.getContents().getLeft()) { org.eclipse.lsp4j.jsonrpc.messages.Either<java.lang.String, org.eclipse.lsp4j.MarkedString> contentsValeY; if (contentsValeX.getLeft() != null) { org.eclipse.lsp4j.MarkupContent contentsVale = new MarkupContentDto(o.getContents().getRight()); contentsVal= Either.forRight(contentsVale);