dot-language-support 2.3.0 → 3.0.0

package/lib/cjs/service/command/common.js

@@ -1,33 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.createChangeToEdit = createChangeToEdit;
-exports.getEdgeStr = getEdgeStr;
-exports.getGraphKeywordStr = getGraphKeywordStr;
-exports.getOppositeKind = getOppositeKind;
-exports.getOppositeEdgeOp = getOppositeEdgeOp;
-exports.getAllowedOp = getAllowedOp;
-const vscode_languageserver_types_1 = require("vscode-languageserver-types");
-const index_js_1 = require("../../index.js");
-function createChangeToEdit(start, end, changeTo) {
-    return vscode_languageserver_types_1.TextEdit.replace(vscode_languageserver_types_1.Range.create(start, end), changeTo);
-}
-function getEdgeStr(op) {
-    return op === index_js_1.SyntaxKind.DirectedEdgeOp ? "->" : "--";
-}
-function getGraphKeywordStr(g) {
-    return g === index_js_1.SyntaxKind.DigraphKeyword ? "digraph" : "graph";
-}
-function getOppositeKind(g) {
-    return g === index_js_1.SyntaxKind.DigraphKeyword ? index_js_1.SyntaxKind.GraphKeyword : index_js_1.SyntaxKind.DigraphKeyword;
-}
-function getOppositeEdgeOp(g) {
-    return g === index_js_1.SyntaxKind.DirectedEdgeOp
-        ? index_js_1.SyntaxKind.UndirectedEdgeOp
-        : index_js_1.SyntaxKind.DirectedEdgeOp;
-}
-function getAllowedOp(g) {
-    return g === index_js_1.SyntaxKind.DigraphKeyword
-        ? index_js_1.SyntaxKind.DirectedEdgeOp
-        : index_js_1.SyntaxKind.UndirectedEdgeOp;
-}
-//# sourceMappingURL=common.js.map

package/lib/cjs/service/completion.d.ts

@@ -1,4 +0,0 @@
-import * as lst from "vscode-languageserver-types";
-import { type DocumentLike } from "../index.js";
-import { type SourceFile } from "../types.js";
-export declare function getCompletions(doc: DocumentLike, sourceFile: SourceFile, position: lst.Position): lst.CompletionItem[];

package/lib/cjs/service/completion.js

