no need for enumeratedString rule
Showing
1 changed file
with
0 additions
and
7 deletions
... | @@ -241,17 +241,10 @@ hexDigit | ... | @@ -241,17 +241,10 @@ hexDigit |
241 | 241 | ||
242 | /***** Text *****/ | 242 | /***** Text *****/ |
243 | 243 | ||
244 | enumeratedString | ||
245 | = chars:enumeratedChar+ _ { return chars.join('') } | ||
246 | |||
247 | quotedString | 244 | quotedString |
248 | = '"' '"' _ { return ""; } | 245 | = '"' '"' _ { return ""; } |
249 | / '"' chars:quotedChar+ '"' _ { return chars.join(''); } | 246 | / '"' chars:quotedChar+ '"' _ { return chars.join(''); } |
250 | 247 | ||
251 | enumeratedChar | ||
252 | = [^'" \n\t\r] | ||
253 | / [a-zA-Z0-9] | ||
254 | |||
255 | quotedChar | 248 | quotedChar |
256 | = [^\r\n"] | 249 | = [^\r\n"] |
257 | / char:char | 250 | / char:char | ... | ... |
-
Please register or sign in to post a comment