annotate .cms/lib/codemirror/mode/pascal/pascal.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 (function(mod) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5 if (typeof exports == "object" && typeof module == "object") // CommonJS
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6 mod(require("../../lib/codemirror"));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7 else if (typeof define == "function" && define.amd) // AMD
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 define(["../../lib/codemirror"], mod);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 else // Plain browser env
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 mod(CodeMirror);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 })(function(CodeMirror) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 "use strict";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 CodeMirror.defineMode("pascal", function() {
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) obj[words[i]] = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 return obj;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 var keywords = words(
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 "absolute and array asm begin case const constructor destructor div do " +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 "downto else end file for function goto if implementation in inherited " +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 "inline interface label mod nil not object of operator or packed procedure " +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 "program record reintroduce repeat self set shl shr string then to type " +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 "unit until uses var while with xor as class dispinterface except exports " +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 "finalization finally initialization inline is library on out packed " +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 "property raise resourcestring threadvar try absolute abstract alias " +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 "assembler bitpacked break cdecl continue cppdecl cvar default deprecated " +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 "dynamic enumerator experimental export external far far16 forward generic " +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 "helper implements index interrupt iocheck local message name near " +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 "nodefault noreturn nostackframe oldfpccall otherwise overload override " +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 "pascal platform private protected public published read register " +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 "reintroduce result safecall saveregisters softfloat specialize static " +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 "stdcall stored strict unaligned unimplemented varargs virtual write");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 var atoms = {"null": true};
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 var isOperatorChar = /[+\-*&%=<>!?|\/]/;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 function tokenBase(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 var ch = stream.next();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 if (ch == "#" && state.startOfLine) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 stream.skipToEnd();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 return "meta";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 if (ch == '"' || ch == "'") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 state.tokenize = tokenString(ch);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 return state.tokenize(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 if (ch == "(" && stream.eat("*")) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 state.tokenize = tokenComment;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 return tokenComment(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 if (ch == "{") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 state.tokenize = tokenCommentBraces;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 return tokenCommentBraces(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 if (/[\[\]\(\),;\:\.]/.test(ch)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 if (/\d/.test(ch)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 stream.eatWhile(/[\w\.]/);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 return "number";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 if (ch == "/") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 if (stream.eat("/")) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 stream.skipToEnd();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 return "comment";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 if (isOperatorChar.test(ch)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 stream.eatWhile(isOperatorChar);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 return "operator";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 stream.eatWhile(/[\w\$_]/);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 var cur = stream.current();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 if (keywords.propertyIsEnumerable(cur)) return "keyword";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77 if (atoms.propertyIsEnumerable(cur)) return "atom";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 return "variable";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81 function tokenString(quote) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82 return function(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83 var escaped = false, next, end = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 while ((next = stream.next()) != null) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85 if (next == quote && !escaped) {end = true; break;}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86 escaped = !escaped && next == "\\";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88 if (end || !escaped) state.tokenize = null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89 return "string";
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 function tokenComment(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 var maybeEnd = false, ch;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95 while (ch = stream.next()) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96 if (ch == ")" && maybeEnd) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97 state.tokenize = null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
98 break;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
99 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
100 maybeEnd = (ch == "*");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
101 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102 return "comment";
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 tokenCommentBraces(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
106 var ch;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
107 while (ch = stream.next()) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
108 if (ch == "}") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
109 state.tokenize = null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
110 break;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
111 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
112 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
113 return "comment";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
114 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
115
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
116 // Interface
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
117
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
118 return {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
119 startState: function() {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
120 return {tokenize: null};
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
121 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
122
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
123 token: function(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
124 if (stream.eatSpace()) return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
125 var style = (state.tokenize || tokenBase)(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
126 if (style == "comment" || style == "meta") return style;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
127 return style;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
128 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
129
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
130 electricChars: "{}"
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
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
134 CodeMirror.defineMIME("text/x-pascal", "pascal");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
135
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
136 });