language-server-protocol/_includes/js_files.html
Maria José Solano 2075660e75
Define separate base protocol (#1698)
* Define separate tools protocol

Add note

Move the other bits

Define separate tools protocol

Rename to base protocol

Change version to 0.9

Use Base prefix and remove since annotations

Undo changes in LSP specs

Move all the lifecycle messages

Define separate tools protocol

* Move shared definitions

* Define regexes

* List reserved capabilities and improve examples

* Specs for work done progress

* Change enumeration example

* Make ClientCapabilities open

* Add InitializeResponse

* Remove text document stuff from registration messages

* Add motivation section

* Add experimental remark
2023-05-25 09:15:12 +02:00

76 lines
2.6 KiB
HTML

<script>
var baseurl = '{{ site.baseurl }}';
</script>
<script src="https://code.jquery.com/jquery-3.2.1.slim.min.js"
integrity="sha384-KJ3o2DKtIkvYIK3UENzmM7KCkRr/rE9/Qpg6aAZGJwFDMVNA/GpGFF93hXpG5KkN" crossorigin="anonymous"></script>
<!-- Microsoft EU cookie compliance library -->
<script src="https://wcpstatic.microsoft.com/mscc/lib/v2/wcp-consent.js"></script>
<!-- Global site tag (gtag.js) - Google Analytics -->
<script async src="https://www.googletagmanager.com/gtag/js?id=UA-62780441-30"></script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/popper.js/1.12.3/umd/popper.min.js"
integrity="sha384-vFJXuSJphROIrBnz7yo7oB41mKfc8JzQZiCq4NCceLEaO4IHwicKwpJf9c9IpFgh" crossorigin="anonymous"></script>
<script src="https://maxcdn.bootstrapcdn.com/bootstrap/4.0.0-beta.2/js/bootstrap.min.js"
integrity="sha384-alpBpkh1PFOepccYVYDB4do5UnbKysX5WZXm3XxPqe5iKTfUKjNkCk9SaVuEZflJ" crossorigin="anonymous"></script>
<script async defer src="https://buttons.github.io/buttons.js"></script>
<script src="{{ site.baseurl }}/js/page.js"></script>
<script type="text/javascript">
var linkableTypes = new Map([
{% for linkableGroup in site.data.linkableTypes -%}
{% for linkableType in linkableGroup.children -%}
["{{ linkableType.type }}", "{{ linkableType.link }}"],
{% endfor -%}
{% endfor -%}
]);
</script>
{% comment %}
// Get the current LSP spec base url from the site data
{% endcomment %}
{% for spec in site.data.specifications %}
{% for child in spec.children %}
{% if spec.anchor == 'lsp' and child.version == page.lspVersion %}
{% assign currentLspSpecification = child.url %}
{% elsif spec.anchor == 'base' and child.version == page.baseVersion %}
{% assign currentBaseSpecification = child.url %}
{% endif %}
{% endfor %}
{% endfor %}
<script type="text/javascript">
function tryGetAssociatedLink(name) {
var link = linkableTypes.get(name);
if (!link) {
return;
}
var anchor = document.createElement("a");
var hrefUrl = link[0] === '/' ?
`${baseurl}/specifications${link}` :
{% if currentLspSpecification %}
`${baseurl}{{ currentLspSpecification }}/${link}`;
{% elsif currentBaseSpecification %}
`${baseurl}{{ currentBaseSpecification }}/${link}`;
{% else %}
link;
{% endif %}
anchor.setAttribute("href", hrefUrl);
anchor.textContent = name;
return anchor;
}
var elements = document.querySelectorAll("code .nx, code.highlighter-rouge");
for (var element of elements) {
var typeName = element.textContent;
var linkNode = tryGetAssociatedLink(typeName);
if (linkNode) {
element.replaceChildren(linkNode);
}
}
</script>