rust/crates/ra_syntax/src/lexer.rs

214 lines
5.2 KiB
Rust
Raw Normal View History

2018-07-30 13:08:06 +02:00
mod classes;
2018-07-29 14:16:07 +02:00
mod comments;
mod numbers;
2018-07-30 13:08:06 +02:00
mod ptr;
mod strings;
2017-12-29 22:48:47 +01:00
2018-10-15 18:55:32 +02:00
use crate::{
2018-07-29 14:16:07 +02:00
SyntaxKind::{self, *},
2018-07-30 13:08:06 +02:00
TextUnit,
2018-07-29 14:16:07 +02:00
};
2017-12-30 13:56:52 +01:00
2018-07-29 14:16:07 +02:00
use self::{
classes::*,
2018-07-30 13:08:06 +02:00
comments::{scan_comment, scan_shebang},
2018-07-29 14:16:07 +02:00
numbers::scan_number,
2018-07-30 13:08:06 +02:00
ptr::Ptr,
2018-07-29 14:16:07 +02:00
strings::{
2018-07-30 13:08:06 +02:00
is_string_literal_start, scan_byte_char_or_string, scan_char, scan_raw_string, scan_string,
},
2018-07-29 14:16:07 +02:00
};
2018-07-29 14:16:07 +02:00
/// A token of Rust source.
#[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)]
pub struct Token {
/// The kind of token.
pub kind: SyntaxKind,
/// The length of the token.
pub len: TextUnit,
}
2017-12-31 14:42:22 +01:00
/// Break a string up into its component tokens
2017-12-31 15:54:33 +01:00
pub fn tokenize(text: &str) -> Vec<Token> {
let mut text = text;
let mut acc = Vec::new();
while !text.is_empty() {
let token = next_token(text);
acc.push(token);
let len: u32 = token.len.into();
text = &text[len as usize..];
}
acc
}
2018-07-29 14:16:07 +02:00
/// Get the next token from a string
2017-12-29 21:33:04 +01:00
pub fn next_token(text: &str) -> Token {
assert!(!text.is_empty());
let mut ptr = Ptr::new(text);
let c = ptr.bump().unwrap();
let kind = next_token_inner(c, &mut ptr);
let len = ptr.into_len();
Token { kind, len }
}
fn next_token_inner(c: char, ptr: &mut Ptr) -> SyntaxKind {
2017-12-29 22:48:47 +01:00
if is_whitespace(c) {
ptr.bump_while(is_whitespace);
return WHITESPACE;
}
2017-12-29 21:33:04 +01:00
2017-12-31 14:42:22 +01:00
match c {
'#' => {
if scan_shebang(ptr) {
return SHEBANG;
}
}
'/' => {
if let Some(kind) = scan_comment(ptr) {
return kind;
}
}
2017-12-31 14:42:22 +01:00
_ => (),
}
let ident_start = is_ident_start(c) && !is_string_literal_start(c, ptr.current(), ptr.nth(1));
2017-12-31 14:42:22 +01:00
if ident_start {
return scan_ident(c, ptr);
}
2017-12-30 13:22:40 +01:00
if is_dec_digit(c) {
2017-12-31 08:41:42 +01:00
let kind = scan_number(c, ptr);
scan_literal_suffix(ptr);
return kind;
2017-12-30 13:22:40 +01:00
}
2017-12-30 14:30:37 +01:00
// One-byte tokens.
2018-07-30 16:46:50 +02:00
if let Some(kind) = SyntaxKind::from_char(c) {
return kind;
}
2017-12-30 16:25:37 +01:00
2018-07-30 16:46:50 +02:00
match c {
2017-12-30 16:25:37 +01:00
// Multi-byte tokens.
2018-01-28 00:31:23 +01:00
'.' => {
return match (ptr.current(), ptr.nth(1)) {
2018-01-28 00:31:23 +01:00
(Some('.'), Some('.')) => {
ptr.bump();
ptr.bump();
DOTDOTDOT
}
(Some('.'), Some('=')) => {
ptr.bump();
ptr.bump();
DOTDOTEQ
}
(Some('.'), _) => {
ptr.bump();
DOTDOT
}
_ => DOT,
2018-07-29 14:16:07 +02:00
};
2018-01-28 00:31:23 +01:00
}
':' => {
return match ptr.current() {
2018-01-28 00:31:23 +01:00
Some(':') => {
ptr.bump();
COLONCOLON
}
_ => COLON,
2018-07-29 14:16:07 +02:00
};
2018-01-28 00:31:23 +01:00
}
'=' => {
return match ptr.current() {
2018-01-28 00:31:23 +01:00
Some('=') => {
ptr.bump();
EQEQ
}
Some('>') => {
ptr.bump();
FAT_ARROW
}
_ => EQ,
2018-07-29 14:16:07 +02:00
};
2018-01-28 00:31:23 +01:00
}
'!' => {
return match ptr.current() {
2018-01-28 00:31:23 +01:00
Some('=') => {
ptr.bump();
NEQ
}
_ => EXCL,
2018-07-29 14:16:07 +02:00
};
2018-01-28 00:31:23 +01:00
}
'-' => {
return if ptr.at('>') {
2017-12-30 16:25:37 +01:00
ptr.bump();
2018-01-28 00:31:23 +01:00
THIN_ARROW
} else {
MINUS
2018-07-29 14:16:07 +02:00
};
2018-01-28 00:31:23 +01:00
}
2017-12-31 08:41:42 +01:00
// If the character is an ident start not followed by another single
// quote, then this is a lifetime name:
2018-01-28 00:31:23 +01:00
'\'' => {
return if ptr.at_p(is_ident_start) && !ptr.at_str("''") {
ptr.bump();
while ptr.at_p(is_ident_continue) {
2018-01-28 00:31:23 +01:00
ptr.bump();
}
// lifetimes shouldn't end with a single quote
// if we find one, then this is an invalid character literal
if ptr.at('\'') {
2018-01-28 00:31:23 +01:00
ptr.bump();
2018-12-21 23:41:09 +01:00
return CHAR;
2018-01-28 00:31:23 +01:00
}
LIFETIME
} else {
scan_char(ptr);
scan_literal_suffix(ptr);
CHAR
2018-01-28 00:36:02 +01:00
};
2018-01-28 00:31:23 +01:00
}
2017-12-31 12:10:18 +01:00
'b' => {
let kind = scan_byte_char_or_string(ptr);
scan_literal_suffix(ptr);
2018-01-28 00:31:23 +01:00
return kind;
}
2017-12-31 13:14:47 +01:00
'"' => {
scan_string(ptr);
scan_literal_suffix(ptr);
return STRING;
}
'r' => {
scan_raw_string(ptr);
scan_literal_suffix(ptr);
return RAW_STRING;
}
2017-12-30 14:30:37 +01:00
_ => (),
}
2017-12-29 22:53:06 +01:00
ERROR
2017-12-29 21:33:04 +01:00
}
2017-12-30 13:22:40 +01:00
fn scan_ident(c: char, ptr: &mut Ptr) -> SyntaxKind {
let is_single_letter = match ptr.current() {
2017-12-30 13:22:40 +01:00
None => true,
Some(c) if !is_ident_continue(c) => true,
_ => false,
};
if is_single_letter {
return if c == '_' { UNDERSCORE } else { IDENT };
}
ptr.bump_while(is_ident_continue);
2018-07-29 14:16:07 +02:00
if let Some(kind) = SyntaxKind::from_keyword(ptr.current_token_text()) {
2018-01-01 16:58:46 +01:00
return kind;
}
2017-12-30 13:22:40 +01:00
IDENT
}
2017-12-31 08:41:42 +01:00
fn scan_literal_suffix(ptr: &mut Ptr) {
if ptr.at_p(is_ident_start) {
2017-12-31 09:15:27 +01:00
ptr.bump();
}
ptr.bump_while(is_ident_continue);
2017-12-31 08:41:42 +01:00
}