/
source.rascal.js
208 lines (207 loc) · 6.66 KB
/
source.rascal.js
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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
// This is a TextMate grammar distributed by `starry-night`.
// This grammar is developed at
// <https://github.com/usethesource/rascal-syntax-highlighting>
// and licensed `bsd-2-clause`.
// See <https://github.com/wooorm/starry-night> for more info.
/** @type {import('../lib/index.js').Grammar} */
const grammar = {
extensions: ['.rsc'],
names: ['rascal'],
patterns: [{include: '#top_level'}],
repository: {
annotation: {
patterns: [
{
begin: '(@[^ {]+)({)',
beginCaptures: {
1: {name: 'storage.type.annotation.block.rascal'},
2: {name: 'punctuation.annotation-argument.begin.rascal'}
},
end: '(})',
endCaptures: {
1: {name: 'punctuation.annotation-argument.end.rascal'}
},
name: 'comment.block.annotation.rascal'
},
{
captures: {1: {name: 'storage.type.annotation.inline.rascal'}},
match: '(@[A-Za-z_0-9]+)',
name: 'meta.annotation.inline.rascal'
}
]
},
char_set: {
patterns: [
{
begin: '\\[',
end: '\\]',
name: 'punctuation.other.lexicalcharset.rascal',
patterns: [{include: '#string_escape'}]
}
]
},
comment: {
patterns: [
{match: '//.*$\\n?', name: 'comment.line.double-slash.rascal'},
{begin: '/\\*', end: '\\*/', name: 'comment.block.rascal'}
]
},
regex: {
patterns: [
{
end: '/([dims]*)',
endCaptures: {1: {name: 'storage.modifier.regex.rascal'}},
name: 'string.regexp.rascal',
patterns: [
{include: '#regex_escape'},
{include: '#string_interpolation'}
]
}
]
},
regex_escape: {
patterns: [
{
match: '\\\\(/|<|>|\\\\)',
name: 'constant.character.escape.regex.rascal'
}
]
},
string: {
patterns: [
{
begin: "'",
end: "'",
name: 'string.quoted.single.rascal',
patterns: [{include: '#string_escape'}]
},
{
begin: '"',
end: '"',
name: 'string.quoted.double.rascal',
patterns: [
{include: '#string_escape'},
{include: '#string_interpolation'}
]
},
{
begin: '`',
end: '`',
name: 'string.interpolated.rascal',
patterns: [
{include: '#string_interpolation'},
{include: '#syntax_escape'}
]
}
]
},
string_escape: {
patterns: [
{
match: '\\\\(\\"|\\\'|<|>|\\\\|[bnfrt])',
name: 'constant.character.escape.ordinary.rascal'
},
{
match:
'\\\\(u[0-9A-Fa-f][0-9A-Fa-f][0-9A-Fa-f][0-9A-Fa-f] |U(0[0-9 A-F a-f]|10)[0-9A-Fa-f][0-9A-Fa-f][0-9A-Fa-f][0-9A-Fa-f] |a[0-7][0-9A-Fa-f] )',
name: 'constant.character.escape.unicode.rascal'
}
]
},
string_interpolation: {
patterns: [
{
begin: '(<)',
beginCaptures: {1: {name: 'punctuation.interpolation.begin.rascal'}},
end: '(>)',
endCaptures: {2: {name: 'punctuation.interpolation.end.rascal'}},
name: 'support.interpolated-string.rascal',
patterns: [{include: '#top_level'}]
}
]
},
syntax_escape: {
patterns: [
{
match: '\\\\(\\\\|<|>|`)',
name: 'constant.character.escape.syntax.rascal'
}
]
},
top_level: {
patterns: [
{
begin: '(lexical|syntax)\\s+([a-zA-Z][A-Za-z_0-9]*)',
captures: {
1: {name: 'keyword.control.rascal'},
2: {name: 'entity.name.type.rascal'}
},
end: ';',
name: 'punctuation.other.syntactic.rascal',
patterns: [
{include: '#char_set'},
{include: '#string'},
{include: '#comment'},
{include: '#regex'},
{include: '#annotation'}
]
},
{
match:
'(?<![A-Za-z_])(0(?![0-9a-z_A-Z])|[1-9][0-9]*(?![0-9a-z_A-Z]))',
name: 'constant.numeric.decimal.rascal'
},
{
match: '(?<![A-Za-z_])0[Xx][0-9A-Fa-f]+(?![0-9a-z_A-Z])',
name: 'constant.numeric.hex.rascal'
},
{
match: '(?<![A-Za-z_])0[0-7]+(?![0-9a-z_A-Z])',
name: 'constant.numeric.octal.rascal'
},
{begin: '\\\\$', end: '\\\\$', name: 'string.other.datetime.rascal'},
{
match:
'(?<![A-Za-z_]) ([0-9]+[dDfF] |[0-9]+[eE][+\\-]?[0-9]+[dDfF]? |[0-9]+\\.(?!\\.)[0-9]*[dDfF]? |[0-9]+\\.[0-9]*[eE][+\\-]?[0-9]+[dDfF]? |\\.(?!\\.)[0-9]+[dDfF]? |\\.(?!\\.)[0-9]+[eE][+\\-]?[0-9]+[dDfF]? )',
name: 'constant.numeric.real.rascal'
},
{match: '\\b(true|false)\\b', name: 'constant.language.bool.rascal'},
{
match:
'(?<![A-Za-z_])([0-9][0-9]*r|[1-9][0-9]*r[0-9][0-9]*(?![0-9a-z_A-Z]))',
name: 'constant.numeric.rational.rascal'
},
{
match:
'\\b(syntax|keyword|lexical|break|continue|finally|private|fail|filter|if|tag|extend|append|non-assoc|assoc|test|anno|layout|data|join|it|bracket|in|import|all|solve|try|catch|notin|else|insert|switch|return|case|while|throws|visit|for|assert|default|map|alias|any|module|mod|public|one|throw|start)\\b',
name: 'keyword.control.rascal'
},
{
match:
'\\b(value|loc|node|num|type|bag|int|rat|rel|lrel|real|tuple|str|bool|void|datetime|set|map|list)\\b',
name: 'support.type.basic.rascal'
},
{include: '#string'},
{include: '#regex'},
{include: '#annotation'},
{include: '#comment'},
{
match: '\\b[a-zA-Z][A-Za-z_0-9]*\\b',
name: 'variable.other.ordinary.rascal'
},
{
match:
'\\\\(syntax|keyword|lexical|break|continue|finally|private|fail|filter|if|tag|extend|append|non-assoc|assoc|test|anno|layout|data|join|it|bracket|in|import|all|solve|try|catch|notin|else|insert|switch|return|case|while|throws|visit|for|assert|default|map|alias|any|module|mod|public|one|throw|start|value|loc|node|num|type|bag|int|rat|rel|lrel|real|tuple|str|bool|void|datetime|set|map|list)',
name: 'variable.other.escaped-keyword.rascal'
},
{
captures: {1: {name: 'markup.underline.link.rascal'}},
match: "\\|([0-9a-z_A-Z.\\-_~:/?#\\[\\]@!$&'()*+,;=`])+\\|",
name: 'string.other.url.rascal'
}
]
}
},
scopeName: 'source.rascal'
}
export default grammar