1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
| module.exports = function(hljs) {
| var STEP21_IDENT_RE = '[A-Z_][A-Z0-9_.]*';
| var STEP21_KEYWORDS = {
| keyword: 'HEADER ENDSEC DATA'
| };
| var STEP21_START = {
| className: 'meta',
| begin: 'ISO-10303-21;',
| relevance: 10
| };
| var STEP21_CLOSE = {
| className: 'meta',
| begin: 'END-ISO-10303-21;',
| relevance: 10
| };
|
| return {
| aliases: ['p21', 'step', 'stp'],
| case_insensitive: true, // STEP 21 is case insensitive in theory, in practice all non-comments are capitalized.
| lexemes: STEP21_IDENT_RE,
| keywords: STEP21_KEYWORDS,
| contains: [
| STEP21_START,
| STEP21_CLOSE,
| hljs.C_LINE_COMMENT_MODE,
| hljs.C_BLOCK_COMMENT_MODE,
| hljs.COMMENT('/\\*\\*!', '\\*/'),
| hljs.C_NUMBER_MODE,
| hljs.inherit(hljs.APOS_STRING_MODE, {illegal: null}),
| hljs.inherit(hljs.QUOTE_STRING_MODE, {illegal: null}),
| {
| className: 'string',
| begin: "'", end: "'"
| },
| {
| className: 'symbol',
| variants: [
| {
| begin: '#', end: '\\d+',
| illegal: '\\W'
| }
| ]
| }
| ]
| };
| };
|
|
