/rust/registry/src/github.com-1ecc6299db9ec823/toml-0.5.8/src/tokens.rs
Line | Count | Source (jump to first uncovered line) |
1 | | use std::borrow::Cow; |
2 | | use std::char; |
3 | | use std::str; |
4 | | use std::string; |
5 | | use std::string::String as StdString; |
6 | | |
7 | | use self::Token::*; |
8 | | |
9 | | /// A span, designating a range of bytes where a token is located. |
10 | 0 | #[derive(Eq, PartialEq, Debug, Clone, Copy)] |
11 | | pub struct Span { |
12 | | /// The start of the range. |
13 | | pub start: usize, |
14 | | /// The end of the range (exclusive). |
15 | | pub end: usize, |
16 | | } |
17 | | |
18 | | impl From<Span> for (usize, usize) { |
19 | | fn from(Span { start, end }: Span) -> (usize, usize) { |
20 | | (start, end) |
21 | | } |
22 | | } |
23 | | |
24 | 0 | #[derive(Eq, PartialEq, Debug)] |
25 | | pub enum Token<'a> { |
26 | | Whitespace(&'a str), |
27 | | Newline, |
28 | | Comment(&'a str), |
29 | | |
30 | | Equals, |
31 | | Period, |
32 | | Comma, |
33 | | Colon, |
34 | | Plus, |
35 | | LeftBrace, |
36 | | RightBrace, |
37 | | LeftBracket, |
38 | | RightBracket, |
39 | | |
40 | | Keylike(&'a str), |
41 | | String { |
42 | | src: &'a str, |
43 | | val: Cow<'a, str>, |
44 | | multiline: bool, |
45 | | }, |
46 | | } |
47 | | |
48 | 0 | #[derive(Eq, PartialEq, Debug)] |
49 | | pub enum Error { |
50 | | InvalidCharInString(usize, char), |
51 | | InvalidEscape(usize, char), |
52 | | InvalidHexEscape(usize, char), |
53 | | InvalidEscapeValue(usize, u32), |
54 | | NewlineInString(usize), |
55 | | Unexpected(usize, char), |
56 | | UnterminatedString(usize), |
57 | | NewlineInTableKey(usize), |
58 | | MultilineStringKey(usize), |
59 | | EmptyTableKey(usize), |
60 | | Wanted { |
61 | | at: usize, |
62 | | expected: &'static str, |
63 | | found: &'static str, |
64 | | }, |
65 | | } |
66 | | |
67 | | #[derive(Clone)] |
68 | | pub struct Tokenizer<'a> { |
69 | | input: &'a str, |
70 | | chars: CrlfFold<'a>, |
71 | | } |
72 | | |
73 | | #[derive(Clone)] |
74 | | struct CrlfFold<'a> { |
75 | | chars: str::CharIndices<'a>, |
76 | | } |
77 | | |
78 | | #[derive(Debug)] |
79 | | enum MaybeString { |
80 | | NotEscaped(usize), |
81 | | Owned(string::String), |
82 | | } |
83 | | |
84 | | impl<'a> Tokenizer<'a> { |
85 | 0 | pub fn new(input: &'a str) -> Tokenizer<'a> { |
86 | 0 | let mut t = Tokenizer { |
87 | 0 | input, |
88 | 0 | chars: CrlfFold { |
89 | 0 | chars: input.char_indices(), |
90 | 0 | }, |
91 | 0 | }; |
92 | 0 | // Eat utf-8 BOM |
93 | 0 | t.eatc('\u{feff}'); |
94 | 0 | t |
95 | 0 | } |
96 | | |
97 | 0 | pub fn next(&mut self) -> Result<Option<(Span, Token<'a>)>, Error> { |
98 | 0 | let (start, token) = match self.one() { |
99 | 0 | Some((start, '\n')) => (start, Newline), |
100 | 0 | Some((start, ' ')) => (start, self.whitespace_token(start)), |
101 | 0 | Some((start, '\t')) => (start, self.whitespace_token(start)), |
102 | 0 | Some((start, '#')) => (start, self.comment_token(start)), |
103 | 0 | Some((start, '=')) => (start, Equals), |
104 | 0 | Some((start, '.')) => (start, Period), |
105 | 0 | Some((start, ',')) => (start, Comma), |
106 | 0 | Some((start, ':')) => (start, Colon), |
107 | 0 | Some((start, '+')) => (start, Plus), |
108 | 0 | Some((start, '{')) => (start, LeftBrace), |
109 | 0 | Some((start, '}')) => (start, RightBrace), |
110 | 0 | Some((start, '[')) => (start, LeftBracket), |
111 | 0 | Some((start, ']')) => (start, RightBracket), |
112 | 0 | Some((start, '\'')) => { |
113 | 0 | return self |
114 | 0 | .literal_string(start) |
115 | 0 | .map(|t| Some((self.step_span(start), t))) |
116 | | } |
117 | 0 | Some((start, '"')) => { |
118 | 0 | return self |
119 | 0 | .basic_string(start) |
120 | 0 | .map(|t| Some((self.step_span(start), t))) |
121 | | } |
122 | 0 | Some((start, ch)) if is_keylike(ch) => (start, self.keylike(start)), |
123 | | |
124 | 0 | Some((start, ch)) => return Err(Error::Unexpected(start, ch)), |
125 | 0 | None => return Ok(None), |
126 | | }; |
127 | | |
128 | 0 | let span = self.step_span(start); |
129 | 0 | Ok(Some((span, token))) |
130 | 0 | } |
131 | | |
132 | | pub fn peek(&mut self) -> Result<Option<(Span, Token<'a>)>, Error> { |
133 | | self.clone().next() |
134 | | } |
135 | | |
136 | 0 | pub fn eat(&mut self, expected: Token<'a>) -> Result<bool, Error> { |
137 | 0 | self.eat_spanned(expected).map(|s| s.is_some()) |
138 | 0 | } |
139 | | |
140 | | /// Eat a value, returning it's span if it was consumed. |
141 | 0 | pub fn eat_spanned(&mut self, expected: Token<'a>) -> Result<Option<Span>, Error> { |
142 | 0 | let span = match self.peek()? { |
143 | 0 | Some((span, ref found)) if expected == *found => span, |
144 | 0 | Some(_) => return Ok(None), |
145 | 0 | None => return Ok(None), |
146 | | }; |
147 | | |
148 | 0 | drop(self.next()); |
149 | 0 | Ok(Some(span)) |
150 | 0 | } |
151 | | |
152 | | pub fn expect(&mut self, expected: Token<'a>) -> Result<(), Error> { |
153 | | // ignore span |
154 | 0 | let _ = self.expect_spanned(expected)?; |
155 | 0 | Ok(()) |
156 | 0 | } |
157 | | |
158 | | /// Expect the given token returning its span. |
159 | 0 | pub fn expect_spanned(&mut self, expected: Token<'a>) -> Result<Span, Error> { |
160 | 0 | let current = self.current(); |
161 | 0 | match self.next()? { |
162 | 0 | Some((span, found)) => { |
163 | 0 | if expected == found { |
164 | 0 | Ok(span) |
165 | | } else { |
166 | 0 | Err(Error::Wanted { |
167 | 0 | at: current, |
168 | 0 | expected: expected.describe(), |
169 | 0 | found: found.describe(), |
170 | 0 | }) |
171 | | } |
172 | | } |
173 | 0 | None => Err(Error::Wanted { |
174 | 0 | at: self.input.len(), |
175 | 0 | expected: expected.describe(), |
176 | 0 | found: "eof", |
177 | 0 | }), |
178 | | } |
179 | 0 | } |
180 | | |
181 | 0 | pub fn table_key(&mut self) -> Result<(Span, Cow<'a, str>), Error> { |
182 | 0 | let current = self.current(); |
183 | 0 | match self.next()? { |
184 | 0 | Some((span, Token::Keylike(k))) => Ok((span, k.into())), |
185 | | Some(( |
186 | 0 | span, |
187 | 0 | Token::String { |
188 | 0 | src, |
189 | 0 | val, |
190 | 0 | multiline, |
191 | 0 | }, |
192 | 0 | )) => { |
193 | 0 | let offset = self.substr_offset(src); |
194 | 0 | if multiline { |
195 | 0 | return Err(Error::MultilineStringKey(offset)); |
196 | 0 | } |
197 | 0 | if val == "" { |
198 | 0 | return Err(Error::EmptyTableKey(offset)); |
199 | 0 | } |
200 | 0 | match src.find('\n') { |
201 | 0 | None => Ok((span, val)), |
202 | 0 | Some(i) => Err(Error::NewlineInTableKey(offset + i)), |
203 | | } |
204 | | } |
205 | 0 | Some((_, other)) => Err(Error::Wanted { |
206 | 0 | at: current, |
207 | 0 | expected: "a table key", |
208 | 0 | found: other.describe(), |
209 | 0 | }), |
210 | 0 | None => Err(Error::Wanted { |
211 | 0 | at: self.input.len(), |
212 | 0 | expected: "a table key", |
213 | 0 | found: "eof", |
214 | 0 | }), |
215 | | } |
216 | 0 | } |
217 | | |
218 | | pub fn eat_whitespace(&mut self) -> Result<(), Error> { |
219 | | while self.eatc(' ') || self.eatc('\t') { |
220 | | // ... |
221 | | } |
222 | | Ok(()) |
223 | | } |
224 | | |
225 | 0 | pub fn eat_comment(&mut self) -> Result<bool, Error> { |
226 | 0 | if !self.eatc('#') { |
227 | 0 | return Ok(false); |
228 | 0 | } |
229 | 0 | drop(self.comment_token(0)); |
230 | 0 | self.eat_newline_or_eof().map(|()| true) |
231 | 0 | } |
232 | | |
233 | 0 | pub fn eat_newline_or_eof(&mut self) -> Result<(), Error> { |
234 | 0 | let current = self.current(); |
235 | 0 | match self.next()? { |
236 | 0 | None | Some((_, Token::Newline)) => Ok(()), |
237 | 0 | Some((_, other)) => Err(Error::Wanted { |
238 | 0 | at: current, |
239 | 0 | expected: "newline", |
240 | 0 | found: other.describe(), |
241 | 0 | }), |
242 | | } |
243 | 0 | } |
244 | | |
245 | | pub fn skip_to_newline(&mut self) { |
246 | | loop { |
247 | | match self.one() { |
248 | | Some((_, '\n')) | None => break, |
249 | | _ => {} |
250 | | } |
251 | | } |
252 | | } |
253 | | |
254 | | fn eatc(&mut self, ch: char) -> bool { |
255 | 0 | match self.chars.clone().next() { |
256 | 0 | Some((_, ch2)) if ch == ch2 => { |
257 | 0 | self.one(); |
258 | 0 | true |
259 | | } |
260 | 0 | _ => false, |
261 | | } |
262 | 0 | } |
263 | | |
264 | 0 | pub fn current(&mut self) -> usize { |
265 | 0 | self.chars |
266 | 0 | .clone() |
267 | 0 | .next() |
268 | 0 | .map(|i| i.0) |
269 | 0 | .unwrap_or_else(|| self.input.len()) |
270 | 0 | } |
271 | | |
272 | | pub fn input(&self) -> &'a str { |
273 | | self.input |
274 | | } |
275 | | |
276 | | fn whitespace_token(&mut self, start: usize) -> Token<'a> { |
277 | | while self.eatc(' ') || self.eatc('\t') { |
278 | | // ... |
279 | | } |
280 | | Whitespace(&self.input[start..self.current()]) |
281 | | } |
282 | | |
283 | 0 | fn comment_token(&mut self, start: usize) -> Token<'a> { |
284 | 0 | while let Some((_, ch)) = self.chars.clone().next() { |
285 | 0 | if ch != '\t' && (ch < '\u{20}' || ch > '\u{10ffff}') { |
286 | 0 | break; |
287 | 0 | } |
288 | 0 | self.one(); |
289 | | } |
290 | 0 | Comment(&self.input[start..self.current()]) |
291 | 0 | } |
292 | | |
293 | 0 | fn read_string( |
294 | 0 | &mut self, |
295 | 0 | delim: char, |
296 | 0 | start: usize, |
297 | 0 | new_ch: &mut dyn FnMut( |
298 | 0 | &mut Tokenizer<'_>, |
299 | 0 | &mut MaybeString, |
300 | 0 | bool, |
301 | 0 | usize, |
302 | 0 | char, |
303 | 0 | ) -> Result<(), Error>, |
304 | 0 | ) -> Result<Token<'a>, Error> { |
305 | 0 | let mut multiline = false; |
306 | 0 | if self.eatc(delim) { |
307 | 0 | if self.eatc(delim) { |
308 | 0 | multiline = true; |
309 | 0 | } else { |
310 | 0 | return Ok(String { |
311 | 0 | src: &self.input[start..start + 2], |
312 | 0 | val: Cow::Borrowed(""), |
313 | 0 | multiline: false, |
314 | 0 | }); |
315 | | } |
316 | 0 | } |
317 | 0 | let mut val = MaybeString::NotEscaped(self.current()); |
318 | 0 | let mut n = 0; |
319 | 0 | 'outer: loop { |
320 | 0 | n += 1; |
321 | 0 | match self.one() { |
322 | 0 | Some((i, '\n')) => { |
323 | 0 | if multiline { |
324 | 0 | if self.input.as_bytes()[i] == b'\r' { |
325 | 0 | val.to_owned(&self.input[..i]); |
326 | 0 | } |
327 | 0 | if n == 1 { |
328 | 0 | val = MaybeString::NotEscaped(self.current()); |
329 | 0 | } else { |
330 | 0 | val.push('\n'); |
331 | 0 | } |
332 | | continue; |
333 | | } else { |
334 | 0 | return Err(Error::NewlineInString(i)); |
335 | | } |
336 | | } |
337 | 0 | Some((mut i, ch)) if ch == delim => { |
338 | 0 | if multiline { |
339 | 0 | if !self.eatc(delim) { |
340 | 0 | val.push(delim); |
341 | | continue 'outer; |
342 | 0 | } |
343 | 0 | if !self.eatc(delim) { |
344 | 0 | val.push(delim); |
345 | 0 | val.push(delim); |
346 | | continue 'outer; |
347 | 0 | } |
348 | 0 | if self.eatc(delim) { |
349 | 0 | val.push(delim); |
350 | 0 | i += 1; |
351 | 0 | } |
352 | 0 | if self.eatc(delim) { |
353 | 0 | val.push(delim); |
354 | 0 | i += 1; |
355 | 0 | } |
356 | 0 | } |
357 | 0 | return Ok(String { |
358 | 0 | src: &self.input[start..self.current()], |
359 | 0 | val: val.into_cow(&self.input[..i]), |
360 | 0 | multiline, |
361 | 0 | }); |
362 | | } |
363 | 0 | Some((i, c)) => new_ch(self, &mut val, multiline, i, c)?, |
364 | 0 | None => return Err(Error::UnterminatedString(start)), |
365 | | } |
366 | | } |
367 | 0 | } |
368 | | |
369 | 0 | fn literal_string(&mut self, start: usize) -> Result<Token<'a>, Error> { |
370 | 0 | self.read_string('\'', start, &mut |_me, val, _multi, i, ch| { |
371 | 0 | if ch == '\u{09}' || ('\u{20}' <= ch && ch <= '\u{10ffff}' && ch != '\u{7f}') { |
372 | 0 | val.push(ch); |
373 | 0 | Ok(()) |
374 | | } else { |
375 | 0 | Err(Error::InvalidCharInString(i, ch)) |
376 | | } |
377 | 0 | }) |
378 | 0 | } |
379 | | |
380 | 0 | fn basic_string(&mut self, start: usize) -> Result<Token<'a>, Error> { |
381 | 0 | self.read_string('"', start, &mut |me, val, multi, i, ch| match ch { |
382 | | '\\' => { |
383 | 0 | val.to_owned(&me.input[..i]); |
384 | 0 | match me.chars.next() { |
385 | 0 | Some((_, '"')) => val.push('"'), |
386 | 0 | Some((_, '\\')) => val.push('\\'), |
387 | 0 | Some((_, 'b')) => val.push('\u{8}'), |
388 | 0 | Some((_, 'f')) => val.push('\u{c}'), |
389 | 0 | Some((_, 'n')) => val.push('\n'), |
390 | 0 | Some((_, 'r')) => val.push('\r'), |
391 | 0 | Some((_, 't')) => val.push('\t'), |
392 | 0 | Some((i, c @ 'u')) | Some((i, c @ 'U')) => { |
393 | 0 | let len = if c == 'u' { 4 } else { 8 }; |
394 | 0 | val.push(me.hex(start, i, len)?); |
395 | | } |
396 | 0 | Some((i, c @ ' ')) | Some((i, c @ '\t')) | Some((i, c @ '\n')) if multi => { |
397 | 0 | if c != '\n' { |
398 | 0 | while let Some((_, ch)) = me.chars.clone().next() { |
399 | 0 | match ch { |
400 | | ' ' | '\t' => { |
401 | 0 | me.chars.next(); |
402 | | continue; |
403 | | } |
404 | | '\n' => { |
405 | 0 | me.chars.next(); |
406 | 0 | break; |
407 | | } |
408 | 0 | _ => return Err(Error::InvalidEscape(i, c)), |
409 | | } |
410 | | } |
411 | 0 | } |
412 | 0 | while let Some((_, ch)) = me.chars.clone().next() { |
413 | 0 | match ch { |
414 | 0 | ' ' | '\t' | '\n' => { |
415 | 0 | me.chars.next(); |
416 | 0 | } |
417 | 0 | _ => break, |
418 | | } |
419 | | } |
420 | | } |
421 | 0 | Some((i, c)) => return Err(Error::InvalidEscape(i, c)), |
422 | 0 | None => return Err(Error::UnterminatedString(start)), |
423 | | } |
424 | 0 | Ok(()) |
425 | | } |
426 | 0 | ch if ch == '\u{09}' || ('\u{20}' <= ch && ch <= '\u{10ffff}' && ch != '\u{7f}') => { |
427 | 0 | val.push(ch); |
428 | 0 | Ok(()) |
429 | | } |
430 | 0 | _ => Err(Error::InvalidCharInString(i, ch)), |
431 | 0 | }) |
432 | 0 | } |
433 | | |
434 | 0 | fn hex(&mut self, start: usize, i: usize, len: usize) -> Result<char, Error> { |
435 | 0 | let mut buf = StdString::with_capacity(len); |
436 | 0 | for _ in 0..len { |
437 | 0 | match self.one() { |
438 | 0 | Some((_, ch)) if ch as u32 <= 0x7F && ch.is_digit(16) => buf.push(ch), |
439 | 0 | Some((i, ch)) => return Err(Error::InvalidHexEscape(i, ch)), |
440 | 0 | None => return Err(Error::UnterminatedString(start)), |
441 | | } |
442 | | } |
443 | 0 | let val = u32::from_str_radix(&buf, 16).unwrap(); |
444 | 0 | match char::from_u32(val) { |
445 | 0 | Some(ch) => Ok(ch), |
446 | 0 | None => Err(Error::InvalidEscapeValue(i, val)), |
447 | | } |
448 | 0 | } |
449 | | |
450 | 0 | fn keylike(&mut self, start: usize) -> Token<'a> { |
451 | 0 | while let Some((_, ch)) = self.peek_one() { |
452 | 0 | if !is_keylike(ch) { |
453 | 0 | break; |
454 | 0 | } |
455 | 0 | self.one(); |
456 | | } |
457 | 0 | Keylike(&self.input[start..self.current()]) |
458 | 0 | } |
459 | | |
460 | 0 | pub fn substr_offset(&self, s: &'a str) -> usize { |
461 | 0 | assert!(s.len() <= self.input.len()); |
462 | 0 | let a = self.input.as_ptr() as usize; |
463 | 0 | let b = s.as_ptr() as usize; |
464 | 0 | assert!(a <= b); |
465 | 0 | b - a |
466 | 0 | } |
467 | | |
468 | | /// Calculate the span of a single character. |
469 | 0 | fn step_span(&mut self, start: usize) -> Span { |
470 | 0 | let end = self |
471 | 0 | .peek_one() |
472 | 0 | .map(|t| t.0) |
473 | 0 | .unwrap_or_else(|| self.input.len()); |
474 | 0 | Span { start, end } |
475 | 0 | } |
476 | | |
477 | | /// Peek one char without consuming it. |
478 | | fn peek_one(&mut self) -> Option<(usize, char)> { |
479 | | self.chars.clone().next() |
480 | | } |
481 | | |
482 | | /// Take one char. |
483 | | pub fn one(&mut self) -> Option<(usize, char)> { |
484 | | self.chars.next() |
485 | | } |
486 | | } |
487 | | |
488 | | impl<'a> Iterator for CrlfFold<'a> { |
489 | | type Item = (usize, char); |
490 | | |
491 | 0 | fn next(&mut self) -> Option<(usize, char)> { |
492 | 0 | self.chars.next().map(|(i, c)| { |
493 | 0 | if c == '\r' { |
494 | 0 | let mut attempt = self.chars.clone(); |
495 | 0 | if let Some((_, '\n')) = attempt.next() { |
496 | 0 | self.chars = attempt; |
497 | 0 | return (i, '\n'); |
498 | 0 | } |
499 | 0 | } |
500 | 0 | (i, c) |
501 | 0 | }) |
502 | 0 | } |
503 | | } |
504 | | |
505 | | impl MaybeString { |
506 | 0 | fn push(&mut self, ch: char) { |
507 | 0 | match *self { |
508 | 0 | MaybeString::NotEscaped(..) => {} |
509 | 0 | MaybeString::Owned(ref mut s) => s.push(ch), |
510 | | } |
511 | 0 | } |
512 | | |
513 | 0 | fn to_owned(&mut self, input: &str) { |
514 | 0 | match *self { |
515 | 0 | MaybeString::NotEscaped(start) => { |
516 | 0 | *self = MaybeString::Owned(input[start..].to_owned()); |
517 | 0 | } |
518 | 0 | MaybeString::Owned(..) => {} |
519 | | } |
520 | 0 | } |
521 | | |
522 | 0 | fn into_cow(self, input: &str) -> Cow<'_, str> { |
523 | 0 | match self { |
524 | 0 | MaybeString::NotEscaped(start) => Cow::Borrowed(&input[start..]), |
525 | 0 | MaybeString::Owned(s) => Cow::Owned(s), |
526 | | } |
527 | 0 | } |
528 | | } |
529 | | |
530 | | fn is_keylike(ch: char) -> bool { |
531 | | ('A' <= ch && ch <= 'Z') |
532 | | || ('a' <= ch && ch <= 'z') |
533 | | || ('0' <= ch && ch <= '9') |
534 | | || ch == '-' |
535 | | || ch == '_' |
536 | | } |
537 | | |
538 | | impl<'a> Token<'a> { |
539 | 0 | pub fn describe(&self) -> &'static str { |
540 | 0 | match *self { |
541 | 0 | Token::Keylike(_) => "an identifier", |
542 | 0 | Token::Equals => "an equals", |
543 | 0 | Token::Period => "a period", |
544 | 0 | Token::Comment(_) => "a comment", |
545 | 0 | Token::Newline => "a newline", |
546 | 0 | Token::Whitespace(_) => "whitespace", |
547 | 0 | Token::Comma => "a comma", |
548 | 0 | Token::RightBrace => "a right brace", |
549 | 0 | Token::LeftBrace => "a left brace", |
550 | 0 | Token::RightBracket => "a right bracket", |
551 | 0 | Token::LeftBracket => "a left bracket", |
552 | 0 | Token::String { multiline, .. } => { |
553 | 0 | if multiline { |
554 | 0 | "a multiline string" |
555 | | } else { |
556 | 0 | "a string" |
557 | | } |
558 | | } |
559 | 0 | Token::Colon => "a colon", |
560 | 0 | Token::Plus => "a plus", |
561 | | } |
562 | 0 | } |
563 | | } |
564 | | |
565 | | #[cfg(test)] |
566 | | mod tests { |
567 | | use super::{Error, Token, Tokenizer}; |
568 | | use std::borrow::Cow; |
569 | | |
570 | | fn err(input: &str, err: Error) { |
571 | | let mut t = Tokenizer::new(input); |
572 | | let token = t.next().unwrap_err(); |
573 | | assert_eq!(token, err); |
574 | | assert!(t.next().unwrap().is_none()); |
575 | | } |
576 | | |
577 | | #[test] |
578 | | fn literal_strings() { |
579 | | fn t(input: &str, val: &str, multiline: bool) { |
580 | | let mut t = Tokenizer::new(input); |
581 | | let (_, token) = t.next().unwrap().unwrap(); |
582 | | assert_eq!( |
583 | | token, |
584 | | Token::String { |
585 | | src: input, |
586 | | val: Cow::Borrowed(val), |
587 | | multiline: multiline, |
588 | | } |
589 | | ); |
590 | | assert!(t.next().unwrap().is_none()); |
591 | | } |
592 | | |
593 | | t("''", "", false); |
594 | | t("''''''", "", true); |
595 | | t("'''\n'''", "", true); |
596 | | t("'a'", "a", false); |
597 | | t("'\"a'", "\"a", false); |
598 | | t("''''a'''", "'a", true); |
599 | | t("'''\n'a\n'''", "'a\n", true); |
600 | | t("'''a\n'a\r\n'''", "a\n'a\n", true); |
601 | | } |
602 | | |
603 | | #[test] |
604 | | fn basic_strings() { |
605 | | fn t(input: &str, val: &str, multiline: bool) { |
606 | | let mut t = Tokenizer::new(input); |
607 | | let (_, token) = t.next().unwrap().unwrap(); |
608 | | assert_eq!( |
609 | | token, |
610 | | Token::String { |
611 | | src: input, |
612 | | val: Cow::Borrowed(val), |
613 | | multiline: multiline, |
614 | | } |
615 | | ); |
616 | | assert!(t.next().unwrap().is_none()); |
617 | | } |
618 | | |
619 | | t(r#""""#, "", false); |
620 | | t(r#""""""""#, "", true); |
621 | | t(r#""a""#, "a", false); |
622 | | t(r#""""a""""#, "a", true); |
623 | | t(r#""\t""#, "\t", false); |
624 | | t(r#""\u0000""#, "\0", false); |
625 | | t(r#""\U00000000""#, "\0", false); |
626 | | t(r#""\U000A0000""#, "\u{A0000}", false); |
627 | | t(r#""\\t""#, "\\t", false); |
628 | | t("\"\t\"", "\t", false); |
629 | | t("\"\"\"\n\t\"\"\"", "\t", true); |
630 | | t("\"\"\"\\\n\"\"\"", "", true); |
631 | | t( |
632 | | "\"\"\"\\\n \t \t \\\r\n \t \n \t \r\n\"\"\"", |
633 | | "", |
634 | | true, |
635 | | ); |
636 | | t(r#""\r""#, "\r", false); |
637 | | t(r#""\n""#, "\n", false); |
638 | | t(r#""\b""#, "\u{8}", false); |
639 | | t(r#""a\fa""#, "a\u{c}a", false); |
640 | | t(r#""\"a""#, "\"a", false); |
641 | | t("\"\"\"\na\"\"\"", "a", true); |
642 | | t("\"\"\"\n\"\"\"", "", true); |
643 | | t(r#""""a\"""b""""#, "a\"\"\"b", true); |
644 | | err(r#""\a"#, Error::InvalidEscape(2, 'a')); |
645 | | err("\"\\\n", Error::InvalidEscape(2, '\n')); |
646 | | err("\"\\\r\n", Error::InvalidEscape(2, '\n')); |
647 | | err("\"\\", Error::UnterminatedString(0)); |
648 | | err("\"\u{0}", Error::InvalidCharInString(1, '\u{0}')); |
649 | | err(r#""\U00""#, Error::InvalidHexEscape(5, '"')); |
650 | | err(r#""\U00"#, Error::UnterminatedString(0)); |
651 | | err(r#""\uD800"#, Error::InvalidEscapeValue(2, 0xd800)); |
652 | | err(r#""\UFFFFFFFF"#, Error::InvalidEscapeValue(2, 0xffff_ffff)); |
653 | | } |
654 | | |
655 | | #[test] |
656 | | fn keylike() { |
657 | | fn t(input: &str) { |
658 | | let mut t = Tokenizer::new(input); |
659 | | let (_, token) = t.next().unwrap().unwrap(); |
660 | | assert_eq!(token, Token::Keylike(input)); |
661 | | assert!(t.next().unwrap().is_none()); |
662 | | } |
663 | | t("foo"); |
664 | | t("0bar"); |
665 | | t("bar0"); |
666 | | t("1234"); |
667 | | t("a-b"); |
668 | | t("a_B"); |
669 | | t("-_-"); |
670 | | t("___"); |
671 | | } |
672 | | |
673 | | #[test] |
674 | | fn all() { |
675 | | fn t(input: &str, expected: &[((usize, usize), Token<'_>, &str)]) { |
676 | | let mut tokens = Tokenizer::new(input); |
677 | | let mut actual: Vec<((usize, usize), Token<'_>, &str)> = Vec::new(); |
678 | | while let Some((span, token)) = tokens.next().unwrap() { |
679 | | actual.push((span.into(), token, &input[span.start..span.end])); |
680 | | } |
681 | | for (a, b) in actual.iter().zip(expected) { |
682 | | assert_eq!(a, b); |
683 | | } |
684 | | assert_eq!(actual.len(), expected.len()); |
685 | | } |
686 | | |
687 | | t( |
688 | | " a ", |
689 | | &[ |
690 | | ((0, 1), Token::Whitespace(" "), " "), |
691 | | ((1, 2), Token::Keylike("a"), "a"), |
692 | | ((2, 3), Token::Whitespace(" "), " "), |
693 | | ], |
694 | | ); |
695 | | |
696 | | t( |
697 | | " a\t [[]] \t [] {} , . =\n# foo \r\n#foo \n ", |
698 | | &[ |
699 | | ((0, 1), Token::Whitespace(" "), " "), |
700 | | ((1, 2), Token::Keylike("a"), "a"), |
701 | | ((2, 4), Token::Whitespace("\t "), "\t "), |
702 | | ((4, 5), Token::LeftBracket, "["), |
703 | | ((5, 6), Token::LeftBracket, "["), |
704 | | ((6, 7), Token::RightBracket, "]"), |
705 | | ((7, 8), Token::RightBracket, "]"), |
706 | | ((8, 11), Token::Whitespace(" \t "), " \t "), |
707 | | ((11, 12), Token::LeftBracket, "["), |
708 | | ((12, 13), Token::RightBracket, "]"), |
709 | | ((13, 14), Token::Whitespace(" "), " "), |
710 | | ((14, 15), Token::LeftBrace, "{"), |
711 | | ((15, 16), Token::RightBrace, "}"), |
712 | | ((16, 17), Token::Whitespace(" "), " "), |
713 | | ((17, 18), Token::Comma, ","), |
714 | | ((18, 19), Token::Whitespace(" "), " "), |
715 | | ((19, 20), Token::Period, "."), |
716 | | ((20, 21), Token::Whitespace(" "), " "), |
717 | | ((21, 22), Token::Equals, "="), |
718 | | ((22, 23), Token::Newline, "\n"), |
719 | | ((23, 29), Token::Comment("# foo "), "# foo "), |
720 | | ((29, 31), Token::Newline, "\r\n"), |
721 | | ((31, 36), Token::Comment("#foo "), "#foo "), |
722 | | ((36, 37), Token::Newline, "\n"), |
723 | | ((37, 38), Token::Whitespace(" "), " "), |
724 | | ], |
725 | | ); |
726 | | } |
727 | | |
728 | | #[test] |
729 | | fn bare_cr_bad() { |
730 | | err("\r", Error::Unexpected(0, '\r')); |
731 | | err("'\n", Error::NewlineInString(1)); |
732 | | err("'\u{0}", Error::InvalidCharInString(1, '\u{0}')); |
733 | | err("'", Error::UnterminatedString(0)); |
734 | | err("\u{0}", Error::Unexpected(0, '\u{0}')); |
735 | | } |
736 | | |
737 | | #[test] |
738 | | fn bad_comment() { |
739 | | let mut t = Tokenizer::new("#\u{0}"); |
740 | | t.next().unwrap().unwrap(); |
741 | | assert_eq!(t.next(), Err(Error::Unexpected(1, '\u{0}'))); |
742 | | assert!(t.next().unwrap().is_none()); |
743 | | } |
744 | | } |