annotate .cms/lib/codemirror/mode/octave/octave.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("octave", function() {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 function wordRegexp(words) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 return new RegExp("^((" + words.join(")|(") + "))\\b");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 var singleOperators = new RegExp("^[\\+\\-\\*/&|\\^~<>!@'\\\\]");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 var singleDelimiters = new RegExp('^[\\(\\[\\{\\},:=;\\.]');
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 var doubleOperators = new RegExp("^((==)|(~=)|(<=)|(>=)|(<<)|(>>)|(\\.[\\+\\-\\*/\\^\\\\]))");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 var doubleDelimiters = new RegExp("^((!=)|(\\+=)|(\\-=)|(\\*=)|(/=)|(&=)|(\\|=)|(\\^=))");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 var tripleDelimiters = new RegExp("^((>>=)|(<<=))");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 var expressionEnd = new RegExp("^[\\]\\)]");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 var identifiers = new RegExp("^[_A-Za-z\xa1-\uffff][_A-Za-z0-9\xa1-\uffff]*");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 var builtins = wordRegexp([
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 'error', 'eval', 'function', 'abs', 'acos', 'atan', 'asin', 'cos',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 'cosh', 'exp', 'log', 'prod', 'sum', 'log10', 'max', 'min', 'sign', 'sin', 'sinh',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 'sqrt', 'tan', 'reshape', 'break', 'zeros', 'default', 'margin', 'round', 'ones',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 'rand', 'syn', 'ceil', 'floor', 'size', 'clear', 'zeros', 'eye', 'mean', 'std', 'cov',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 'det', 'eig', 'inv', 'norm', 'rank', 'trace', 'expm', 'logm', 'sqrtm', 'linspace', 'plot',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 'title', 'xlabel', 'ylabel', 'legend', 'text', 'grid', 'meshgrid', 'mesh', 'num2str',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 'fft', 'ifft', 'arrayfun', 'cellfun', 'input', 'fliplr', 'flipud', 'ismember'
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 ]);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 var keywords = wordRegexp([
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 'return', 'case', 'switch', 'else', 'elseif', 'end', 'endif', 'endfunction',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 'if', 'otherwise', 'do', 'for', 'while', 'try', 'catch', 'classdef', 'properties', 'events',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 'methods', 'global', 'persistent', 'endfor', 'endwhile', 'printf', 'sprintf', 'disp', 'until',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 'continue', 'pkg'
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 ]);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 // tokenizers
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 function tokenTranspose(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 if (!stream.sol() && stream.peek() === '\'') {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 stream.next();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 state.tokenize = tokenBase;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 return 'operator';
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 state.tokenize = tokenBase;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 return tokenBase(stream, state);
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
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 function tokenComment(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 if (stream.match(/^.*%}/)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 state.tokenize = tokenBase;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 return 'comment';
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 stream.skipToEnd();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 return '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 tokenBase(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 // whitespaces
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 if (stream.eatSpace()) return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 // Handle one line Comments
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 if (stream.match('%{')){
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 state.tokenize = tokenComment;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 stream.skipToEnd();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 return 'comment';
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77 if (stream.match(/^[%#]/)){
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 stream.skipToEnd();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 return 'comment';
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 // Handle Number Literals
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83 if (stream.match(/^[0-9\.+-]/, false)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 if (stream.match(/^[+-]?0x[0-9a-fA-F]+[ij]?/)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85 stream.tokenize = tokenBase;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86 return 'number'; };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87 if (stream.match(/^[+-]?\d*\.\d+([EeDd][+-]?\d+)?[ij]?/)) { return 'number'; };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88 if (stream.match(/^[+-]?\d+([EeDd][+-]?\d+)?[ij]?/)) { return 'number'; };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90 if (stream.match(wordRegexp(['nan','NaN','inf','Inf']))) { return 'number'; };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
91
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
92 // Handle Strings
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
93 var m = stream.match(/^"(?:[^"]|"")*("|$)/) || stream.match(/^'(?:[^']|'')*('|$)/)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 if (m) { return m[1] ? 'string' : "string error"; }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96 // Handle words
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97 if (stream.match(keywords)) { return 'keyword'; } ;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
98 if (stream.match(builtins)) { return 'builtin'; } ;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
99 if (stream.match(identifiers)) { return 'variable'; } ;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
100
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
101 if (stream.match(singleOperators) || stream.match(doubleOperators)) { return 'operator'; };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102 if (stream.match(singleDelimiters) || stream.match(doubleDelimiters) || stream.match(tripleDelimiters)) { return null; };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
103
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
104 if (stream.match(expressionEnd)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
105 state.tokenize = tokenTranspose;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
106 return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
107 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
108
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
109
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
110 // Handle non-detected items
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
111 stream.next();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
112 return 'error';
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
113 };
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 return {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
117 startState: function() {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
118 return {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
119 tokenize: tokenBase
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
120 };
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 var style = state.tokenize(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
125 if (style === 'number' || style === 'variable'){
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
126 state.tokenize = tokenTranspose;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
127 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
128 return style;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
129 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
130
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
131 lineComment: '%',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
132
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
133 fold: 'indent'
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
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
137 CodeMirror.defineMIME("text/x-octave", "octave");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
138
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
139 });