- Added debounce time to requests from frontend

- Made editors full height & full width
- Applied ParsingException more consistently
This commit is contained in:
2024-09-17 21:16:24 +02:00
parent 74a141277e
commit 78ebafb409
9 changed files with 134 additions and 65 deletions

View File

@@ -4,16 +4,16 @@ public static class Report
{
public static Exception Error(ISourceLocation token, string message)
{
return new(FormatMessage(token, message));
return new ParsingException(FormatMessage(token, message));
}
public static void Halt(ISourceLocation token, string message)
{
throw new(FormatMessage(token, message));
throw new ParsingException(FormatMessage(token, message));
}
public static string FormatMessage(ISourceLocation token, string msg)
{
return $"{token.File}\n\t[line: {token.Line}, column: {token.Column}] {msg}";
}
}
}