annotate .cms/lib/codemirror/mode/dtd/dtd.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 /*
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5 DTD mode
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6 Ported to CodeMirror by Peter Kroon <plakroon@gmail.com>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7 Report bugs/issues here: https://github.com/codemirror/CodeMirror/issues
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 GitHub: @peterkroon
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 */
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 (function(mod) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 if (typeof exports == "object" && typeof module == "object") // CommonJS
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 mod(require("../../lib/codemirror"));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 else if (typeof define == "function" && define.amd) // AMD
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 define(["../../lib/codemirror"], mod);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 else // Plain browser env
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 mod(CodeMirror);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 })(function(CodeMirror) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 "use strict";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 CodeMirror.defineMode("dtd", function(config) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 var indentUnit = config.indentUnit, type;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 function ret(style, tp) {type = tp; return style;}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 function tokenBase(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 var ch = stream.next();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 if (ch == "<" && stream.eat("!") ) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 if (stream.eatWhile(/[\-]/)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 state.tokenize = tokenSGMLComment;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 return tokenSGMLComment(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 } else if (stream.eatWhile(/[\w]/)) return ret("keyword", "doindent");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 } else if (ch == "<" && stream.eat("?")) { //xml declaration
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 state.tokenize = inBlock("meta", "?>");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 return ret("meta", ch);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 } else if (ch == "#" && stream.eatWhile(/[\w]/)) return ret("atom", "tag");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 else if (ch == "|") return ret("keyword", "separator");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 else if (ch.match(/[\(\)\[\]\-\.,\+\?>]/)) return ret(null, ch);//if(ch === ">") return ret(null, "endtag"); else
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 else if (ch.match(/[\[\]]/)) return ret("rule", ch);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 else if (ch == "\"" || ch == "'") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 state.tokenize = tokenString(ch);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 return state.tokenize(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 } else if (stream.eatWhile(/[a-zA-Z\?\+\d]/)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 var sc = stream.current();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 if( sc.substr(sc.length-1,sc.length).match(/\?|\+/) !== null )stream.backUp(1);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 return ret("tag", "tag");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 } else if (ch == "%" || ch == "*" ) return ret("number", "number");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 else {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 stream.eatWhile(/[\w\\\-_%.{,]/);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 return ret(null, null);
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
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 function tokenSGMLComment(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 var dashes = 0, ch;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 while ((ch = stream.next()) != null) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 if (dashes >= 2 && ch == ">") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 state.tokenize = tokenBase;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 break;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 dashes = (ch == "-") ? dashes + 1 : 0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 return ret("comment", "comment");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 function tokenString(quote) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 return function(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 var escaped = false, ch;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 while ((ch = stream.next()) != null) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 if (ch == quote && !escaped) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 state.tokenize = tokenBase;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 break;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 escaped = !escaped && ch == "\\";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 return ret("string", "tag");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80 function inBlock(style, terminator) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81 return function(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82 while (!stream.eol()) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83 if (stream.match(terminator)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 state.tokenize = tokenBase;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85 break;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87 stream.next();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89 return style;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
91 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
92
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
93 return {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 startState: function(base) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95 return {tokenize: tokenBase,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96 baseIndent: base || 0,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97 stack: []};
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
98 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
99
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
100 token: function(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
101 if (stream.eatSpace()) return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102 var style = state.tokenize(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
103
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
104 var context = state.stack[state.stack.length-1];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
105 if (stream.current() == "[" || type === "doindent" || type == "[") state.stack.push("rule");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
106 else if (type === "endtag") state.stack[state.stack.length-1] = "endtag";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
107 else if (stream.current() == "]" || type == "]" || (type == ">" && context == "rule")) state.stack.pop();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
108 else if (type == "[") state.stack.push("[");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
109 return style;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
110 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
111
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
112 indent: function(state, textAfter) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
113 var n = state.stack.length;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
114
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
115 if( textAfter.charAt(0) === ']' )n--;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
116 else if(textAfter.substr(textAfter.length-1, textAfter.length) === ">"){
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
117 if(textAfter.substr(0,1) === "<") {}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
118 else if( type == "doindent" && textAfter.length > 1 ) {}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
119 else if( type == "doindent")n--;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
120 else if( type == ">" && textAfter.length > 1) {}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
121 else if( type == "tag" && textAfter !== ">") {}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
122 else if( type == "tag" && state.stack[state.stack.length-1] == "rule")n--;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
123 else if( type == "tag")n++;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
124 else if( textAfter === ">" && state.stack[state.stack.length-1] == "rule" && type === ">")n--;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
125 else if( textAfter === ">" && state.stack[state.stack.length-1] == "rule") {}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
126 else if( textAfter.substr(0,1) !== "<" && textAfter.substr(0,1) === ">" )n=n-1;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
127 else if( textAfter === ">") {}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
128 else n=n-1;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
129 //over rule them all
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
130 if(type == null || type == "]")n--;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
131 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
132
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
133 return state.baseIndent + n * indentUnit;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
134 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
135
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
136 electricChars: "]>"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
137 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
138 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
139
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
140 CodeMirror.defineMIME("application/xml-dtd", "dtd");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
141
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
142 });