annotate .cms/lib/codemirror/addon/lint/json-lint.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 // Depends on jsonlint.js from https://github.com/zaach/jsonlint
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6 // declare global: jsonlint
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 (function(mod) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 if (typeof exports == "object" && typeof module == "object") // CommonJS
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 mod(require("../../lib/codemirror"));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 else if (typeof define == "function" && define.amd) // AMD
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 define(["../../lib/codemirror"], mod);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 else // Plain browser env
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 mod(CodeMirror);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 })(function(CodeMirror) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 "use strict";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 CodeMirror.registerHelper("lint", "json", function(text) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 var found = [];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 if (!window.jsonlint) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 if (window.console) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 window.console.error("Error: window.jsonlint not defined, CodeMirror JSON linting cannot run.");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 return found;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 // for jsonlint's web dist jsonlint is exported as an object with a single property parser, of which parseError
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 // is a subproperty
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 var jsonlint = window.jsonlint.parser || window.jsonlint
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 jsonlint.parseError = function(str, hash) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 var loc = hash.loc;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 found.push({from: CodeMirror.Pos(loc.first_line - 1, loc.first_column),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 to: CodeMirror.Pos(loc.last_line - 1, loc.last_column),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 message: str});
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 try { jsonlint.parse(text); }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 catch(e) {}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 return found;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 });