@@ -1,173 +0,0 @@
-"use strict";
-var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    var desc = Object.getOwnPropertyDescriptor(m, k);
-    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
-      desc = { enumerable: true, get: function() { return m[k]; } };
-    }
-    Object.defineProperty(o, k2, desc);
-}) : (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    o[k2] = m[k];
-}));
-var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
-    Object.defineProperty(o, "default", { enumerable: true, value: v });
-}) : function(o, v) {
-    o["default"] = v;
-});
-var __importStar = (this && this.__importStar) || (function () {
-    var ownKeys = function(o) {
-        ownKeys = Object.getOwnPropertyNames || function (o) {
-            var ar = [];
-            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
-            return ar;
-        };
-        return ownKeys(o);
-    };
-    return function (mod) {
-        if (mod && mod.__esModule) return mod;
-        var result = {};
-        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
-        __setModuleDefault(result, mod);
-        return result;
-    };
-})();
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.getCompletions = getCompletions;
-const lst = __importStar(require("vscode-languageserver-types"));
-const checker_js_1 = require("../checker.js");
-const index_js_1 = require("../index.js");
-const types_js_1 = require("../types.js");
-const languageFacts = __importStar(require("./languageFacts.js"));
-const util_js_1 = require("./util.js");
-function getCompletions(doc, sourceFile, position) {
-    const symbols = sourceFile.symbols;
-    if (!symbols)
-        throw "sourceFile is not bound";
-    const g = sourceFile.graph;
-    if (!g)
-        return [];
-    const offset = doc.offsetAt(position);
-    const node = (0, checker_js_1.findNodeAtOffset)(g, offset, true);
-    if (!node)
-        return [];
-    const prevOffsetNode = (0, checker_js_1.findNodeAtOffset)(g, offset - 1, true);
-    const parent = node.parent;
-    const prevOffsetNodeParent = prevOffsetNode === null || prevOffsetNode === void 0 ? void 0 : prevOffsetNode.parent;
-    if (((parent === null || parent === void 0 ? void 0 : parent.parent) && (0, checker_js_1.isEdgeStatement)(parent.parent)) ||
-        ((prevOffsetNodeParent === null || prevOffsetNodeParent === void 0 ? void 0 : prevOffsetNodeParent.parent) && (0, checker_js_1.isEdgeStatement)(prevOffsetNodeParent.parent))) {
-        return getNodeCompletions(symbols);
-    }
-    if (node.kind === types_js_1.SyntaxKind.AttributeContainer) {
-        const openingBracket = node.openBracket;
-        if (openingBracket.end - 1 > offset - 1) {
-            const exclusions = (prevOffsetNode === null || prevOffsetNode === void 0 ? void 0 : prevOffsetNode.kind) === types_js_1.SyntaxKind.TextIdentifier && prevOffsetNode.symbol
-                ? [prevOffsetNode.symbol.name]
-                : undefined;
-            return getNodeCompletions(symbols, exclusions);
-        }
-    }
-    if (node.kind === types_js_1.SyntaxKind.TextIdentifier && (parent === null || parent === void 0 ? void 0 : parent.kind) === types_js_1.SyntaxKind.NodeId) {
-        const exclusions = node.symbol ? [node.symbol.name] : undefined;
-        return getNodeCompletions(symbols, exclusions);
-    }
-    if (node.kind === types_js_1.SyntaxKind.AttributeContainer ||
-        (node.kind === types_js_1.SyntaxKind.CommaToken && (parent === null || parent === void 0 ? void 0 : parent.kind) === types_js_1.SyntaxKind.Assignment)) {
-        return getAttributeCompletions(position);
-    }
-    const prevNode = (0, checker_js_1.findNodeAtOffset)(g, node.pos - 1, true);
-    if (!prevNode)
-        return [];
-    if ((0, index_js_1.isIdentifierNode)(prevNode)) {
-        const p = prevNode.parent;
-        if (p) {
-            switch (p.kind) {
-                case types_js_1.SyntaxKind.NodeId: {
-                    return getNodeCompletions(symbols);
-                }
-                case types_js_1.SyntaxKind.Assignment: {
-                    return getAssignmentCompletion(p);
-                }
-            }
-        }
-    }
-    if (node.flags & 2 || node.end === node.pos) {
-        const attribute = prevNode;
-        if (!attribute)
-            return [];
-        if (!attribute.parent)
-            throw "sourceFile is not bound";
-        const parent = attribute.parent;
-        if (parent.kind === types_js_1.SyntaxKind.Assignment) {
-            return getAssignmentCompletion(parent);
-        }
-    }
-    return [];
-}
-function getAssignmentCompletion(assignment) {
-    const property = (0, checker_js_1.getIdentifierText)(assignment.leftId);
-    if (!property)
-        return [];
-    switch (property.toLowerCase()) {
-        case "shape":
-            return getShapeCompletions();
-        case "color":
-            return getColorCompletions();
-        default:
-            return [];
-    }
-}
-function getShapeCompletions() {
-    const kind = lst.CompletionItemKind.EnumMember;
-    return languageFacts.shapes.map(s => ({
-        kind,
-        label: (0, util_js_1.escapeIdentifierText)(s),
-    }));
-}
-function getColorCompletions() {
-    const kind = lst.CompletionItemKind.Color;
-    const colors = languageFacts.colors;
-    return Object.keys(colors).map(label => ({
-        kind,
-        label,
-        documentation: colors[label],
-    }));
-}
-function getAttributeCompletions(posistion) {
-    const kind = lst.CompletionItemKind.Property;
-    const range = {
-        start: posistion,
-        end: posistion,
-    };
-    return languageFacts.attributes.map(label => ({
-        kind,
-        label,
-        textEdit: {
-            range,
-            newText: `${(0, util_js_1.escapeIdentifierText)(label)}=`,
-        },
-    }));
-}
-function getNodeCompletions(symbols, exlucdedSymbols) {
-    const res = [];
-    for (const [key, value] of symbols) {
-        if (exlucdedSymbols === null || exlucdedSymbols === void 0 ? void 0 : exlucdedSymbols.includes(key))
-            continue;
-        let kind = lst.CompletionItemKind.Variable;
-        const a = value.firstMention.parent;
-        if (a) {
-            switch (a.kind) {
-                case types_js_1.SyntaxKind.DirectedGraph:
-                case types_js_1.SyntaxKind.UndirectedGraph:
-                    kind = lst.CompletionItemKind.Class;
-                    break;
-            }
-        }
-        res.push({
-            label: (0, util_js_1.escapeIdentifierText)(key),
-            kind: kind,
-        });
-    }
-    return res;
-}
-//# sourceMappingURL=completion.js.map

