1 /*---------------------------------------------------------------------------------------------
2 * Copyright (c) Microsoft Corporation. All rights reserved.
3 * Licensed under the MIT License. See License.txt in the project root for license information.
4 *--------------------------------------------------------------------------------------------*/
6 if (typeof module === "object" && typeof module.exports === "object") {
7 var v = factory(require, exports);
8 if (v !== undefined) module.exports = v;
10 else if (typeof define === "function" && define.amd) {
11 define(["require", "exports", "../jsonLanguageTypes"], factory);
13 })(function (require, exports) {
15 Object.defineProperty(exports, "__esModule", { value: true });
16 exports.findLinks = void 0;
17 var jsonLanguageTypes_1 = require("../jsonLanguageTypes");
18 function findLinks(document, doc) {
20 doc.visit(function (node) {
22 if (node.type === "property" && node.keyNode.value === "$ref" && ((_a = node.valueNode) === null || _a === void 0 ? void 0 : _a.type) === 'string') {
23 var path = node.valueNode.value;
24 var targetNode = findTargetNode(doc, path);
26 var targetPos = document.positionAt(targetNode.offset);
28 target: document.uri + "#" + (targetPos.line + 1) + "," + (targetPos.character + 1),
29 range: createRange(document, node.valueNode)
35 return Promise.resolve(links);
37 exports.findLinks = findLinks;
38 function createRange(document, node) {
39 return jsonLanguageTypes_1.Range.create(document.positionAt(node.offset + 1), document.positionAt(node.offset + node.length - 1));
41 function findTargetNode(doc, path) {
42 var tokens = parseJSONPointer(path);
46 return findNode(tokens, doc.root);
48 function findNode(pointer, node) {
52 if (pointer.length === 0) {
55 var token = pointer.shift();
56 if (node && node.type === 'object') {
57 var propertyNode = node.properties.find(function (propertyNode) { return propertyNode.keyNode.value === token; });
61 return findNode(pointer, propertyNode.valueNode);
63 else if (node && node.type === 'array') {
64 if (token.match(/^(0|[1-9][0-9]*)$/)) {
65 var index = Number.parseInt(token);
66 var arrayItem = node.items[index];
70 return findNode(pointer, arrayItem);
75 function parseJSONPointer(path) {
79 if (path[0] !== '#' || path[1] !== '/') {
82 return path.substring(2).split(/\//).map(unescape);
84 function unescape(str) {
85 return str.replace(/~1/g, '/').replace(/~0/g, '~');