annotate .cms/lib/codemirror/mode/factor/factor.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 // Factor syntax highlight - simple mode
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5 //
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6 // by Dimage Sapelkin (https://github.com/kerabromsmu)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 (function(mod) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 if (typeof exports == "object" && typeof module == "object") // CommonJS
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 mod(require("../../lib/codemirror"), require("../../addon/mode/simple"));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 else if (typeof define == "function" && define.amd) // AMD
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 define(["../../lib/codemirror", "../../addon/mode/simple"], mod);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 else // Plain browser env
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 mod(CodeMirror);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 })(function(CodeMirror) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 "use strict";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 CodeMirror.defineSimpleMode("factor", {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 // The start state contains the rules that are initially used
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 start: [
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 // comments
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 {regex: /#?!.*/, token: "comment"},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 // strings """, multiline --> state
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 {regex: /"""/, token: "string", next: "string3"},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 {regex: /(STRING:)(\s)/, token: ["keyword", null], next: "string2"},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 {regex: /\S*?"/, token: "string", next: "string"},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 // numbers: dec, hex, unicode, bin, fractional, complex
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 {regex: /(?:0x[\d,a-f]+)|(?:0o[0-7]+)|(?:0b[0,1]+)|(?:\-?\d+.?\d*)(?=\s)/, token: "number"},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 //{regex: /[+-]?/} //fractional
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 // definition: defining word, defined word, etc
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 {regex: /((?:GENERIC)|\:?\:)(\s+)(\S+)(\s+)(\()/, token: ["keyword", null, "def", null, "bracket"], next: "stack"},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 // method definition: defining word, type, defined word, etc
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 {regex: /(M\:)(\s+)(\S+)(\s+)(\S+)/, token: ["keyword", null, "def", null, "tag"]},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 // vocabulary using --> state
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 {regex: /USING\:/, token: "keyword", next: "vocabulary"},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 // vocabulary definition/use
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 {regex: /(USE\:|IN\:)(\s+)(\S+)(?=\s|$)/, token: ["keyword", null, "tag"]},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 // definition: a defining word, defined word
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 {regex: /(\S+\:)(\s+)(\S+)(?=\s|$)/, token: ["keyword", null, "def"]},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 // "keywords", incl. ; t f . [ ] { } defining words
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 {regex: /(?:;|\\|t|f|if|loop|while|until|do|PRIVATE>|<PRIVATE|\.|\S*\[|\]|\S*\{|\})(?=\s|$)/, token: "keyword"},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 // <constructors> and the like
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 {regex: /\S+[\)>\.\*\?]+(?=\s|$)/, token: "builtin"},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 {regex: /[\)><]+\S+(?=\s|$)/, token: "builtin"},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 // operators
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 {regex: /(?:[\+\-\=\/\*<>])(?=\s|$)/, token: "keyword"},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 // any id (?)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 {regex: /\S+/, token: "variable"},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 {regex: /\s+|./, token: null}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 ],
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 vocabulary: [
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 {regex: /;/, token: "keyword", next: "start"},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 {regex: /\S+/, token: "tag"},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 {regex: /\s+|./, token: null}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 ],
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 string: [
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 {regex: /(?:[^\\]|\\.)*?"/, token: "string", next: "start"},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 {regex: /.*/, token: "string"}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 ],
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 string2: [
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 {regex: /^;/, token: "keyword", next: "start"},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 {regex: /.*/, token: "string"}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 ],
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 string3: [
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 {regex: /(?:[^\\]|\\.)*?"""/, token: "string", next: "start"},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 {regex: /.*/, token: "string"}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 ],
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 stack: [
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 {regex: /\)/, token: "bracket", next: "start"},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 {regex: /--/, token: "bracket"},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 {regex: /\S+/, token: "meta"},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 {regex: /\s+|./, token: null}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 ],
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 // The meta property contains global information about the mode. It
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 // can contain properties like lineComment, which are supported by
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 // all modes, and also directives like dontIndentStates, which are
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77 // specific to simple modes.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 meta: {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 dontIndentStates: ["start", "vocabulary", "string", "string3", "stack"],
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80 lineComment: "!"
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
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 CodeMirror.defineMIME("text/x-factor", "factor");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85 });