annotate .cms/lib/codemirror/addon/lint/javascript-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 jshint.js from https://github.com/jshint/jshint
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6 (function(mod) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7 if (typeof exports == "object" && typeof module == "object") // CommonJS
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 mod(require("../../lib/codemirror"));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 else if (typeof define == "function" && define.amd) // AMD
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 define(["../../lib/codemirror"], mod);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 else // Plain browser env
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 mod(CodeMirror);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 })(function(CodeMirror) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 "use strict";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 // declare global: JSHINT
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 function validator(text, options) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 if (!window.JSHINT) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 if (window.console) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 window.console.error("Error: window.JSHINT not defined, CodeMirror JavaScript linting cannot run.");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 return [];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 if (!options.indent) // JSHint error.character actually is a column index, this fixes underlining on lines using tabs for indentation
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 options.indent = 1; // JSHint default value is 4
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 JSHINT(text, options, options.globals);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 var errors = JSHINT.data().errors, result = [];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 if (errors) parseErrors(errors, result);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 return result;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 CodeMirror.registerHelper("lint", "javascript", validator);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 function parseErrors(errors, output) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 for ( var i = 0; i < errors.length; i++) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 var error = errors[i];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 if (error) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 if (error.line <= 0) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 if (window.console) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 window.console.warn("Cannot display JSHint error (invalid line " + error.line + ")", error);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 continue;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 var start = error.character - 1, end = start + 1;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 if (error.evidence) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 var index = error.evidence.substring(start).search(/.\b/);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 if (index > -1) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 end += index;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 // Convert to format expected by validation service
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 var hint = {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 message: error.reason,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 severity: error.code ? (error.code.startsWith('W') ? "warning" : "error") : "error",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 from: CodeMirror.Pos(error.line - 1, start),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 to: CodeMirror.Pos(error.line - 1, end)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 output.push(hint);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 });