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
47
|
module.exports = function(hljs) {
var CURLY_SUBCOMMENT = hljs.COMMENT(
'{',
'}',
{
contains: ['self']
}
);
return {
subLanguage: 'xml', relevance: 0,
contains: [
hljs.COMMENT('^#', '$'),
hljs.COMMENT(
'\\^rem{',
'}',
{
relevance: 10,
contains: [
CURLY_SUBCOMMENT
]
}
),
{
className: 'meta',
begin: '^@(?:BASE|USE|CLASS|OPTIONS)$',
relevance: 10
},
{
className: 'title',
begin: '@[\\w\\-]+\\[[\\w^;\\-]*\\](?:\\[[\\w^;\\-]*\\])?(?:.*)$'
},
{
className: 'variable',
begin: '\\$\\{?[\\w\\-\\.\\:]+\\}?'
},
{
className: 'keyword',
begin: '\\^[\\w\\-\\.\\:]+'
},
{
className: 'number',
begin: '\\^#[0-9a-fA-F]+'
},
hljs.C_NUMBER_MODE
]
};
};
|