package/lib/cjs/service/hover.d.ts

@@ -1,4 +0,0 @@
-import type * as lst from "vscode-languageserver-types";
-import type { DocumentLike } from "../index.js";
-import { type SourceFile } from "../types.js";
-export declare function hover(doc: DocumentLike, sourceFile: SourceFile, position: lst.Position): lst.Hover | undefined;

package/lib/cjs/service/hover.js

@@ -1,142 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.hover = hover;
-const checker_js_1 = require("../checker.js");
-const parser_js_1 = require("../parser.js");
-const types_js_1 = require("../types.js");
-const common_js_1 = require("./command/common.js");
-const util_js_1 = require("./util.js");
-function hover(doc, sourceFile, position) {
-    const offset = doc.offsetAt(position);
-    const g = sourceFile.graph;
-    if (!g)
-        return undefined;
-    const node = (0, checker_js_1.findNodeAtOffset)(g, offset);
-    if (node === undefined)
-        return undefined;
-    return getNodeHover(doc, sourceFile, node);
-}
-function getNodeHover(doc, sf, n) {
-    const contents = getHoverContents(n);
-    if (contents) {
-        return {
-            contents,
-            range: (0, util_js_1.syntaxNodeToRange)(doc, sf, n),
-        };
-    }
-    return undefined;
-}
-function getAssignedLabel(statement) {
-    const assignments = statement.attributes.flatMap(a => a.assignments);
-    const assignedLabel = assignments === null || assignments === void 0 ? void 0 : assignments.find(a => (0, checker_js_1.getIdentifierText)(a.leftId) === "label");
-    return (assignedLabel === null || assignedLabel === void 0 ? void 0 : assignedLabel.rightId) ? (0, checker_js_1.getIdentifierText)(assignedLabel.rightId) : undefined;
-}
-function getHoverContents(n) {
-    var _a, _b, _c;
-    if ((0, parser_js_1.isIdentifierNode)(n)) {
-        const parent = n.parent;
-        if (parent) {
-            switch (parent.kind) {
-                case types_js_1.SyntaxKind.NodeId: {
-                    if ((_a = n.symbol) === null || _a === void 0 ? void 0 : _a.references) {
-                        const nodeIdentifierRefs = (_b = n.symbol) === null || _b === void 0 ? void 0 : _b.references;
-                        const labelMentions = nodeIdentifierRefs.map(e => {
-                            var _a, _b, _c;
-                            return (_c = (_b = (_a = e.symbol) === null || _a === void 0 ? void 0 : _a.members) === null || _b === void 0 ? void 0 : _b.get("label")) === null || _c === void 0 ? void 0 : _c.firstMention.parent;
-                        });
-                        for (let i = labelMentions.length; i >= 0; i--) {
-                            const s = labelMentions[i];
-                            if (s === null || s === void 0 ? void 0 : s.rightId) {
-                                return `(node) ${(0, checker_js_1.getIdentifierText)(n)}: ${(0, checker_js_1.getIdentifierText)(s.rightId)}`;
-                            }
-                        }
-                    }
-                    else if (((_c = parent.parent) === null || _c === void 0 ? void 0 : _c.kind) === types_js_1.SyntaxKind.NodeStatement) {
-                        const label = getAssignedLabel(parent.parent);
-                        if (label) {
-                            return `(node) ${(0, checker_js_1.getIdentifierText)(n)}: ${label}`;
-                        }
-                    }
-                    return `(node) ${(0, checker_js_1.getIdentifierText)(n)}`;
-                }
-                case types_js_1.SyntaxKind.Assignment: {
-                    const assignment = parent;
-                    const left = (0, checker_js_1.getIdentifierText)(assignment.leftId);
-                    const right = (0, checker_js_1.getIdentifierText)(assignment.rightId);
-                    return `(assignment) \`${left}\` = \`${right}\``;
-                }
-                case types_js_1.SyntaxKind.DirectedGraph:
-                    return getGraphHover(parent);
-                case types_js_1.SyntaxKind.UndirectedGraph:
-                    return getGraphHover(parent);
-                case types_js_1.SyntaxKind.SubGraphStatement: {
-                    const sgs = parent;
-                    const sg = sgs.subgraph;
-                    return sg.id ? `(sub graph) ${(0, checker_js_1.getIdentifierText)(sg.id)}` : "(sub graph)";
-                }
-                case types_js_1.SyntaxKind.SubGraph: {
-                    const sg = parent;
-                    return sg.id ? `(sub graph) ${(0, checker_js_1.getIdentifierText)(sg.id)}` : "(sub graph)";
-                }
-                case types_js_1.SyntaxKind.IdEqualsIdStatement: {
-                    const idEqId = parent;
-                    const left = (0, checker_js_1.getIdentifierText)(idEqId.leftId);
-                    const right = (0, checker_js_1.getIdentifierText)(idEqId.rightId);
-                    return `(graph property) \`${left}\` = \`${right}\``;
-                }
-                case types_js_1.SyntaxKind.EdgeRhs:
-                    return getEdgeHover(parent);
-            }
-            return types_js_1.SyntaxKind[parent.kind];
-        }
-        const fallback = types_js_1.SyntaxKind[n.kind];
-        return fallback ? `(${fallback.toLowerCase()})` : undefined;
-    }
-    switch (n.kind) {
-        case types_js_1.SyntaxKind.GraphKeyword:
-        case types_js_1.SyntaxKind.DigraphKeyword:
-        case types_js_1.SyntaxKind.StrictKeyword:
-            return getGraphHover(n.parent);
-        case types_js_1.SyntaxKind.DirectedGraph:
-        case types_js_1.SyntaxKind.UndirectedGraph:
-            return getGraphHover(n);
-        case types_js_1.SyntaxKind.DirectedEdgeOp:
-        case types_js_1.SyntaxKind.UndirectedEdgeOp:
-            return getEdgeHover(n.parent);
-        default:
-            return undefined;
-    }
-}
-function getGraphHover(g) {
-    const direction = g.kind === types_js_1.SyntaxKind.DirectedGraph ? "directed" : "undirected";
-    const graphId = g.id;
-    const strict = g.strict ? "strict " : "";
-    return graphId
-        ? `(${strict}${direction} graph) ${(0, checker_js_1.getIdentifierText)(graphId)}`
-        : `(${strict}${direction} graph)`;
-}
-function getEdgeHover(n) {
-    const p = n.parent;
-    if (!p || p.rhs.length === 0)
-        return undefined;
-    let source;
-    for (const curr of p.rhs) {
-        if (curr === n)
-            break;
-        source = curr.target;
-    }
-    if (source === undefined)
-        source = p.source;
-    const edgeOpStr = (0, common_js_1.getEdgeStr)(n.operation.kind);
-    return source === undefined
-        ? undefined
-        : `(edge) ${getEdgeSourceOrTargetText(source)} ${edgeOpStr} ${getEdgeSourceOrTargetText(n.target)}`;
-}
-function getEdgeSourceOrTargetText(n) {
-    return n.kind === types_js_1.SyntaxKind.NodeId
-        ? (0, checker_js_1.getIdentifierText)(n.id)
-        : n.id !== undefined
-            ? `${(0, checker_js_1.getIdentifierText)(n.id)}`
-            : "sub graph";
-}
-//# sourceMappingURL=hover.js.map