annotate .cms/lib/codemirror/mode/sparql/sparql.js @ 1:1d486627aa1e draft default tip

24.10
author Coffee CMS <info@coffee-cms.ru>
date Sat, 12 Oct 2024 02:51:39 +0000
parents 78edf6b517a0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
1 // CodeMirror, copyright (c) by Marijn Haverbeke and others
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
2 // Distributed under an MIT license: https://codemirror.net/5/LICENSE
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
3
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
4 (function(mod) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5 if (typeof exports == "object" && typeof module == "object") // CommonJS
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6 mod(require("../../lib/codemirror"));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7 else if (typeof define == "function" && define.amd) // AMD
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 define(["../../lib/codemirror"], mod);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 else // Plain browser env
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 mod(CodeMirror);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 })(function(CodeMirror) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 "use strict";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 CodeMirror.defineMode("sparql", function(config) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 var indentUnit = config.indentUnit;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 var curPunc;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 function wordRegexp(words) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 return new RegExp("^(?:" + words.join("|") + ")$", "i");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 var ops = wordRegexp(["str", "lang", "langmatches", "datatype", "bound", "sameterm", "isiri", "isuri",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 "iri", "uri", "bnode", "count", "sum", "min", "max", "avg", "sample",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 "group_concat", "rand", "abs", "ceil", "floor", "round", "concat", "substr", "strlen",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 "replace", "ucase", "lcase", "encode_for_uri", "contains", "strstarts", "strends",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 "strbefore", "strafter", "year", "month", "day", "hours", "minutes", "seconds",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 "timezone", "tz", "now", "uuid", "struuid", "md5", "sha1", "sha256", "sha384",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 "sha512", "coalesce", "if", "strlang", "strdt", "isnumeric", "regex", "exists",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 "isblank", "isliteral", "a", "bind"]);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 var keywords = wordRegexp(["base", "prefix", "select", "distinct", "reduced", "construct", "describe",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 "ask", "from", "named", "where", "order", "limit", "offset", "filter", "optional",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 "graph", "by", "asc", "desc", "as", "having", "undef", "values", "group",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 "minus", "in", "not", "service", "silent", "using", "insert", "delete", "union",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 "true", "false", "with",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 "data", "copy", "to", "move", "add", "create", "drop", "clear", "load", "into"]);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 var operatorChars = /[*+\-<>=&|\^\/!\?]/;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 var PN_CHARS = "[A-Za-z_\\-0-9]";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 var PREFIX_START = new RegExp("[A-Za-z]");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 var PREFIX_REMAINDER = new RegExp("((" + PN_CHARS + "|\\.)*(" + PN_CHARS + "))?:");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 function tokenBase(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 var ch = stream.next();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 curPunc = null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 if (ch == "$" || ch == "?") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 if(ch == "?" && stream.match(/\s/, false)){
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 return "operator";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 stream.match(/^[A-Za-z0-9_\u00C0-\u00D6\u00D8-\u00F6\u00F8-\u02FF\u0370-\u037D\u037F-\u1FFF\u200C-\u200D\u2070-\u218F\u2C00-\u2FEF\u3001-\uD7FF\uF900-\uFDCF\uFDF0-\uFFFD][A-Za-z0-9_\u00B7\u00C0-\u00D6\u00D8-\u00F6\u00F8-\u037D\u037F-\u1FFF\u200C-\u200D\u203F-\u2040\u2070-\u218F\u2C00-\u2FEF\u3001-\uD7FF\uF900-\uFDCF\uFDF0-\uFFFD]*/);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 return "variable-2";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 else if (ch == "<" && !stream.match(/^[\s\u00a0=]/, false)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 stream.match(/^[^\s\u00a0>]*>?/);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 return "atom";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 else if (ch == "\"" || ch == "'") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 state.tokenize = tokenLiteral(ch);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 return state.tokenize(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 else if (/[{}\(\),\.;\[\]]/.test(ch)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 curPunc = ch;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 return "bracket";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 else if (ch == "#") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 stream.skipToEnd();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 return "comment";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 else if (operatorChars.test(ch)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 return "operator";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 else if (ch == ":") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 eatPnLocal(stream);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 return "atom";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 else if (ch == "@") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 stream.eatWhile(/[a-z\d\-]/i);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 return "meta";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77 else if (PREFIX_START.test(ch) && stream.match(PREFIX_REMAINDER)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 eatPnLocal(stream);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 return "atom";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81 stream.eatWhile(/[_\w\d]/);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82 var word = stream.current();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83 if (ops.test(word))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 return "builtin";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85 else if (keywords.test(word))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86 return "keyword";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87 else
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88 return "variable";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
91 function eatPnLocal(stream) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
92 stream.match(/(\.(?=[\w_\-\\%])|[:\w_-]|\\[-\\_~.!$&'()*+,;=/?#@%]|%[a-f\d][a-f\d])+/i);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
93 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95 function tokenLiteral(quote) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96 return function(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97 var escaped = false, ch;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
98 while ((ch = stream.next()) != null) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
99 if (ch == quote && !escaped) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
100 state.tokenize = tokenBase;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
101 break;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
103 escaped = !escaped && ch == "\\";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
104 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
105 return "string";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
106 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
107 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
108
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
109 function pushContext(state, type, col) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
110 state.context = {prev: state.context, indent: state.indent, col: col, type: type};
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
111 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
112 function popContext(state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
113 state.indent = state.context.indent;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
114 state.context = state.context.prev;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
115 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
116
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
117 return {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
118 startState: function() {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
119 return {tokenize: tokenBase,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
120 context: null,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
121 indent: 0,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
122 col: 0};
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
123 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
124
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
125 token: function(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
126 if (stream.sol()) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
127 if (state.context && state.context.align == null) state.context.align = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
128 state.indent = stream.indentation();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
129 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
130 if (stream.eatSpace()) return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
131 var style = state.tokenize(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
132
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
133 if (style != "comment" && state.context && state.context.align == null && state.context.type != "pattern") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
134 state.context.align = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
135 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
136
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
137 if (curPunc == "(") pushContext(state, ")", stream.column());
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
138 else if (curPunc == "[") pushContext(state, "]", stream.column());
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
139 else if (curPunc == "{") pushContext(state, "}", stream.column());
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
140 else if (/[\]\}\)]/.test(curPunc)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
141 while (state.context && state.context.type == "pattern") popContext(state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
142 if (state.context && curPunc == state.context.type) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
143 popContext(state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
144 if (curPunc == "}" && state.context && state.context.type == "pattern")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
145 popContext(state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
146 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
147 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
148 else if (curPunc == "." && state.context && state.context.type == "pattern") popContext(state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
149 else if (/atom|string|variable/.test(style) && state.context) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
150 if (/[\}\]]/.test(state.context.type))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
151 pushContext(state, "pattern", stream.column());
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
152 else if (state.context.type == "pattern" && !state.context.align) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
153 state.context.align = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
154 state.context.col = stream.column();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
155 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
156 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
157
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
158 return style;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
159 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
160
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
161 indent: function(state, textAfter) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
162 var firstChar = textAfter && textAfter.charAt(0);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
163 var context = state.context;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
164 if (/[\]\}]/.test(firstChar))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
165 while (context && context.type == "pattern") context = context.prev;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
166
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
167 var closing = context && firstChar == context.type;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
168 if (!context)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
169 return 0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
170 else if (context.type == "pattern")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
171 return context.col;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
172 else if (context.align)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
173 return context.col + (closing ? 0 : 1);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
174 else
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
175 return context.indent + (closing ? 0 : indentUnit);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
176 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
177
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
178 lineComment: "#"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
179 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
180 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
181
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
182 CodeMirror.defineMIME("application/sparql-query", "sparql");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
183
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
184 });