mirror of
https://github.com/iritmaximus/compilers.git
synced 2026-10-12 19:13:35 +03:00
added location to tokens
This commit is contained in:
Generated
+7
@@ -23,6 +23,7 @@ version = "0.1.0"
|
||||
dependencies = [
|
||||
"base64",
|
||||
"json",
|
||||
"lazy_static",
|
||||
"regex",
|
||||
]
|
||||
|
||||
@@ -32,6 +33,12 @@ version = "0.12.4"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "078e285eafdfb6c4b434e0d31e8cfcb5115b651496faca5749b88fafd4f23bfd"
|
||||
|
||||
[[package]]
|
||||
name = "lazy_static"
|
||||
version = "1.5.0"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "bbd2bcb4c963f2ddae06a2efc7e9f3591312473c50c6685e1f298068316e66fe"
|
||||
|
||||
[[package]]
|
||||
name = "memchr"
|
||||
version = "2.7.6"
|
||||
|
||||
@@ -6,4 +6,5 @@ edition = "2024"
|
||||
[dependencies]
|
||||
base64 = "0.22.1"
|
||||
json = "0.12.4"
|
||||
lazy_static = "1.5.0"
|
||||
regex = "1.12.2"
|
||||
|
||||
@@ -1,20 +1,89 @@
|
||||
use lazy_static::lazy_static;
|
||||
use regex::Regex;
|
||||
|
||||
pub fn tokenizer(code: &str) -> Vec<&str> {
|
||||
// Damn, regex...
|
||||
println!("Doing regex things for {}", code);
|
||||
let re = Regex::new(
|
||||
r#"(?x)
|
||||
(((\#|\/\/).*)| # Comments
|
||||
([+\-\/*%(),;:{}])| # Single character operators, e.g. +,-,*, ...
|
||||
([<>=!]=?)| # (Potentially) Multicharacter operators, e.g. <,!,=, ... (<=, !=, ==)
|
||||
([0-9]+)| # Numbers
|
||||
([a-zA-Z_][a-zA-Z_0-9]*)) # Identifiers
|
||||
"#,
|
||||
)
|
||||
.unwrap();
|
||||
const WHITESPACE_REGEX_STR: &str = r"(\n|\r\n|\r|\\n|\ )";
|
||||
const COMMENT_REGEX_STR: &str = r"(((\#|\/\/).*)";
|
||||
const SINGLE_CHAR_OPERATOR_STR: &str = r"([+\-\/*%(),;:{}])";
|
||||
const MULTICHAR_OPERATOR_STR: &str = r"([<>=!]=?)";
|
||||
const NUMBER_LITERAL_STR: &str = r"([0-9]+)";
|
||||
const IDENTIFIER_STR: &str = r"([a-zA-Z_][a-zA-Z_0-9]*))";
|
||||
|
||||
let tokens: Vec<&str> = re
|
||||
lazy_static! {
|
||||
// Damn, regex...
|
||||
static ref TOKEN_RE: Regex = Regex::new(format!(r#"{WHITESPACE_REGEX_STR}|{COMMENT_REGEX_STR}|{SINGLE_CHAR_OPERATOR_STR}|{MULTICHAR_OPERATOR_STR}|{NUMBER_LITERAL_STR}|{IDENTIFIER_STR}"#).as_str()).unwrap();
|
||||
static ref WHITESPACE_RE: Regex = Regex::new(format!(r#"{WHITESPACE_REGEX_STR}"#).as_str()).unwrap();
|
||||
}
|
||||
|
||||
#[derive(Clone, Copy, Debug, PartialEq, Eq)]
|
||||
pub struct TokenLocation {
|
||||
line: u64,
|
||||
column: u64,
|
||||
}
|
||||
|
||||
#[derive(Debug, PartialEq, Eq)]
|
||||
pub enum TokenType {
|
||||
Identifier,
|
||||
IntLiteral,
|
||||
Other,
|
||||
}
|
||||
|
||||
#[derive(Debug, Eq)]
|
||||
pub struct Token<'a> {
|
||||
location: TokenLocation,
|
||||
token_type: TokenType,
|
||||
value: &'a str,
|
||||
}
|
||||
|
||||
impl<'a> PartialEq for Token<'a> {
|
||||
fn eq(&self, other: &Token) -> bool {
|
||||
if self.location == other.location
|
||||
&& self.value == other.value
|
||||
&& self.token_type == other.token_type
|
||||
{
|
||||
return true;
|
||||
}
|
||||
return false;
|
||||
}
|
||||
}
|
||||
|
||||
fn is_whitespace(token: &str) -> bool {
|
||||
return WHITESPACE_RE.is_match(token);
|
||||
}
|
||||
|
||||
pub fn tokenizer(code: &str) -> Vec<Token<'_>> {
|
||||
println!("Doing regex things for {:?}", code);
|
||||
|
||||
let mut tokens_vec: Vec<Token> = vec![];
|
||||
let mut current_pos = TokenLocation { column: 0, line: 0 };
|
||||
for mat in TOKEN_RE.find_iter(code) {
|
||||
println!();
|
||||
let token = mat.as_str();
|
||||
if is_whitespace(token) {
|
||||
match token {
|
||||
"\n" | "\r\n" | "\r" => {
|
||||
current_pos.column = 0;
|
||||
current_pos.line += 1;
|
||||
}
|
||||
// This type cast can fail/truncate <usize> on 128-bit machines, still waiting for those :D
|
||||
_ => current_pos.column += token.len() as u64,
|
||||
}
|
||||
continue;
|
||||
}
|
||||
|
||||
// Same as above about 128-bit machines
|
||||
current_pos.column += token.len() as u64;
|
||||
|
||||
let token_pos = current_pos;
|
||||
let token_obj = Token {
|
||||
location: token_pos,
|
||||
token_type: TokenType::Other,
|
||||
value: token,
|
||||
};
|
||||
|
||||
tokens_vec.push(token_obj);
|
||||
}
|
||||
|
||||
let tokens: Vec<&str> = TOKEN_RE
|
||||
.find_iter(code)
|
||||
.map(|mat| {
|
||||
// Add line number and location to token
|
||||
@@ -24,7 +93,8 @@ pub fn tokenizer(code: &str) -> Vec<&str> {
|
||||
})
|
||||
.collect();
|
||||
println!("{tokens:?}");
|
||||
return tokens;
|
||||
println!("{tokens_vec:?}");
|
||||
return tokens_vec;
|
||||
}
|
||||
|
||||
#[cfg(test)]
|
||||
@@ -34,44 +104,89 @@ mod tests {
|
||||
#[test]
|
||||
fn single_integer_literals() {
|
||||
let code = "143";
|
||||
assert_eq!(tokenizer(code), ["143"]);
|
||||
let result = [Token {
|
||||
location: TokenLocation { column: 3, line: 0 },
|
||||
token_type: TokenType::IntLiteral,
|
||||
value: "143",
|
||||
}];
|
||||
assert_eq!(tokenizer(code)[0], result[0]);
|
||||
}
|
||||
#[test]
|
||||
fn multiple_integer_literals() {
|
||||
let code = "532 125390";
|
||||
assert_eq!(tokenizer(code), ["532", "125390"]);
|
||||
let result = [
|
||||
Token {
|
||||
location: TokenLocation { column: 3, line: 0 },
|
||||
token_type: TokenType::IntLiteral,
|
||||
value: "532",
|
||||
},
|
||||
Token {
|
||||
location: TokenLocation {
|
||||
column: 10,
|
||||
line: 0,
|
||||
},
|
||||
token_type: TokenType::IntLiteral,
|
||||
value: "125390",
|
||||
},
|
||||
];
|
||||
assert_eq!(tokenizer(code), result);
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn integer_literals_with_newline() {
|
||||
let code = "123 \n3210\n\n50";
|
||||
let result = [
|
||||
Token {
|
||||
location: TokenLocation { column: 3, line: 0 },
|
||||
token_type: TokenType::Other,
|
||||
value: "123",
|
||||
},
|
||||
Token {
|
||||
location: TokenLocation { column: 4, line: 1 },
|
||||
token_type: TokenType::Other,
|
||||
value: "3210",
|
||||
},
|
||||
Token {
|
||||
location: TokenLocation { column: 2, line: 3 },
|
||||
token_type: TokenType::Other,
|
||||
value: "50",
|
||||
},
|
||||
];
|
||||
|
||||
assert_eq!(tokenizer(code), result);
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn comment_hashtag() {
|
||||
let code = "# This is a comment :)";
|
||||
let compare: Vec<&str> = vec![code];
|
||||
assert_eq!(tokenizer(code), compare);
|
||||
assert_eq!(tokenizer(code).len(), 0);
|
||||
}
|
||||
#[test]
|
||||
fn comment_div() {
|
||||
let code = "// This is a comment :)";
|
||||
let compare: Vec<&str> = vec![code];
|
||||
assert_eq!(tokenizer(code), compare);
|
||||
assert_eq!(tokenizer(code).len(), 0);
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn math_operators() {
|
||||
let code = "1 + 2 * 5";
|
||||
let compare: Vec<&str> = vec!["1", "+", "2", "*", "5"];
|
||||
assert_eq!(tokenizer(code), compare);
|
||||
let tokens: Vec<&str> = tokenizer(code).iter().map(|token| token.value).collect();
|
||||
let result: Vec<&str> = vec!["1", "+", "2", "*", "5"];
|
||||
assert_eq!(tokens, result);
|
||||
}
|
||||
#[test]
|
||||
fn identifiers_with_whitespace() {
|
||||
let code = "if 3\nwhile";
|
||||
let tokens: Vec<&str> = tokenizer(code).iter().map(|token| token.value).collect();
|
||||
let compare: Vec<&str> = vec!["if", "3", "while"];
|
||||
assert_eq!(tokenizer(code), compare);
|
||||
assert_eq!(tokens, compare);
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn more_complex_comxinations() {
|
||||
let code = "if a <= bee then print_int(123)";
|
||||
let tokens: Vec<&str> = tokenizer(code).iter().map(|token| token.value).collect();
|
||||
let compare: Vec<&str> = vec!["if", "a", "<=", "bee", "then", "print_int", "(", "123", ")"];
|
||||
assert_eq!(tokenizer(code), compare);
|
||||
assert_eq!(tokens, compare);
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user