| 1 | use crate::fallback::{ |
| 2 | self, is_ident_continue, is_ident_start, Group, Ident, LexError, Literal, Span, TokenStream, |
| 3 | TokenStreamBuilder, |
| 4 | }; |
| 5 | use crate::{Delimiter, Punct, Spacing, TokenTree}; |
| 6 | use core::char; |
| 7 | use core::str::{Bytes, CharIndices, Chars}; |
| 8 | |
| 9 | #[derive (Copy, Clone, Eq, PartialEq)] |
| 10 | pub(crate) struct Cursor<'a> { |
| 11 | pub(crate) rest: &'a str, |
| 12 | #[cfg (span_locations)] |
| 13 | pub(crate) off: u32, |
| 14 | } |
| 15 | |
| 16 | impl<'a> Cursor<'a> { |
| 17 | pub(crate) fn advance(&self, bytes: usize) -> Cursor<'a> { |
| 18 | let (_front, rest) = self.rest.split_at(bytes); |
| 19 | Cursor { |
| 20 | rest, |
| 21 | #[cfg (span_locations)] |
| 22 | off: self.off + _front.chars().count() as u32, |
| 23 | } |
| 24 | } |
| 25 | |
| 26 | pub(crate) fn starts_with(&self, s: &str) -> bool { |
| 27 | self.rest.starts_with(s) |
| 28 | } |
| 29 | |
| 30 | pub(crate) fn starts_with_char(&self, ch: char) -> bool { |
| 31 | self.rest.starts_with(ch) |
| 32 | } |
| 33 | |
| 34 | pub(crate) fn starts_with_fn<Pattern>(&self, f: Pattern) -> bool |
| 35 | where |
| 36 | Pattern: FnMut(char) -> bool, |
| 37 | { |
| 38 | self.rest.starts_with(f) |
| 39 | } |
| 40 | |
| 41 | pub(crate) fn is_empty(&self) -> bool { |
| 42 | self.rest.is_empty() |
| 43 | } |
| 44 | |
| 45 | fn len(&self) -> usize { |
| 46 | self.rest.len() |
| 47 | } |
| 48 | |
| 49 | fn as_bytes(&self) -> &'a [u8] { |
| 50 | self.rest.as_bytes() |
| 51 | } |
| 52 | |
| 53 | fn bytes(&self) -> Bytes<'a> { |
| 54 | self.rest.bytes() |
| 55 | } |
| 56 | |
| 57 | fn chars(&self) -> Chars<'a> { |
| 58 | self.rest.chars() |
| 59 | } |
| 60 | |
| 61 | fn char_indices(&self) -> CharIndices<'a> { |
| 62 | self.rest.char_indices() |
| 63 | } |
| 64 | |
| 65 | fn parse(&self, tag: &str) -> Result<Cursor<'a>, Reject> { |
| 66 | if self.starts_with(tag) { |
| 67 | Ok(self.advance(tag.len())) |
| 68 | } else { |
| 69 | Err(Reject) |
| 70 | } |
| 71 | } |
| 72 | } |
| 73 | |
| 74 | pub(crate) struct Reject; |
| 75 | type PResult<'a, O> = Result<(Cursor<'a>, O), Reject>; |
| 76 | |
| 77 | fn skip_whitespace(input: Cursor) -> Cursor { |
| 78 | let mut s = input; |
| 79 | |
| 80 | while !s.is_empty() { |
| 81 | let byte = s.as_bytes()[0]; |
| 82 | if byte == b'/' { |
| 83 | if s.starts_with("//" ) |
| 84 | && (!s.starts_with("///" ) || s.starts_with("////" )) |
| 85 | && !s.starts_with("//!" ) |
| 86 | { |
| 87 | let (cursor, _) = take_until_newline_or_eof(s); |
| 88 | s = cursor; |
| 89 | continue; |
| 90 | } else if s.starts_with("/**/" ) { |
| 91 | s = s.advance(4); |
| 92 | continue; |
| 93 | } else if s.starts_with("/*" ) |
| 94 | && (!s.starts_with("/**" ) || s.starts_with("/***" )) |
| 95 | && !s.starts_with("/*!" ) |
| 96 | { |
| 97 | match block_comment(s) { |
| 98 | Ok((rest, _)) => { |
| 99 | s = rest; |
| 100 | continue; |
| 101 | } |
| 102 | Err(Reject) => return s, |
| 103 | } |
| 104 | } |
| 105 | } |
| 106 | match byte { |
| 107 | b' ' | 0x09..=0x0d => { |
| 108 | s = s.advance(1); |
| 109 | continue; |
| 110 | } |
| 111 | b if b.is_ascii() => {} |
| 112 | _ => { |
| 113 | let ch = s.chars().next().unwrap(); |
| 114 | if is_whitespace(ch) { |
| 115 | s = s.advance(ch.len_utf8()); |
| 116 | continue; |
| 117 | } |
| 118 | } |
| 119 | } |
| 120 | return s; |
| 121 | } |
| 122 | s |
| 123 | } |
| 124 | |
| 125 | fn block_comment(input: Cursor) -> PResult<&str> { |
| 126 | if !input.starts_with("/*" ) { |
| 127 | return Err(Reject); |
| 128 | } |
| 129 | |
| 130 | let mut depth = 0usize; |
| 131 | let bytes = input.as_bytes(); |
| 132 | let mut i = 0usize; |
| 133 | let upper = bytes.len() - 1; |
| 134 | |
| 135 | while i < upper { |
| 136 | if bytes[i] == b'/' && bytes[i + 1] == b'*' { |
| 137 | depth += 1; |
| 138 | i += 1; // eat '*' |
| 139 | } else if bytes[i] == b'*' && bytes[i + 1] == b'/' { |
| 140 | depth -= 1; |
| 141 | if depth == 0 { |
| 142 | return Ok((input.advance(i + 2), &input.rest[..i + 2])); |
| 143 | } |
| 144 | i += 1; // eat '/' |
| 145 | } |
| 146 | i += 1; |
| 147 | } |
| 148 | |
| 149 | Err(Reject) |
| 150 | } |
| 151 | |
| 152 | fn is_whitespace(ch: char) -> bool { |
| 153 | // Rust treats left-to-right mark and right-to-left mark as whitespace |
| 154 | ch.is_whitespace() || ch == ' \u{200e}' || ch == ' \u{200f}' |
| 155 | } |
| 156 | |
| 157 | fn word_break(input: Cursor) -> Result<Cursor, Reject> { |
| 158 | match input.chars().next() { |
| 159 | Some(ch: char) if is_ident_continue(ch) => Err(Reject), |
| 160 | Some(_) | None => Ok(input), |
| 161 | } |
| 162 | } |
| 163 | |
| 164 | // Rustc's representation of a macro expansion error in expression position or |
| 165 | // type position. |
| 166 | const ERROR: &str = "(/*ERROR*/)" ; |
| 167 | |
| 168 | pub(crate) fn token_stream(mut input: Cursor) -> Result<TokenStream, LexError> { |
| 169 | let mut trees = TokenStreamBuilder::new(); |
| 170 | let mut stack = Vec::new(); |
| 171 | |
| 172 | loop { |
| 173 | input = skip_whitespace(input); |
| 174 | |
| 175 | if let Ok((rest, ())) = doc_comment(input, &mut trees) { |
| 176 | input = rest; |
| 177 | continue; |
| 178 | } |
| 179 | |
| 180 | #[cfg (span_locations)] |
| 181 | let lo = input.off; |
| 182 | |
| 183 | let first = match input.bytes().next() { |
| 184 | Some(first) => first, |
| 185 | None => match stack.last() { |
| 186 | None => return Ok(trees.build()), |
| 187 | #[cfg (span_locations)] |
| 188 | Some((lo, _frame)) => { |
| 189 | return Err(LexError { |
| 190 | span: Span { lo: *lo, hi: *lo }, |
| 191 | }) |
| 192 | } |
| 193 | #[cfg (not(span_locations))] |
| 194 | Some(_frame) => return Err(LexError { span: Span {} }), |
| 195 | }, |
| 196 | }; |
| 197 | |
| 198 | if let Some(open_delimiter) = match first { |
| 199 | b'(' if !input.starts_with(ERROR) => Some(Delimiter::Parenthesis), |
| 200 | b'[' => Some(Delimiter::Bracket), |
| 201 | b'{' => Some(Delimiter::Brace), |
| 202 | _ => None, |
| 203 | } { |
| 204 | input = input.advance(1); |
| 205 | let frame = (open_delimiter, trees); |
| 206 | #[cfg (span_locations)] |
| 207 | let frame = (lo, frame); |
| 208 | stack.push(frame); |
| 209 | trees = TokenStreamBuilder::new(); |
| 210 | } else if let Some(close_delimiter) = match first { |
| 211 | b')' => Some(Delimiter::Parenthesis), |
| 212 | b']' => Some(Delimiter::Bracket), |
| 213 | b'}' => Some(Delimiter::Brace), |
| 214 | _ => None, |
| 215 | } { |
| 216 | let frame = match stack.pop() { |
| 217 | Some(frame) => frame, |
| 218 | None => return Err(lex_error(input)), |
| 219 | }; |
| 220 | #[cfg (span_locations)] |
| 221 | let (lo, frame) = frame; |
| 222 | let (open_delimiter, outer) = frame; |
| 223 | if open_delimiter != close_delimiter { |
| 224 | return Err(lex_error(input)); |
| 225 | } |
| 226 | input = input.advance(1); |
| 227 | let mut g = Group::new(open_delimiter, trees.build()); |
| 228 | g.set_span(Span { |
| 229 | #[cfg (span_locations)] |
| 230 | lo, |
| 231 | #[cfg (span_locations)] |
| 232 | hi: input.off, |
| 233 | }); |
| 234 | trees = outer; |
| 235 | trees.push_token_from_parser(TokenTree::Group(crate::Group::_new_fallback(g))); |
| 236 | } else { |
| 237 | let (rest, mut tt) = match leaf_token(input) { |
| 238 | Ok((rest, tt)) => (rest, tt), |
| 239 | Err(Reject) => return Err(lex_error(input)), |
| 240 | }; |
| 241 | tt.set_span(crate::Span::_new_fallback(Span { |
| 242 | #[cfg (span_locations)] |
| 243 | lo, |
| 244 | #[cfg (span_locations)] |
| 245 | hi: rest.off, |
| 246 | })); |
| 247 | trees.push_token_from_parser(tt); |
| 248 | input = rest; |
| 249 | } |
| 250 | } |
| 251 | } |
| 252 | |
| 253 | fn lex_error(cursor: Cursor) -> LexError { |
| 254 | #[cfg (not(span_locations))] |
| 255 | let _ = cursor; |
| 256 | LexError { |
| 257 | span: Span { |
| 258 | #[cfg (span_locations)] |
| 259 | lo: cursor.off, |
| 260 | #[cfg (span_locations)] |
| 261 | hi: cursor.off, |
| 262 | }, |
| 263 | } |
| 264 | } |
| 265 | |
| 266 | fn leaf_token(input: Cursor) -> PResult<TokenTree> { |
| 267 | if let Ok((input: Cursor<'_>, l: Literal)) = literal(input) { |
| 268 | // must be parsed before ident |
| 269 | Ok((input, TokenTree::Literal(crate::Literal::_new_fallback(inner:l)))) |
| 270 | } else if let Ok((input: Cursor<'_>, p: Punct)) = punct(input) { |
| 271 | Ok((input, TokenTree::Punct(p))) |
| 272 | } else if let Ok((input: Cursor<'_>, i: Ident)) = ident(input) { |
| 273 | Ok((input, TokenTree::Ident(i))) |
| 274 | } else if input.starts_with(ERROR) { |
| 275 | let rest: Cursor<'_> = input.advance(ERROR.len()); |
| 276 | let repr: Literal = crate::Literal::_new_fallback(inner:Literal::_new(ERROR.to_owned())); |
| 277 | Ok((rest, TokenTree::Literal(repr))) |
| 278 | } else { |
| 279 | Err(Reject) |
| 280 | } |
| 281 | } |
| 282 | |
| 283 | fn ident(input: Cursor) -> PResult<crate::Ident> { |
| 284 | if [ |
| 285 | "r \"" , "r# \"" , "r##" , "b \"" , "b \'" , "br \"" , "br#" , "c \"" , "cr \"" , "cr#" , |
| 286 | ] |
| 287 | .iter() |
| 288 | .any(|prefix: &&str| input.starts_with(prefix)) |
| 289 | { |
| 290 | Err(Reject) |
| 291 | } else { |
| 292 | ident_any(input) |
| 293 | } |
| 294 | } |
| 295 | |
| 296 | fn ident_any(input: Cursor) -> PResult<crate::Ident> { |
| 297 | let raw: bool = input.starts_with("r#" ); |
| 298 | let rest: Cursor<'_> = input.advance((raw as usize) << 1); |
| 299 | |
| 300 | let (rest: Cursor<'_>, sym: &str) = ident_not_raw(input:rest)?; |
| 301 | |
| 302 | if !raw { |
| 303 | let ident: Ident = |
| 304 | crate::Ident::_new_fallback(inner:Ident::new_unchecked(string:sym, fallback::Span::call_site())); |
| 305 | return Ok((rest, ident)); |
| 306 | } |
| 307 | |
| 308 | match sym { |
| 309 | "_" | "super" | "self" | "Self" | "crate" => return Err(Reject), |
| 310 | _ => {} |
| 311 | } |
| 312 | |
| 313 | let ident: Ident = |
| 314 | crate::Ident::_new_fallback(inner:Ident::new_raw_unchecked(string:sym, fallback::Span::call_site())); |
| 315 | Ok((rest, ident)) |
| 316 | } |
| 317 | |
| 318 | fn ident_not_raw(input: Cursor) -> PResult<&str> { |
| 319 | let mut chars: CharIndices<'_> = input.char_indices(); |
| 320 | |
| 321 | match chars.next() { |
| 322 | Some((_, ch: char)) if is_ident_start(ch) => {} |
| 323 | _ => return Err(Reject), |
| 324 | } |
| 325 | |
| 326 | let mut end: usize = input.len(); |
| 327 | for (i: usize, ch: char) in chars { |
| 328 | if !is_ident_continue(ch) { |
| 329 | end = i; |
| 330 | break; |
| 331 | } |
| 332 | } |
| 333 | |
| 334 | Ok((input.advance(bytes:end), &input.rest[..end])) |
| 335 | } |
| 336 | |
| 337 | pub(crate) fn literal(input: Cursor) -> PResult<Literal> { |
| 338 | let rest: Cursor<'_> = literal_nocapture(input)?; |
| 339 | let end: usize = input.len() - rest.len(); |
| 340 | Ok((rest, Literal::_new(repr:input.rest[..end].to_string()))) |
| 341 | } |
| 342 | |
| 343 | fn literal_nocapture(input: Cursor) -> Result<Cursor, Reject> { |
| 344 | if let Ok(ok: Cursor<'_>) = string(input) { |
| 345 | Ok(ok) |
| 346 | } else if let Ok(ok: Cursor<'_>) = byte_string(input) { |
| 347 | Ok(ok) |
| 348 | } else if let Ok(ok: Cursor<'_>) = c_string(input) { |
| 349 | Ok(ok) |
| 350 | } else if let Ok(ok: Cursor<'_>) = byte(input) { |
| 351 | Ok(ok) |
| 352 | } else if let Ok(ok: Cursor<'_>) = character(input) { |
| 353 | Ok(ok) |
| 354 | } else if let Ok(ok: Cursor<'_>) = float(input) { |
| 355 | Ok(ok) |
| 356 | } else if let Ok(ok: Cursor<'_>) = int(input) { |
| 357 | Ok(ok) |
| 358 | } else { |
| 359 | Err(Reject) |
| 360 | } |
| 361 | } |
| 362 | |
| 363 | fn literal_suffix(input: Cursor) -> Cursor { |
| 364 | match ident_not_raw(input) { |
| 365 | Ok((input: Cursor<'_>, _)) => input, |
| 366 | Err(Reject) => input, |
| 367 | } |
| 368 | } |
| 369 | |
| 370 | fn string(input: Cursor) -> Result<Cursor, Reject> { |
| 371 | if let Ok(input: Cursor<'_>) = input.parse(tag:" \"" ) { |
| 372 | cooked_string(input) |
| 373 | } else if let Ok(input: Cursor<'_>) = input.parse(tag:"r" ) { |
| 374 | raw_string(input) |
| 375 | } else { |
| 376 | Err(Reject) |
| 377 | } |
| 378 | } |
| 379 | |
| 380 | fn cooked_string(mut input: Cursor) -> Result<Cursor, Reject> { |
| 381 | let mut chars = input.char_indices(); |
| 382 | |
| 383 | while let Some((i, ch)) = chars.next() { |
| 384 | match ch { |
| 385 | '"' => { |
| 386 | let input = input.advance(i + 1); |
| 387 | return Ok(literal_suffix(input)); |
| 388 | } |
| 389 | ' \r' => match chars.next() { |
| 390 | Some((_, ' \n' )) => {} |
| 391 | _ => break, |
| 392 | }, |
| 393 | ' \\' => match chars.next() { |
| 394 | Some((_, 'x' )) => { |
| 395 | backslash_x_char(&mut chars)?; |
| 396 | } |
| 397 | Some((_, 'n' | 'r' | 't' | ' \\' | ' \'' | '"' | '0' )) => {} |
| 398 | Some((_, 'u' )) => { |
| 399 | backslash_u(&mut chars)?; |
| 400 | } |
| 401 | Some((newline, ch @ (' \n' | ' \r' ))) => { |
| 402 | input = input.advance(newline + 1); |
| 403 | trailing_backslash(&mut input, ch as u8)?; |
| 404 | chars = input.char_indices(); |
| 405 | } |
| 406 | _ => break, |
| 407 | }, |
| 408 | _ch => {} |
| 409 | } |
| 410 | } |
| 411 | Err(Reject) |
| 412 | } |
| 413 | |
| 414 | fn raw_string(input: Cursor) -> Result<Cursor, Reject> { |
| 415 | let (input: Cursor<'_>, delimiter: &str) = delimiter_of_raw_string(input)?; |
| 416 | let mut bytes: impl Iterator = input.bytes().enumerate(); |
| 417 | while let Some((i: usize, byte: u8)) = bytes.next() { |
| 418 | match byte { |
| 419 | b'"' if input.rest[i + 1..].starts_with(delimiter) => { |
| 420 | let rest: Cursor<'_> = input.advance(bytes:i + 1 + delimiter.len()); |
| 421 | return Ok(literal_suffix(input:rest)); |
| 422 | } |
| 423 | b' \r' => match bytes.next() { |
| 424 | Some((_, b' \n' )) => {} |
| 425 | _ => break, |
| 426 | }, |
| 427 | _ => {} |
| 428 | } |
| 429 | } |
| 430 | Err(Reject) |
| 431 | } |
| 432 | |
| 433 | fn byte_string(input: Cursor) -> Result<Cursor, Reject> { |
| 434 | if let Ok(input: Cursor<'_>) = input.parse(tag:"b \"" ) { |
| 435 | cooked_byte_string(input) |
| 436 | } else if let Ok(input: Cursor<'_>) = input.parse(tag:"br" ) { |
| 437 | raw_byte_string(input) |
| 438 | } else { |
| 439 | Err(Reject) |
| 440 | } |
| 441 | } |
| 442 | |
| 443 | fn cooked_byte_string(mut input: Cursor) -> Result<Cursor, Reject> { |
| 444 | let mut bytes = input.bytes().enumerate(); |
| 445 | while let Some((offset, b)) = bytes.next() { |
| 446 | match b { |
| 447 | b'"' => { |
| 448 | let input = input.advance(offset + 1); |
| 449 | return Ok(literal_suffix(input)); |
| 450 | } |
| 451 | b' \r' => match bytes.next() { |
| 452 | Some((_, b' \n' )) => {} |
| 453 | _ => break, |
| 454 | }, |
| 455 | b' \\' => match bytes.next() { |
| 456 | Some((_, b'x' )) => { |
| 457 | backslash_x_byte(&mut bytes)?; |
| 458 | } |
| 459 | Some((_, b'n' | b'r' | b't' | b' \\' | b'0' | b' \'' | b'"' )) => {} |
| 460 | Some((newline, b @ (b' \n' | b' \r' ))) => { |
| 461 | input = input.advance(newline + 1); |
| 462 | trailing_backslash(&mut input, b)?; |
| 463 | bytes = input.bytes().enumerate(); |
| 464 | } |
| 465 | _ => break, |
| 466 | }, |
| 467 | b if b.is_ascii() => {} |
| 468 | _ => break, |
| 469 | } |
| 470 | } |
| 471 | Err(Reject) |
| 472 | } |
| 473 | |
| 474 | fn delimiter_of_raw_string(input: Cursor) -> PResult<&str> { |
| 475 | for (i: usize, byte: u8) in input.bytes().enumerate() { |
| 476 | match byte { |
| 477 | b'"' => { |
| 478 | if i > 255 { |
| 479 | // https://github.com/rust-lang/rust/pull/95251 |
| 480 | return Err(Reject); |
| 481 | } |
| 482 | return Ok((input.advance(bytes:i + 1), &input.rest[..i])); |
| 483 | } |
| 484 | b'#' => {} |
| 485 | _ => break, |
| 486 | } |
| 487 | } |
| 488 | Err(Reject) |
| 489 | } |
| 490 | |
| 491 | fn raw_byte_string(input: Cursor) -> Result<Cursor, Reject> { |
| 492 | let (input: Cursor<'_>, delimiter: &str) = delimiter_of_raw_string(input)?; |
| 493 | let mut bytes: impl Iterator = input.bytes().enumerate(); |
| 494 | while let Some((i: usize, byte: u8)) = bytes.next() { |
| 495 | match byte { |
| 496 | b'"' if input.rest[i + 1..].starts_with(delimiter) => { |
| 497 | let rest: Cursor<'_> = input.advance(bytes:i + 1 + delimiter.len()); |
| 498 | return Ok(literal_suffix(input:rest)); |
| 499 | } |
| 500 | b' \r' => match bytes.next() { |
| 501 | Some((_, b' \n' )) => {} |
| 502 | _ => break, |
| 503 | }, |
| 504 | other: u8 => { |
| 505 | if !other.is_ascii() { |
| 506 | break; |
| 507 | } |
| 508 | } |
| 509 | } |
| 510 | } |
| 511 | Err(Reject) |
| 512 | } |
| 513 | |
| 514 | fn c_string(input: Cursor) -> Result<Cursor, Reject> { |
| 515 | if let Ok(input: Cursor<'_>) = input.parse(tag:"c \"" ) { |
| 516 | cooked_c_string(input) |
| 517 | } else if let Ok(input: Cursor<'_>) = input.parse(tag:"cr" ) { |
| 518 | raw_c_string(input) |
| 519 | } else { |
| 520 | Err(Reject) |
| 521 | } |
| 522 | } |
| 523 | |
| 524 | fn raw_c_string(input: Cursor) -> Result<Cursor, Reject> { |
| 525 | let (input: Cursor<'_>, delimiter: &str) = delimiter_of_raw_string(input)?; |
| 526 | let mut bytes: impl Iterator = input.bytes().enumerate(); |
| 527 | while let Some((i: usize, byte: u8)) = bytes.next() { |
| 528 | match byte { |
| 529 | b'"' if input.rest[i + 1..].starts_with(delimiter) => { |
| 530 | let rest: Cursor<'_> = input.advance(bytes:i + 1 + delimiter.len()); |
| 531 | return Ok(literal_suffix(input:rest)); |
| 532 | } |
| 533 | b' \r' => match bytes.next() { |
| 534 | Some((_, b' \n' )) => {} |
| 535 | _ => break, |
| 536 | }, |
| 537 | b' \0' => break, |
| 538 | _ => {} |
| 539 | } |
| 540 | } |
| 541 | Err(Reject) |
| 542 | } |
| 543 | |
| 544 | fn cooked_c_string(mut input: Cursor) -> Result<Cursor, Reject> { |
| 545 | let mut chars = input.char_indices(); |
| 546 | |
| 547 | while let Some((i, ch)) = chars.next() { |
| 548 | match ch { |
| 549 | '"' => { |
| 550 | let input = input.advance(i + 1); |
| 551 | return Ok(literal_suffix(input)); |
| 552 | } |
| 553 | ' \r' => match chars.next() { |
| 554 | Some((_, ' \n' )) => {} |
| 555 | _ => break, |
| 556 | }, |
| 557 | ' \\' => match chars.next() { |
| 558 | Some((_, 'x' )) => { |
| 559 | backslash_x_nonzero(&mut chars)?; |
| 560 | } |
| 561 | Some((_, 'n' | 'r' | 't' | ' \\' | ' \'' | '"' )) => {} |
| 562 | Some((_, 'u' )) => { |
| 563 | if backslash_u(&mut chars)? == ' \0' { |
| 564 | break; |
| 565 | } |
| 566 | } |
| 567 | Some((newline, ch @ (' \n' | ' \r' ))) => { |
| 568 | input = input.advance(newline + 1); |
| 569 | trailing_backslash(&mut input, ch as u8)?; |
| 570 | chars = input.char_indices(); |
| 571 | } |
| 572 | _ => break, |
| 573 | }, |
| 574 | ' \0' => break, |
| 575 | _ch => {} |
| 576 | } |
| 577 | } |
| 578 | Err(Reject) |
| 579 | } |
| 580 | |
| 581 | fn byte(input: Cursor) -> Result<Cursor, Reject> { |
| 582 | let input: Cursor<'_> = input.parse(tag:"b'" )?; |
| 583 | let mut bytes: impl Iterator = input.bytes().enumerate(); |
| 584 | let ok: bool = match bytes.next().map(|(_, b: u8)| b) { |
| 585 | Some(b' \\' ) => match bytes.next().map(|(_, b: u8)| b) { |
| 586 | Some(b'x' ) => backslash_x_byte(&mut bytes).is_ok(), |
| 587 | Some(b'n' | b'r' | b't' | b' \\' | b'0' | b' \'' | b'"' ) => true, |
| 588 | _ => false, |
| 589 | }, |
| 590 | b: Option => b.is_some(), |
| 591 | }; |
| 592 | if !ok { |
| 593 | return Err(Reject); |
| 594 | } |
| 595 | let (offset: usize, _) = bytes.next().ok_or(err:Reject)?; |
| 596 | if !input.chars().as_str().is_char_boundary(index:offset) { |
| 597 | return Err(Reject); |
| 598 | } |
| 599 | let input: Cursor<'_> = input.advance(offset).parse(tag:"'" )?; |
| 600 | Ok(literal_suffix(input)) |
| 601 | } |
| 602 | |
| 603 | fn character(input: Cursor) -> Result<Cursor, Reject> { |
| 604 | let input: Cursor<'_> = input.parse(tag:"'" )?; |
| 605 | let mut chars: CharIndices<'_> = input.char_indices(); |
| 606 | let ok: bool = match chars.next().map(|(_, ch: char)| ch) { |
| 607 | Some(' \\' ) => match chars.next().map(|(_, ch: char)| ch) { |
| 608 | Some('x' ) => backslash_x_char(&mut chars).is_ok(), |
| 609 | Some('u' ) => backslash_u(&mut chars).is_ok(), |
| 610 | Some('n' | 'r' | 't' | ' \\' | '0' | ' \'' | '"' ) => true, |
| 611 | _ => false, |
| 612 | }, |
| 613 | ch: Option => ch.is_some(), |
| 614 | }; |
| 615 | if !ok { |
| 616 | return Err(Reject); |
| 617 | } |
| 618 | let (idx: usize, _) = chars.next().ok_or(err:Reject)?; |
| 619 | let input: Cursor<'_> = input.advance(idx).parse(tag:"'" )?; |
| 620 | Ok(literal_suffix(input)) |
| 621 | } |
| 622 | |
| 623 | macro_rules! next_ch { |
| 624 | ($chars:ident @ $pat:pat) => { |
| 625 | match $chars.next() { |
| 626 | Some((_, ch)) => match ch { |
| 627 | $pat => ch, |
| 628 | _ => return Err(Reject), |
| 629 | }, |
| 630 | None => return Err(Reject), |
| 631 | } |
| 632 | }; |
| 633 | } |
| 634 | |
| 635 | fn backslash_x_char<I>(chars: &mut I) -> Result<(), Reject> |
| 636 | where |
| 637 | I: Iterator<Item = (usize, char)>, |
| 638 | { |
| 639 | next_ch!(chars @ '0' ..='7' ); |
| 640 | next_ch!(chars @ '0' ..='9' | 'a' ..='f' | 'A' ..='F' ); |
| 641 | Ok(()) |
| 642 | } |
| 643 | |
| 644 | fn backslash_x_byte<I>(chars: &mut I) -> Result<(), Reject> |
| 645 | where |
| 646 | I: Iterator<Item = (usize, u8)>, |
| 647 | { |
| 648 | next_ch!(chars @ b'0' ..=b'9' | b'a' ..=b'f' | b'A' ..=b'F' ); |
| 649 | next_ch!(chars @ b'0' ..=b'9' | b'a' ..=b'f' | b'A' ..=b'F' ); |
| 650 | Ok(()) |
| 651 | } |
| 652 | |
| 653 | fn backslash_x_nonzero<I>(chars: &mut I) -> Result<(), Reject> |
| 654 | where |
| 655 | I: Iterator<Item = (usize, char)>, |
| 656 | { |
| 657 | let first: char = next_ch!(chars @ '0' ..='9' | 'a' ..='f' | 'A' ..='F' ); |
| 658 | let second: char = next_ch!(chars @ '0' ..='9' | 'a' ..='f' | 'A' ..='F' ); |
| 659 | if first == '0' && second == '0' { |
| 660 | Err(Reject) |
| 661 | } else { |
| 662 | Ok(()) |
| 663 | } |
| 664 | } |
| 665 | |
| 666 | fn backslash_u<I>(chars: &mut I) -> Result<char, Reject> |
| 667 | where |
| 668 | I: Iterator<Item = (usize, char)>, |
| 669 | { |
| 670 | next_ch!(chars @ '{' ); |
| 671 | let mut value: u32 = 0; |
| 672 | let mut len: i32 = 0; |
| 673 | for (_, ch: char) in chars { |
| 674 | let digit: u8 = match ch { |
| 675 | '0' ..='9' => ch as u8 - b'0' , |
| 676 | 'a' ..='f' => 10 + ch as u8 - b'a' , |
| 677 | 'A' ..='F' => 10 + ch as u8 - b'A' , |
| 678 | '_' if len > 0 => continue, |
| 679 | '}' if len > 0 => return char::from_u32(value).ok_or(err:Reject), |
| 680 | _ => break, |
| 681 | }; |
| 682 | if len == 6 { |
| 683 | break; |
| 684 | } |
| 685 | value *= 0x10; |
| 686 | value += u32::from(digit); |
| 687 | len += 1; |
| 688 | } |
| 689 | Err(Reject) |
| 690 | } |
| 691 | |
| 692 | fn trailing_backslash(input: &mut Cursor, mut last: u8) -> Result<(), Reject> { |
| 693 | let mut whitespace: impl Iterator = input.bytes().enumerate(); |
| 694 | loop { |
| 695 | if last == b' \r' && whitespace.next().map_or(default:true, |(_, b: u8)| b != b' \n' ) { |
| 696 | return Err(Reject); |
| 697 | } |
| 698 | match whitespace.next() { |
| 699 | Some((_, b: u8 @ (b' ' | b' \t' | b' \n' | b' \r' ))) => { |
| 700 | last = b; |
| 701 | } |
| 702 | Some((offset: usize, _)) => { |
| 703 | *input = input.advance(bytes:offset); |
| 704 | return Ok(()); |
| 705 | } |
| 706 | None => return Err(Reject), |
| 707 | } |
| 708 | } |
| 709 | } |
| 710 | |
| 711 | fn float(input: Cursor) -> Result<Cursor, Reject> { |
| 712 | let mut rest: Cursor<'_> = float_digits(input)?; |
| 713 | if let Some(ch: char) = rest.chars().next() { |
| 714 | if is_ident_start(ch) { |
| 715 | rest = ident_not_raw(input:rest)?.0; |
| 716 | } |
| 717 | } |
| 718 | word_break(input:rest) |
| 719 | } |
| 720 | |
| 721 | fn float_digits(input: Cursor) -> Result<Cursor, Reject> { |
| 722 | let mut chars = input.chars().peekable(); |
| 723 | match chars.next() { |
| 724 | Some(ch) if '0' <= ch && ch <= '9' => {} |
| 725 | _ => return Err(Reject), |
| 726 | } |
| 727 | |
| 728 | let mut len = 1; |
| 729 | let mut has_dot = false; |
| 730 | let mut has_exp = false; |
| 731 | while let Some(&ch) = chars.peek() { |
| 732 | match ch { |
| 733 | '0' ..='9' | '_' => { |
| 734 | chars.next(); |
| 735 | len += 1; |
| 736 | } |
| 737 | '.' => { |
| 738 | if has_dot { |
| 739 | break; |
| 740 | } |
| 741 | chars.next(); |
| 742 | if chars |
| 743 | .peek() |
| 744 | .map_or(false, |&ch| ch == '.' || is_ident_start(ch)) |
| 745 | { |
| 746 | return Err(Reject); |
| 747 | } |
| 748 | len += 1; |
| 749 | has_dot = true; |
| 750 | } |
| 751 | 'e' | 'E' => { |
| 752 | chars.next(); |
| 753 | len += 1; |
| 754 | has_exp = true; |
| 755 | break; |
| 756 | } |
| 757 | _ => break, |
| 758 | } |
| 759 | } |
| 760 | |
| 761 | if !(has_dot || has_exp) { |
| 762 | return Err(Reject); |
| 763 | } |
| 764 | |
| 765 | if has_exp { |
| 766 | let token_before_exp = if has_dot { |
| 767 | Ok(input.advance(len - 1)) |
| 768 | } else { |
| 769 | Err(Reject) |
| 770 | }; |
| 771 | let mut has_sign = false; |
| 772 | let mut has_exp_value = false; |
| 773 | while let Some(&ch) = chars.peek() { |
| 774 | match ch { |
| 775 | '+' | '-' => { |
| 776 | if has_exp_value { |
| 777 | break; |
| 778 | } |
| 779 | if has_sign { |
| 780 | return token_before_exp; |
| 781 | } |
| 782 | chars.next(); |
| 783 | len += 1; |
| 784 | has_sign = true; |
| 785 | } |
| 786 | '0' ..='9' => { |
| 787 | chars.next(); |
| 788 | len += 1; |
| 789 | has_exp_value = true; |
| 790 | } |
| 791 | '_' => { |
| 792 | chars.next(); |
| 793 | len += 1; |
| 794 | } |
| 795 | _ => break, |
| 796 | } |
| 797 | } |
| 798 | if !has_exp_value { |
| 799 | return token_before_exp; |
| 800 | } |
| 801 | } |
| 802 | |
| 803 | Ok(input.advance(len)) |
| 804 | } |
| 805 | |
| 806 | fn int(input: Cursor) -> Result<Cursor, Reject> { |
| 807 | let mut rest: Cursor<'_> = digits(input)?; |
| 808 | if let Some(ch: char) = rest.chars().next() { |
| 809 | if is_ident_start(ch) { |
| 810 | rest = ident_not_raw(input:rest)?.0; |
| 811 | } |
| 812 | } |
| 813 | word_break(input:rest) |
| 814 | } |
| 815 | |
| 816 | fn digits(mut input: Cursor) -> Result<Cursor, Reject> { |
| 817 | let base = if input.starts_with("0x" ) { |
| 818 | input = input.advance(2); |
| 819 | 16 |
| 820 | } else if input.starts_with("0o" ) { |
| 821 | input = input.advance(2); |
| 822 | 8 |
| 823 | } else if input.starts_with("0b" ) { |
| 824 | input = input.advance(2); |
| 825 | 2 |
| 826 | } else { |
| 827 | 10 |
| 828 | }; |
| 829 | |
| 830 | let mut len = 0; |
| 831 | let mut empty = true; |
| 832 | for b in input.bytes() { |
| 833 | match b { |
| 834 | b'0' ..=b'9' => { |
| 835 | let digit = (b - b'0' ) as u64; |
| 836 | if digit >= base { |
| 837 | return Err(Reject); |
| 838 | } |
| 839 | } |
| 840 | b'a' ..=b'f' => { |
| 841 | let digit = 10 + (b - b'a' ) as u64; |
| 842 | if digit >= base { |
| 843 | break; |
| 844 | } |
| 845 | } |
| 846 | b'A' ..=b'F' => { |
| 847 | let digit = 10 + (b - b'A' ) as u64; |
| 848 | if digit >= base { |
| 849 | break; |
| 850 | } |
| 851 | } |
| 852 | b'_' => { |
| 853 | if empty && base == 10 { |
| 854 | return Err(Reject); |
| 855 | } |
| 856 | len += 1; |
| 857 | continue; |
| 858 | } |
| 859 | _ => break, |
| 860 | }; |
| 861 | len += 1; |
| 862 | empty = false; |
| 863 | } |
| 864 | if empty { |
| 865 | Err(Reject) |
| 866 | } else { |
| 867 | Ok(input.advance(len)) |
| 868 | } |
| 869 | } |
| 870 | |
| 871 | fn punct(input: Cursor) -> PResult<Punct> { |
| 872 | let (rest: Cursor<'_>, ch: char) = punct_char(input)?; |
| 873 | if ch == ' \'' { |
| 874 | if ident_any(rest)?.0.starts_with_char(ch:' \'' ) { |
| 875 | Err(Reject) |
| 876 | } else { |
| 877 | Ok((rest, Punct::new(ch:' \'' , Spacing::Joint))) |
| 878 | } |
| 879 | } else { |
| 880 | let kind: Spacing = match punct_char(input:rest) { |
| 881 | Ok(_) => Spacing::Joint, |
| 882 | Err(Reject) => Spacing::Alone, |
| 883 | }; |
| 884 | Ok((rest, Punct::new(ch, spacing:kind))) |
| 885 | } |
| 886 | } |
| 887 | |
| 888 | fn punct_char(input: Cursor) -> PResult<char> { |
| 889 | if input.starts_with("//" ) || input.starts_with("/*" ) { |
| 890 | // Do not accept `/` of a comment as a punct. |
| 891 | return Err(Reject); |
| 892 | } |
| 893 | |
| 894 | let mut chars: Chars<'_> = input.chars(); |
| 895 | let first: char = match chars.next() { |
| 896 | Some(ch: char) => ch, |
| 897 | None => { |
| 898 | return Err(Reject); |
| 899 | } |
| 900 | }; |
| 901 | let recognized: &'static str = "~!@#$%^&*-=+|;:,<.>/?'" ; |
| 902 | if recognized.contains(first) { |
| 903 | Ok((input.advance(bytes:first.len_utf8()), first)) |
| 904 | } else { |
| 905 | Err(Reject) |
| 906 | } |
| 907 | } |
| 908 | |
| 909 | fn doc_comment<'a>(input: Cursor<'a>, trees: &mut TokenStreamBuilder) -> PResult<'a, ()> { |
| 910 | #[cfg (span_locations)] |
| 911 | let lo = input.off; |
| 912 | let (rest, (comment, inner)) = doc_comment_contents(input)?; |
| 913 | let fallback_span = Span { |
| 914 | #[cfg (span_locations)] |
| 915 | lo, |
| 916 | #[cfg (span_locations)] |
| 917 | hi: rest.off, |
| 918 | }; |
| 919 | let span = crate::Span::_new_fallback(fallback_span); |
| 920 | |
| 921 | let mut scan_for_bare_cr = comment; |
| 922 | while let Some(cr) = scan_for_bare_cr.find(' \r' ) { |
| 923 | let rest = &scan_for_bare_cr[cr + 1..]; |
| 924 | if !rest.starts_with(' \n' ) { |
| 925 | return Err(Reject); |
| 926 | } |
| 927 | scan_for_bare_cr = rest; |
| 928 | } |
| 929 | |
| 930 | let mut pound = Punct::new('#' , Spacing::Alone); |
| 931 | pound.set_span(span); |
| 932 | trees.push_token_from_parser(TokenTree::Punct(pound)); |
| 933 | |
| 934 | if inner { |
| 935 | let mut bang = Punct::new('!' , Spacing::Alone); |
| 936 | bang.set_span(span); |
| 937 | trees.push_token_from_parser(TokenTree::Punct(bang)); |
| 938 | } |
| 939 | |
| 940 | let doc_ident = crate::Ident::_new_fallback(Ident::new_unchecked("doc" , fallback_span)); |
| 941 | let mut equal = Punct::new('=' , Spacing::Alone); |
| 942 | equal.set_span(span); |
| 943 | let mut literal = crate::Literal::_new_fallback(Literal::string(comment)); |
| 944 | literal.set_span(span); |
| 945 | let mut bracketed = TokenStreamBuilder::with_capacity(3); |
| 946 | bracketed.push_token_from_parser(TokenTree::Ident(doc_ident)); |
| 947 | bracketed.push_token_from_parser(TokenTree::Punct(equal)); |
| 948 | bracketed.push_token_from_parser(TokenTree::Literal(literal)); |
| 949 | let group = Group::new(Delimiter::Bracket, bracketed.build()); |
| 950 | let mut group = crate::Group::_new_fallback(group); |
| 951 | group.set_span(span); |
| 952 | trees.push_token_from_parser(TokenTree::Group(group)); |
| 953 | |
| 954 | Ok((rest, ())) |
| 955 | } |
| 956 | |
| 957 | fn doc_comment_contents(input: Cursor) -> PResult<(&str, bool)> { |
| 958 | if input.starts_with("//!" ) { |
| 959 | let input: Cursor<'_> = input.advance(bytes:3); |
| 960 | let (input: Cursor<'_>, s: &str) = take_until_newline_or_eof(input); |
| 961 | Ok((input, (s, true))) |
| 962 | } else if input.starts_with("/*!" ) { |
| 963 | let (input: Cursor<'_>, s: &str) = block_comment(input)?; |
| 964 | Ok((input, (&s[3..s.len() - 2], true))) |
| 965 | } else if input.starts_with("///" ) { |
| 966 | let input: Cursor<'_> = input.advance(bytes:3); |
| 967 | if input.starts_with_char(ch:'/' ) { |
| 968 | return Err(Reject); |
| 969 | } |
| 970 | let (input: Cursor<'_>, s: &str) = take_until_newline_or_eof(input); |
| 971 | Ok((input, (s, false))) |
| 972 | } else if input.starts_with("/**" ) && !input.rest[3..].starts_with('*' ) { |
| 973 | let (input: Cursor<'_>, s: &str) = block_comment(input)?; |
| 974 | Ok((input, (&s[3..s.len() - 2], false))) |
| 975 | } else { |
| 976 | Err(Reject) |
| 977 | } |
| 978 | } |
| 979 | |
| 980 | fn take_until_newline_or_eof(input: Cursor) -> (Cursor, &str) { |
| 981 | let chars: CharIndices<'_> = input.char_indices(); |
| 982 | |
| 983 | for (i: usize, ch: char) in chars { |
| 984 | if ch == ' \n' { |
| 985 | return (input.advance(bytes:i), &input.rest[..i]); |
| 986 | } else if ch == ' \r' && input.rest[i + 1..].starts_with(' \n' ) { |
| 987 | return (input.advance(bytes:i + 1), &input.rest[..i]); |
| 988 | } |
| 989 | } |
| 990 | |
| 991 | (input.advance(bytes:input.len()), input.rest) |
| 992 | } |
| 993 | |