annotate .cms/lib/codemirror/mode/scheme/scheme.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 * Author: Koh Zi Han, based on implementation by Koh Zi Chun
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6 * Improved by: Jakub T. Jankiewicz
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7 */
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 (function(mod) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 if (typeof exports == "object" && typeof module == "object") // CommonJS
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 mod(require("../../lib/codemirror"));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 else if (typeof define == "function" && define.amd) // AMD
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 define(["../../lib/codemirror"], mod);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 else // Plain browser env
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 mod(CodeMirror);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 })(function(CodeMirror) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 "use strict";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 CodeMirror.defineMode("scheme", function () {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 var BUILTIN = "builtin", COMMENT = "comment", STRING = "string",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 SYMBOL = "symbol", ATOM = "atom", NUMBER = "number", BRACKET = "bracket";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 var INDENT_WORD_SKIP = 2;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 function makeKeywords(str) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 var obj = {}, words = str.split(" ");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 for (var i = 0; i < words.length; ++i) obj[words[i]] = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 return obj;
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 var keywords = makeKeywords("λ case-lambda call/cc class cond-expand define-class define-values exit-handler field import inherit init-field interface let*-values let-values let/ec mixin opt-lambda override protect provide public rename require require-for-syntax syntax syntax-case syntax-error unit/sig unless when with-syntax and begin call-with-current-continuation call-with-input-file call-with-output-file case cond define define-syntax define-macro defmacro delay do dynamic-wind else for-each if lambda let let* let-syntax letrec letrec-syntax map or syntax-rules abs acos angle append apply asin assoc assq assv atan boolean? caar cadr call-with-input-file call-with-output-file call-with-values car cdddar cddddr cdr ceiling char->integer char-alphabetic? char-ci<=? char-ci<? char-ci=? char-ci>=? char-ci>? char-downcase char-lower-case? char-numeric? char-ready? char-upcase char-upper-case? char-whitespace? char<=? char<? char=? char>=? char>? char? close-input-port close-output-port complex? cons cos current-input-port current-output-port denominator display eof-object? eq? equal? eqv? eval even? exact->inexact exact? exp expt #f floor force gcd imag-part inexact->exact inexact? input-port? integer->char integer? interaction-environment lcm length list list->string list->vector list-ref list-tail list? load log magnitude make-polar make-rectangular make-string make-vector max member memq memv min modulo negative? newline not null-environment null? number->string number? numerator odd? open-input-file open-output-file output-port? pair? peek-char port? positive? procedure? quasiquote quote quotient rational? rationalize read read-char real-part real? remainder reverse round scheme-report-environment set! set-car! set-cdr! sin sqrt string string->list string->number string->symbol string-append string-ci<=? string-ci<? string-ci=? string-ci>=? string-ci>? string-copy string-fill! string-length string-ref string-set! string<=? string<? string=? string>=? string>? string? substring symbol->string symbol? #t tan transcript-off transcript-on truncate values vector vector->list vector-fill! vector-length vector-ref vector-set! with-input-from-file with-output-to-file write write-char zero?");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 var indentKeys = makeKeywords("define let letrec let* lambda define-macro defmacro let-syntax letrec-syntax let-values let*-values define-syntax syntax-rules define-values when unless");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 function stateStack(indent, type, prev) { // represents a state stack object
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 this.indent = indent;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 this.type = type;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 this.prev = prev;
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 function pushStack(state, indent, type) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 state.indentStack = new stateStack(indent, type, state.indentStack);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 function popStack(state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 state.indentStack = state.indentStack.prev;
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 var binaryMatcher = new RegExp(/^(?:[-+]i|[-+][01]+#*(?:\/[01]+#*)?i|[-+]?[01]+#*(?:\/[01]+#*)?@[-+]?[01]+#*(?:\/[01]+#*)?|[-+]?[01]+#*(?:\/[01]+#*)?[-+](?:[01]+#*(?:\/[01]+#*)?)?i|[-+]?[01]+#*(?:\/[01]+#*)?)(?=[()\s;"]|$)/i);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 var octalMatcher = new RegExp(/^(?:[-+]i|[-+][0-7]+#*(?:\/[0-7]+#*)?i|[-+]?[0-7]+#*(?:\/[0-7]+#*)?@[-+]?[0-7]+#*(?:\/[0-7]+#*)?|[-+]?[0-7]+#*(?:\/[0-7]+#*)?[-+](?:[0-7]+#*(?:\/[0-7]+#*)?)?i|[-+]?[0-7]+#*(?:\/[0-7]+#*)?)(?=[()\s;"]|$)/i);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 var hexMatcher = new RegExp(/^(?:[-+]i|[-+][\da-f]+#*(?:\/[\da-f]+#*)?i|[-+]?[\da-f]+#*(?:\/[\da-f]+#*)?@[-+]?[\da-f]+#*(?:\/[\da-f]+#*)?|[-+]?[\da-f]+#*(?:\/[\da-f]+#*)?[-+](?:[\da-f]+#*(?:\/[\da-f]+#*)?)?i|[-+]?[\da-f]+#*(?:\/[\da-f]+#*)?)(?=[()\s;"]|$)/i);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 var decimalMatcher = new RegExp(/^(?:[-+]i|[-+](?:(?:(?:\d+#+\.?#*|\d+\.\d*#*|\.\d+#*|\d+)(?:[esfdl][-+]?\d+)?)|\d+#*\/\d+#*)i|[-+]?(?:(?:(?:\d+#+\.?#*|\d+\.\d*#*|\.\d+#*|\d+)(?:[esfdl][-+]?\d+)?)|\d+#*\/\d+#*)@[-+]?(?:(?:(?:\d+#+\.?#*|\d+\.\d*#*|\.\d+#*|\d+)(?:[esfdl][-+]?\d+)?)|\d+#*\/\d+#*)|[-+]?(?:(?:(?:\d+#+\.?#*|\d+\.\d*#*|\.\d+#*|\d+)(?:[esfdl][-+]?\d+)?)|\d+#*\/\d+#*)[-+](?:(?:(?:\d+#+\.?#*|\d+\.\d*#*|\.\d+#*|\d+)(?:[esfdl][-+]?\d+)?)|\d+#*\/\d+#*)?i|(?:(?:(?:\d+#+\.?#*|\d+\.\d*#*|\.\d+#*|\d+)(?:[esfdl][-+]?\d+)?)|\d+#*\/\d+#*))(?=[()\s;"]|$)/i);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 function isBinaryNumber (stream) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 return stream.match(binaryMatcher);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 function isOctalNumber (stream) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 return stream.match(octalMatcher);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 function isDecimalNumber (stream, backup) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 if (backup === true) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 stream.backUp(1);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 return stream.match(decimalMatcher);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 function isHexNumber (stream) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 return stream.match(hexMatcher);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 function processEscapedSequence(stream, options) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 var next, escaped = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 while ((next = stream.next()) != null) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 if (next == options.token && !escaped) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 options.state.mode = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77 break;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 escaped = !escaped && next == "\\";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83 return {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 startState: function () {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85 return {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86 indentStack: null,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87 indentation: 0,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88 mode: false,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89 sExprComment: false,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90 sExprQuote: false
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
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 token: function (stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95 if (state.indentStack == null && stream.sol()) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96 // update indentation, but only if indentStack is empty
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97 state.indentation = stream.indentation();
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 // skip spaces
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
101 if (stream.eatSpace()) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102 return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
103 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
104 var returnType = null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
105
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
106 switch(state.mode){
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
107 case "string": // multi-line string parsing mode
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
108 processEscapedSequence(stream, {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
109 token: "\"",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
110 state: state
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
111 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
112 returnType = STRING; // continue on in scheme-string mode
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
113 break;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
114 case "symbol": // escape symbol
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
115 processEscapedSequence(stream, {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
116 token: "|",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
117 state: state
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
118 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
119 returnType = SYMBOL; // continue on in scheme-symbol mode
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
120 break;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
121 case "comment": // comment parsing mode
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
122 var next, maybeEnd = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
123 while ((next = stream.next()) != null) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
124 if (next == "#" && maybeEnd) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
125
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
126 state.mode = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
127 break;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
128 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
129 maybeEnd = (next == "|");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
130 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
131 returnType = COMMENT;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
132 break;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
133 case "s-expr-comment": // s-expr commenting mode
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
134 state.mode = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
135 if(stream.peek() == "(" || stream.peek() == "["){
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
136 // actually start scheme s-expr commenting mode
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
137 state.sExprComment = 0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
138 }else{
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
139 // if not we just comment the entire of the next token
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
140 stream.eatWhile(/[^\s\(\)\[\]]/); // eat symbol atom
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
141 returnType = COMMENT;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
142 break;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
143 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
144 default: // default parsing mode
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
145 var ch = stream.next();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
146
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
147 if (ch == "\"") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
148 state.mode = "string";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
149 returnType = STRING;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
150
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
151 } else if (ch == "'") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
152 if (stream.peek() == "(" || stream.peek() == "["){
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
153 if (typeof state.sExprQuote != "number") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
154 state.sExprQuote = 0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
155 } // else already in a quoted expression
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
156 returnType = ATOM;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
157 } else {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
158 stream.eatWhile(/[\w_\-!$%&*+\.\/:<=>?@\^~]/);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
159 returnType = ATOM;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
160 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
161 } else if (ch == '|') {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
162 state.mode = "symbol";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
163 returnType = SYMBOL;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
164 } else if (ch == '#') {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
165 if (stream.eat("|")) { // Multi-line comment
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
166 state.mode = "comment"; // toggle to comment mode
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
167 returnType = COMMENT;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
168 } else if (stream.eat(/[tf]/i)) { // #t/#f (atom)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
169 returnType = ATOM;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
170 } else if (stream.eat(';')) { // S-Expr comment
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
171 state.mode = "s-expr-comment";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
172 returnType = COMMENT;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
173 } else {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
174 var numTest = null, hasExactness = false, hasRadix = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
175 if (stream.eat(/[ei]/i)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
176 hasExactness = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
177 } else {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
178 stream.backUp(1); // must be radix specifier
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
179 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
180 if (stream.match(/^#b/i)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
181 numTest = isBinaryNumber;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
182 } else if (stream.match(/^#o/i)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
183 numTest = isOctalNumber;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
184 } else if (stream.match(/^#x/i)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
185 numTest = isHexNumber;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
186 } else if (stream.match(/^#d/i)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
187 numTest = isDecimalNumber;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
188 } else if (stream.match(/^[-+0-9.]/, false)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
189 hasRadix = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
190 numTest = isDecimalNumber;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
191 // re-consume the initial # if all matches failed
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
192 } else if (!hasExactness) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
193 stream.eat('#');
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
194 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
195 if (numTest != null) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
196 if (hasRadix && !hasExactness) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
197 // consume optional exactness after radix
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
198 stream.match(/^#[ei]/i);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
199 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
200 if (numTest(stream))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
201 returnType = NUMBER;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
202 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
203 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
204 } else if (/^[-+0-9.]/.test(ch) && isDecimalNumber(stream, true)) { // match non-prefixed number, must be decimal
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
205 returnType = NUMBER;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
206 } else if (ch == ";") { // comment
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
207 stream.skipToEnd(); // rest of the line is a comment
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
208 returnType = COMMENT;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
209 } else if (ch == "(" || ch == "[") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
210 var keyWord = ''; var indentTemp = stream.column(), letter;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
211 /**
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
212 Either
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
213 (indent-word ..
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
214 (non-indent-word ..
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
215 (;something else, bracket, etc.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
216 */
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
217
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
218 while ((letter = stream.eat(/[^\s\(\[\;\)\]]/)) != null) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
219 keyWord += letter;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
220 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
221
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
222 if (keyWord.length > 0 && indentKeys.propertyIsEnumerable(keyWord)) { // indent-word
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
223
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
224 pushStack(state, indentTemp + INDENT_WORD_SKIP, ch);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
225 } else { // non-indent word
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
226 // we continue eating the spaces
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
227 stream.eatSpace();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
228 if (stream.eol() || stream.peek() == ";") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
229 // nothing significant after
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
230 // we restart indentation 1 space after
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
231 pushStack(state, indentTemp + 1, ch);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
232 } else {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
233 pushStack(state, indentTemp + stream.current().length, ch); // else we match
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
234 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
235 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
236 stream.backUp(stream.current().length - 1); // undo all the eating
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
237
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
238 if(typeof state.sExprComment == "number") state.sExprComment++;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
239 if(typeof state.sExprQuote == "number") state.sExprQuote++;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
240
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
241 returnType = BRACKET;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
242 } else if (ch == ")" || ch == "]") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
243 returnType = BRACKET;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
244 if (state.indentStack != null && state.indentStack.type == (ch == ")" ? "(" : "[")) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
245 popStack(state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
246
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
247 if(typeof state.sExprComment == "number"){
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
248 if(--state.sExprComment == 0){
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
249 returnType = COMMENT; // final closing bracket
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
250 state.sExprComment = false; // turn off s-expr commenting mode
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
251 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
252 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
253 if(typeof state.sExprQuote == "number"){
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
254 if(--state.sExprQuote == 0){
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
255 returnType = ATOM; // final closing bracket
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
256 state.sExprQuote = false; // turn off s-expr quote mode
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
257 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
258 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
259 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
260 } else {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
261 stream.eatWhile(/[\w_\-!$%&*+\.\/:<=>?@\^~]/);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
262
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
263 if (keywords && keywords.propertyIsEnumerable(stream.current())) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
264 returnType = BUILTIN;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
265 } else returnType = "variable";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
266 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
267 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
268 return (typeof state.sExprComment == "number") ? COMMENT : ((typeof state.sExprQuote == "number") ? ATOM : returnType);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
269 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
270
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
271 indent: function (state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
272 if (state.indentStack == null) return state.indentation;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
273 return state.indentStack.indent;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
274 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
275
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
276 fold: "brace-paren",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
277 closeBrackets: {pairs: "()[]{}\"\""},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
278 lineComment: ";;"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
279 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
280 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
281
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
282 CodeMirror.defineMIME("text/x-scheme", "scheme");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
283
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
284 });