annotate .cms/lib/codemirror/mode/asn.1/asn.1.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 (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("asn.1", function(config, parserConfig) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 var indentUnit = config.indentUnit,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 keywords = parserConfig.keywords || {},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 cmipVerbs = parserConfig.cmipVerbs || {},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 compareTypes = parserConfig.compareTypes || {},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 status = parserConfig.status || {},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 tags = parserConfig.tags || {},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 storage = parserConfig.storage || {},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 modifier = parserConfig.modifier || {},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 accessTypes = parserConfig.accessTypes|| {},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 multiLineStrings = parserConfig.multiLineStrings,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 indentStatements = parserConfig.indentStatements !== false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 var isOperatorChar = /[\|\^]/;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 var curPunc;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 function tokenBase(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 var ch = stream.next();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 if (ch == '"' || ch == "'") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 state.tokenize = tokenString(ch);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 return state.tokenize(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 if (/[\[\]\(\){}:=,;]/.test(ch)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 curPunc = ch;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 return "punctuation";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 if (ch == "-"){
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 if (stream.eat("-")) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 stream.skipToEnd();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 return "comment";
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 if (/\d/.test(ch)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 stream.eatWhile(/[\w\.]/);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 return "number";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 if (isOperatorChar.test(ch)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 stream.eatWhile(isOperatorChar);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 return "operator";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 stream.eatWhile(/[\w\-]/);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 var cur = stream.current();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 if (keywords.propertyIsEnumerable(cur)) return "keyword";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 if (cmipVerbs.propertyIsEnumerable(cur)) return "variable cmipVerbs";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 if (compareTypes.propertyIsEnumerable(cur)) return "atom compareTypes";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 if (status.propertyIsEnumerable(cur)) return "comment status";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 if (tags.propertyIsEnumerable(cur)) return "variable-3 tags";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 if (storage.propertyIsEnumerable(cur)) return "builtin storage";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 if (modifier.propertyIsEnumerable(cur)) return "string-2 modifier";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 if (accessTypes.propertyIsEnumerable(cur)) return "atom accessTypes";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 return "variable";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 function tokenString(quote) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 return function(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 var escaped = false, next, end = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 while ((next = stream.next()) != null) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 if (next == quote && !escaped){
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 var afterNext = stream.peek();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 //look if the character if the quote is like the B in '10100010'B
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 if (afterNext){
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 afterNext = afterNext.toLowerCase();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77 if(afterNext == "b" || afterNext == "h" || afterNext == "o")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 stream.next();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80 end = true; break;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82 escaped = !escaped && next == "\\";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 if (end || !(escaped || multiLineStrings))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85 state.tokenize = null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86 return "string";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90 function Context(indented, column, type, align, prev) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
91 this.indented = indented;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
92 this.column = column;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
93 this.type = type;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 this.align = align;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95 this.prev = prev;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97 function pushContext(state, col, type) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
98 var indent = state.indented;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
99 if (state.context && state.context.type == "statement")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
100 indent = state.context.indented;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
101 return state.context = new Context(indent, col, type, null, state.context);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
103 function popContext(state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
104 var t = state.context.type;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
105 if (t == ")" || t == "]" || t == "}")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
106 state.indented = state.context.indented;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
107 return state.context = state.context.prev;
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 //Interface
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
111 return {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
112 startState: function(basecolumn) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
113 return {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
114 tokenize: null,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
115 context: new Context((basecolumn || 0) - indentUnit, 0, "top", false),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
116 indented: 0,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
117 startOfLine: true
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
118 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
119 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
120
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
121 token: function(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
122 var ctx = state.context;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
123 if (stream.sol()) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
124 if (ctx.align == null) ctx.align = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
125 state.indented = stream.indentation();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
126 state.startOfLine = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
127 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
128 if (stream.eatSpace()) return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
129 curPunc = null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
130 var style = (state.tokenize || tokenBase)(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
131 if (style == "comment") return style;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
132 if (ctx.align == null) ctx.align = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
133
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
134 if ((curPunc == ";" || curPunc == ":" || curPunc == ",")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
135 && ctx.type == "statement"){
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
136 popContext(state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
137 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
138 else if (curPunc == "{") pushContext(state, stream.column(), "}");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
139 else if (curPunc == "[") pushContext(state, stream.column(), "]");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
140 else if (curPunc == "(") pushContext(state, stream.column(), ")");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
141 else if (curPunc == "}") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
142 while (ctx.type == "statement") ctx = popContext(state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
143 if (ctx.type == "}") ctx = popContext(state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
144 while (ctx.type == "statement") ctx = popContext(state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
145 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
146 else if (curPunc == ctx.type) popContext(state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
147 else if (indentStatements && (((ctx.type == "}" || ctx.type == "top")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
148 && curPunc != ';') || (ctx.type == "statement"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
149 && curPunc == "newstatement")))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
150 pushContext(state, stream.column(), "statement");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
151
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
152 state.startOfLine = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
153 return style;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
154 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
155
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
156 electricChars: "{}",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
157 lineComment: "--",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
158 fold: "brace"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
159 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
160 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
161
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
162 function words(str) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
163 var obj = {}, words = str.split(" ");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
164 for (var i = 0; i < words.length; ++i) obj[words[i]] = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
165 return obj;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
166 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
167
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
168 CodeMirror.defineMIME("text/x-ttcn-asn", {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
169 name: "asn.1",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
170 keywords: words("DEFINITIONS OBJECTS IF DERIVED INFORMATION ACTION" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
171 " REPLY ANY NAMED CHARACTERIZED BEHAVIOUR REGISTERED" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
172 " WITH AS IDENTIFIED CONSTRAINED BY PRESENT BEGIN" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
173 " IMPORTS FROM UNITS SYNTAX MIN-ACCESS MAX-ACCESS" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
174 " MINACCESS MAXACCESS REVISION STATUS DESCRIPTION" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
175 " SEQUENCE SET COMPONENTS OF CHOICE DistinguishedName" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
176 " ENUMERATED SIZE MODULE END INDEX AUGMENTS EXTENSIBILITY" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
177 " IMPLIED EXPORTS"),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
178 cmipVerbs: words("ACTIONS ADD GET NOTIFICATIONS REPLACE REMOVE"),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
179 compareTypes: words("OPTIONAL DEFAULT MANAGED MODULE-TYPE MODULE_IDENTITY" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
180 " MODULE-COMPLIANCE OBJECT-TYPE OBJECT-IDENTITY" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
181 " OBJECT-COMPLIANCE MODE CONFIRMED CONDITIONAL" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
182 " SUBORDINATE SUPERIOR CLASS TRUE FALSE NULL" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
183 " TEXTUAL-CONVENTION"),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
184 status: words("current deprecated mandatory obsolete"),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
185 tags: words("APPLICATION AUTOMATIC EXPLICIT IMPLICIT PRIVATE TAGS" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
186 " UNIVERSAL"),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
187 storage: words("BOOLEAN INTEGER OBJECT IDENTIFIER BIT OCTET STRING" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
188 " UTCTime InterfaceIndex IANAifType CMIP-Attribute" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
189 " REAL PACKAGE PACKAGES IpAddress PhysAddress" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
190 " NetworkAddress BITS BMPString TimeStamp TimeTicks" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
191 " TruthValue RowStatus DisplayString GeneralString" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
192 " GraphicString IA5String NumericString" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
193 " PrintableString SnmpAdminString TeletexString" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
194 " UTF8String VideotexString VisibleString StringStore" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
195 " ISO646String T61String UniversalString Unsigned32" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
196 " Integer32 Gauge Gauge32 Counter Counter32 Counter64"),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
197 modifier: words("ATTRIBUTE ATTRIBUTES MANDATORY-GROUP MANDATORY-GROUPS" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
198 " GROUP GROUPS ELEMENTS EQUALITY ORDERING SUBSTRINGS" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
199 " DEFINED"),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
200 accessTypes: words("not-accessible accessible-for-notify read-only" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
201 " read-create read-write"),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
202 multiLineStrings: true
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
203 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
204 });