annotate .cms/lib/codemirror/mode/vhdl/vhdl.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 // Originally written by Alf Nielsen, re-written by Michael Zhou
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5 (function(mod) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6 if (typeof exports == "object" && typeof module == "object") // CommonJS
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7 mod(require("../../lib/codemirror"));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 else if (typeof define == "function" && define.amd) // AMD
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 define(["../../lib/codemirror"], mod);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 else // Plain browser env
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 mod(CodeMirror);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 })(function(CodeMirror) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 "use strict";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 function words(str) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 var obj = {}, words = str.split(",");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 for (var i = 0; i < words.length; ++i) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 var allCaps = words[i].toUpperCase();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 var firstCap = words[i].charAt(0).toUpperCase() + words[i].slice(1);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 obj[words[i]] = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 obj[allCaps] = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 obj[firstCap] = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 return obj;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 function metaHook(stream) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 stream.eatWhile(/[\w\$_]/);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 return "meta";
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.defineMode("vhdl", function(config, parserConfig) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 var indentUnit = config.indentUnit,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 atoms = parserConfig.atoms || words("null"),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 hooks = parserConfig.hooks || {"`": metaHook, "$": metaHook},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 multiLineStrings = parserConfig.multiLineStrings;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 var keywords = words("abs,access,after,alias,all,and,architecture,array,assert,attribute,begin,block," +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 "body,buffer,bus,case,component,configuration,constant,disconnect,downto,else,elsif,end,end block,end case," +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 "end component,end for,end generate,end if,end loop,end process,end record,end units,entity,exit,file,for," +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 "function,generate,generic,generic map,group,guarded,if,impure,in,inertial,inout,is,label,library,linkage," +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 "literal,loop,map,mod,nand,new,next,nor,null,of,on,open,or,others,out,package,package body,port,port map," +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 "postponed,procedure,process,pure,range,record,register,reject,rem,report,return,rol,ror,select,severity,signal," +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 "sla,sll,sra,srl,subtype,then,to,transport,type,unaffected,units,until,use,variable,wait,when,while,with,xnor,xor");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 var blockKeywords = words("architecture,entity,begin,case,port,else,elsif,end,for,function,if");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 var isOperatorChar = /[&|~><!\)\(*#%@+\/=?\:;}{,\.\^\-\[\]]/;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 var curPunc;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 function tokenBase(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 var ch = stream.next();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 if (hooks[ch]) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 var result = hooks[ch](stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 if (result !== false) return result;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 if (ch == '"') {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 state.tokenize = tokenString2(ch);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 return state.tokenize(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 if (ch == "'") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 state.tokenize = tokenString(ch);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 return state.tokenize(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 if (/[\[\]{}\(\),;\:\.]/.test(ch)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 curPunc = ch;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 if (/[\d']/.test(ch)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 stream.eatWhile(/[\w\.']/);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 return "number";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 if (ch == "-") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 if (stream.eat("-")) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 stream.skipToEnd();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 return "comment";
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 if (isOperatorChar.test(ch)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80 stream.eatWhile(isOperatorChar);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81 return "operator";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83 stream.eatWhile(/[\w\$_]/);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 var cur = stream.current();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85 if (keywords.propertyIsEnumerable(cur.toLowerCase())) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86 if (blockKeywords.propertyIsEnumerable(cur)) curPunc = "newstatement";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87 return "keyword";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89 if (atoms.propertyIsEnumerable(cur)) return "atom";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90 return "variable";
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 function tokenString(quote) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 return function(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95 var escaped = false, next, end = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96 while ((next = stream.next()) != null) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97 if (next == quote && !escaped) {end = true; break;}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
98 escaped = !escaped && next == "--";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
99 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
100 if (end || !(escaped || multiLineStrings))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
101 state.tokenize = tokenBase;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102 return "string";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
103 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
104 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
105 function tokenString2(quote) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
106 return function(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
107 var escaped = false, next, end = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
108 while ((next = stream.next()) != null) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
109 if (next == quote && !escaped) {end = true; break;}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
110 escaped = !escaped && next == "--";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
111 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
112 if (end || !(escaped || multiLineStrings))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
113 state.tokenize = tokenBase;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
114 return "string-2";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
115 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
116 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
117
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
118 function Context(indented, column, type, align, prev) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
119 this.indented = indented;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
120 this.column = column;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
121 this.type = type;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
122 this.align = align;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
123 this.prev = prev;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
124 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
125 function pushContext(state, col, type) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
126 return state.context = new Context(state.indented, col, type, null, state.context);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
127 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
128 function popContext(state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
129 var t = state.context.type;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
130 if (t == ")" || t == "]" || t == "}")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
131 state.indented = state.context.indented;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
132 return state.context = state.context.prev;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
133 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
134
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
135 // Interface
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
136 return {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
137 startState: function(basecolumn) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
138 return {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
139 tokenize: null,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
140 context: new Context((basecolumn || 0) - indentUnit, 0, "top", false),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
141 indented: 0,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
142 startOfLine: true
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
143 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
144 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
145
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
146 token: function(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
147 var ctx = state.context;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
148 if (stream.sol()) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
149 if (ctx.align == null) ctx.align = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
150 state.indented = stream.indentation();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
151 state.startOfLine = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
152 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
153 if (stream.eatSpace()) return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
154 curPunc = null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
155 var style = (state.tokenize || tokenBase)(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
156 if (style == "comment" || style == "meta") return style;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
157 if (ctx.align == null) ctx.align = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
158
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
159 if ((curPunc == ";" || curPunc == ":") && ctx.type == "statement") popContext(state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
160 else if (curPunc == "{") pushContext(state, stream.column(), "}");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
161 else if (curPunc == "[") pushContext(state, stream.column(), "]");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
162 else if (curPunc == "(") pushContext(state, stream.column(), ")");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
163 else if (curPunc == "}") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
164 while (ctx.type == "statement") ctx = popContext(state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
165 if (ctx.type == "}") ctx = popContext(state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
166 while (ctx.type == "statement") ctx = popContext(state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
167 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
168 else if (curPunc == ctx.type) popContext(state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
169 else if (ctx.type == "}" || ctx.type == "top" || (ctx.type == "statement" && curPunc == "newstatement"))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
170 pushContext(state, stream.column(), "statement");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
171 state.startOfLine = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
172 return style;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
173 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
174
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
175 indent: function(state, textAfter) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
176 if (state.tokenize != tokenBase && state.tokenize != null) return 0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
177 var firstChar = textAfter && textAfter.charAt(0), ctx = state.context, closing = firstChar == ctx.type;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
178 if (ctx.type == "statement") return ctx.indented + (firstChar == "{" ? 0 : indentUnit);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
179 else if (ctx.align) return ctx.column + (closing ? 0 : 1);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
180 else return ctx.indented + (closing ? 0 : indentUnit);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
181 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
182
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
183 electricChars: "{}"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
184 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
185 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
186
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
187 CodeMirror.defineMIME("text/x-vhdl", "vhdl");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
188
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
189 });