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