annotate .cms/lib/codemirror/addon/lint/coffeescript-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 coffeelint.js from http://www.coffeelint.org/js/coffeelint.js
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6 // declare global: coffeelint
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", "coffeescript", 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.coffeelint) {
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.coffeelint not defined, CodeMirror CoffeeScript 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 var parseError = function(err) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 var loc = err.lineNumber;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 found.push({from: CodeMirror.Pos(loc-1, 0),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 to: CodeMirror.Pos(loc, 0),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 severity: err.level,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 message: err.message});
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 try {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 var res = coffeelint.lint(text);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 for(var i = 0; i < res.length; i++) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 parseError(res[i]);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 } catch(e) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 found.push({from: CodeMirror.Pos(e.location.first_line, 0),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 to: CodeMirror.Pos(e.location.last_line, e.location.last_column),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 severity: 'error',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 message: e.message});
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 return found;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 });