caisin/typst
1
0
Fork 0
mirror of https://github.com/typst/typst synced 2025-05-14 17:15:28 +08:00
Code Issues Packages Projects Releases Wiki Activity

Flatten unescape_string a bit 🥞

Browse Source
This commit is contained in:
Laurenz 2020-09-30 19:07:45 +02:00
parent 4077a7c11e
commit 0ddab1c00d
1 changed files with 39 additions and 37 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

76
src/parse/escaping.rs
View File

@ -7,50 +7,52 @@ pub fn unescape_string(string: &str) -> String {
let mut out = String::with_capacity(string.len());
while let Some(c) = iter.next() {
if c == '\\' {
match iter.next() {
Some('\\') => out.push('\\'),
Some('"') => out.push('"'),
Some('u') if iter.peek() == Some(&'{') => {
iter.next();
if c != '\\' {
out.push(c);
continue;
}
let mut sequence = String::new();
let terminated = loop {
match iter.peek() {
// TODO: Feedback that closing brace is missing.
Some('}') => {
iter.next();
break true;
}
Some(&c) if c.is_ascii_hexdigit() => {
iter.next();
sequence.push(c);
}
_ => break false,
match iter.next() {
Some('\\') => out.push('\\'),
Some('"') => out.push('"'),
Some('n') => out.push('\n'),
Some('t') => out.push('\t'),
Some('u') if iter.peek() == Some(&'{') => {
iter.next();
// TODO: Feedback if closing brace is missing.
let mut sequence = String::new();
let terminated = loop {
match iter.peek() {
Some('}') => {
iter.next();
break true;
}
};
Some(&c) if c.is_ascii_hexdigit() => {
iter.next();
sequence.push(c);
}
_ => break false,
}
};
if let Some(c) = hex_to_char(&sequence) {
out.push(c);
} else {
// TODO: Feedback that escape sequence is wrong.
if let Some(c) = hex_to_char(&sequence) {
out.push(c);
} else {
out.push_str("\\u{");
out.push_str(&sequence);
if terminated {
out.push('}');
}
out.push_str("\\u{");
out.push_str(&sequence);
if terminated {
out.push('}');
}
}
Some('n') => out.push('\n'),
Some('t') => out.push('\t'),
Some(c) => {
out.push('\\');
out.push(c);
}
None => out.push('\\'),
}
} else {
out.push(c);
other => {
out.push('\\');
out.extend(other);
}
}
}