extern/kalker
1
0
Fork 0
mirror of https://github.com/PaddiM8/kalker.git synced 2024-12-13 01:50:41 +01:00
Code Issues Packages Projects Releases Wiki Activity

Fixed syntax highlighting for 0x-style literals

Browse Source
This commit is contained in:
PaddiM8 2021-12-31 21:18:30 +01:00
parent 95a5718e38
commit a922eb84d5
2 changed files with 19 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
cli/src/repl.rs
View File

@ -97,6 +97,7 @@ impl Highlighter for LineHighlighter {
let reg = Regex::new(
r"(?x)
(?P<op>([+\-/*%^!×÷]|if|otherwise)) |
(?P<radix>0[box][a-zA-Z0-9]+) |
(?P<identifier>[^!-@\s_|^⌊⌋⌈⌉\[\]\{\}≠≥≤⁰¹²³⁴⁵⁶⁷⁸⁹⁺⁻⁼⁽⁾₀₁₂₃₄₅₆₇₈₉₊₋₌₍₎]+(_\d+)?)",
)
.unwrap();

23
web/src/KalkCalculator.svelte
View File

@ -127,7 +127,7 @@
const [result, success] = calculate(kalk, input);
output = success
? highlight(result)[0]
? highlight(result, true)[0]
: `<span style="color: ${errorcolor}">${result}</span>`;
}
@ -274,13 +274,26 @@
if (autofocus) element.focus();
}
function highlight(input: string): [string, number] {
function highlight(
input: string,
isOutput: boolean = false
): [string, number] {
if (!input) return ["", 0];
let result = input;
let offset = 0;
result = result.replace(
/(?<comparison>(!=|[<>]=?))|(?<html>[<>&]|(\n\s*\}?|\s+))|(?<op>([+\-/*%^!≈×÷]|if|otherwise)|(?<identifier>[^!-@\s_|^⌊⌋⌈⌉≈\[\]\{\}≠≥≤⁰¹²³⁴⁵⁶⁷⁸⁹⁺⁻⁼⁽⁾₀₁₂₃₄₅₆₇₈₉₊₋₌₍₎]+(_\d+)?)\(?)/g,
(substring, _, comparison, _2, html, _3, op, identifier) => {
/(?<radix>0[box][a-zA-Z0-9]+)|(?<comparison>(!=|[<>]=?))|(?<html>[<>&]|(\n\s*\}?|\s+))|(?<op>([+\-/*%^!≈×÷]|if|otherwise)|(?<identifier>[^!-@\s_|^⌊⌋⌈⌉≈\[\]\{\}≠≥≤⁰¹²³⁴⁵⁶⁷⁸⁹⁺⁻⁼⁽⁾₀₁₂₃₄₅₆₇₈₉₊₋₌₍₎]+(_\d+)?)\(?)/g,
(
substring,
_radix,
_,
comparison,
_2,
html,
_3,
op,
identifier
) => {
if (comparison) {
if (substring == "<=") return "≤";
if (substring == ">=") return "≥";
@ -296,7 +309,7 @@
return "<br />}";
} else {
if (!substring.match(/\n\s\s/)) offset += 2;
return "<br />&nbsp;&nbsp;";
return isOutput ? "<br />" : "<br />&nbsp;&nbsp;";
}
}
if (substring.match(/\s+/)) {