annotate .cms/lib/codemirror/addon/lint/html-lint.js @ 0:78edf6b517a0 draft

24.10
author Coffee CMS <info@coffee-cms.ru>
date Fri, 11 Oct 2024 22:40:23 +0000
parents
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 htmlhint.js from http://htmlhint.com/js/htmlhint.js
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6 // declare global: HTMLHint
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"), require("htmlhint"));
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", "htmlhint"], 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, window.HTMLHint);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 })(function(CodeMirror, HTMLHint) {
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 var defaultRules = {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 "tagname-lowercase": true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 "attr-lowercase": true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 "attr-value-double-quotes": true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 "doctype-first": false,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 "tag-pair": true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 "spec-char-escape": true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 "id-unique": true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 "src-not-empty": true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 "attr-no-duplication": true
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 CodeMirror.registerHelper("lint", "html", function(text, options) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 var found = [];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 if (HTMLHint && !HTMLHint.verify) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 if(typeof HTMLHint.default !== 'undefined') {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 HTMLHint = HTMLHint.default;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 } else {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 HTMLHint = HTMLHint.HTMLHint;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 if (!HTMLHint) HTMLHint = window.HTMLHint;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 if (!HTMLHint) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 if (window.console) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 window.console.error("Error: HTMLHint not found, not defined on window, or not available through define/require, CodeMirror HTML linting cannot run.");
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 var messages = HTMLHint.verify(text, options && options.rules || defaultRules);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 for (var i = 0; i < messages.length; i++) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 var message = messages[i];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 var startLine = message.line - 1, endLine = message.line - 1, startCol = message.col - 1, endCol = message.col;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 found.push({
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 from: CodeMirror.Pos(startLine, startCol),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 to: CodeMirror.Pos(endLine, endCol),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 message: message.message,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 severity : message.type
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 return found;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 });