Files
wehub-resource-sync 41cb1c0170
OpenSSF Scorecard / scorecard (push) Failing after 0s
DCO / dco (push) Failing after 0s
CodeQL SAST / analyze (push) Failing after 1s
Deploy Pages / deploy (push) Failing after 1s
chore: import upstream snapshot with attribution
2026-07-13 12:28:05 +08:00

532 lines
14 KiB
C
Generated

#include "tree_sitter/alloc.h"
#include "tree_sitter/array.h"
#include "tree_sitter/parser.h"
#include <wctype.h>
// #define DEBUG
#ifdef DEBUG
#define LOG(...) fprintf(stderr, __VA_ARGS__)
#else
#define LOG(...)
#endif
enum TokenType {
AUTOMATIC_SEMICOLON,
INDENT,
OUTDENT,
SIMPLE_STRING_START,
SIMPLE_STRING_MIDDLE,
SIMPLE_MULTILINE_STRING_START,
INTERPOLATED_STRING_MIDDLE,
INTERPOLATED_MULTILINE_STRING_MIDDLE,
RAW_STRING_START,
RAW_STRING_MIDDLE,
RAW_STRING_MULTILINE_MIDDLE,
SINGLE_LINE_STRING_END,
MULTILINE_STRING_END,
ELSE,
CATCH,
FINALLY,
EXTENDS,
DERIVES,
WITH,
ERROR_SENTINEL
};
const char* token_name[] = {
"AUTOMATIC_SEMICOLON",
"INDENT",
"OUTDENT",
"SIMPLE_STRING_START",
"SIMPLE_STRING_MIDDLE",
"SIMPLE_MULTILINE_STRING_START",
"INTERPOLATED_STRING_MIDDLE",
"INTERPOLATED_MULTILINE_STRING_MIDDLE",
"RAW_STRING_MIDDLE",
"RAW_STRING_MULTILINE_MIDDLE",
"SINGLE_LINE_STRING_END",
"MULTILINE_STRING_END",
"ELSE",
"CATCH",
"FINALLY",
"EXTENDS",
"DERIVES",
"WITH",
"ERROR_SENTINEL"
};
typedef struct {
Array(int16_t) indents;
int16_t last_indentation_size;
int16_t last_newline_count;
int16_t last_column;
} Scanner;
void *tree_sitter_scala_external_scanner_create() {
Scanner *scanner = ts_calloc(1, sizeof(Scanner));
array_init(&scanner->indents);
scanner->last_indentation_size = -1;
scanner->last_column = -1;
return scanner;
}
void tree_sitter_scala_external_scanner_destroy(void *payload) {
Scanner *scanner = payload;
array_delete(&scanner->indents);
ts_free(scanner);
}
unsigned tree_sitter_scala_external_scanner_serialize(void *payload, char *buffer) {
Scanner *scanner = (Scanner*)payload;
if ((scanner->indents.size + 3) * sizeof(int16_t) > TREE_SITTER_SERIALIZATION_BUFFER_SIZE) {
return 0;
}
size_t size = 0;
memcpy(buffer + size, &scanner->last_indentation_size, sizeof(int16_t));
size += sizeof(int16_t);
memcpy(buffer + size, &scanner->last_newline_count, sizeof(int16_t));
size += sizeof(int16_t);
memcpy(buffer + size, &scanner->last_column, sizeof(int16_t));
size += sizeof(int16_t);
for (unsigned i = 0; i < scanner->indents.size; i++) {
memcpy(buffer + size, &scanner->indents.contents[i], sizeof(int16_t));
size += sizeof(int16_t);
}
return size;
}
void tree_sitter_scala_external_scanner_deserialize(void *payload, const char *buffer,
unsigned length) {
Scanner *scanner = (Scanner*)payload;
array_clear(&scanner->indents);
scanner->last_indentation_size = -1;
scanner->last_column = -1;
scanner->last_newline_count = 0;
if (length == 0) {
return;
}
size_t size = 0;
scanner->last_indentation_size = *(int16_t *)&buffer[size];
size += sizeof(int16_t);
scanner->last_newline_count = *(int16_t *)&buffer[size];
size += sizeof(int16_t);
scanner->last_column = *(int16_t *)&buffer[size];
size += sizeof(int16_t);
while (size < length) {
array_push(&scanner->indents, *(int16_t *)&buffer[size]);
size += sizeof(int16_t);
}
assert(size == length);
}
static inline void advance(TSLexer *lexer) { lexer->advance(lexer, false); }
static inline void skip(TSLexer *lexer) { lexer->advance(lexer, true); }
// We enumerate 3 types of strings that we need to handle differently:
// 1. Simple strings, `"..."` or `"""..."""`
// 2. Interpolated strings, `s"..."` or `f"..."` or `foo"..."` or foo"""...""".
// 3. Raw strings, `raw"..."`
typedef enum {
STRING_MODE_SIMPLE,
STRING_MODE_INTERPOLATED,
STRING_MODE_RAW
} StringMode;
static bool scan_string_content(TSLexer *lexer, bool is_multiline, StringMode string_mode) {
LOG("scan_string_content(%d, %d, %c)\n", is_multiline, string_mode, lexer->lookahead);
unsigned closing_quote_count = 0;
for (;;) {
if (lexer->lookahead == '"') {
advance(lexer);
closing_quote_count++;
if (!is_multiline) {
lexer->result_symbol = SINGLE_LINE_STRING_END;
lexer->mark_end(lexer);
return true;
}
if (closing_quote_count >= 3 && lexer->lookahead != '"') {
lexer->result_symbol = MULTILINE_STRING_END;
lexer->mark_end(lexer);
return true;
}
} else if (lexer->lookahead == '$' && string_mode != STRING_MODE_SIMPLE) {
switch (string_mode) {
case STRING_MODE_INTERPOLATED:
lexer->result_symbol = is_multiline ? INTERPOLATED_MULTILINE_STRING_MIDDLE : INTERPOLATED_STRING_MIDDLE;
break;
case STRING_MODE_RAW:
lexer->result_symbol = is_multiline ? RAW_STRING_MULTILINE_MIDDLE : RAW_STRING_MIDDLE;
break;
default:
assert(false);
}
lexer->mark_end(lexer);
return true;
} else {
closing_quote_count = 0;
if (lexer->lookahead == '\\') {
// Multiline strings ignore escape sequences
if (is_multiline || string_mode == STRING_MODE_RAW) {
// FIXME: In raw string mode, we have to jump over escaped quotes.
advance(lexer);
// In single-line raw strings, `\"` is not translated to `"`, but it also does
// not close the string. Likewise, `\\` is not translated to `\`, but it does
// stop the second `\` from stopping a double-quote from closing the string.
if (!is_multiline && string_mode == STRING_MODE_RAW &&
(lexer->lookahead == '"' || lexer->lookahead == '\\')) {
advance(lexer);
}
} else {
lexer->result_symbol = string_mode == STRING_MODE_SIMPLE ? SIMPLE_STRING_MIDDLE : INTERPOLATED_STRING_MIDDLE;
lexer->mark_end(lexer);
return true;
}
// During error recovery and dynamic precedence resolution, the external
// scanner will be invoked with all valid_symbols set to true, which means
// we will be asked to scan a string token when we are not actually in a
// string context. Here we detect these cases and return false.
} else if (lexer->lookahead == '\n' && !is_multiline) {
return false;
} else if (lexer->eof(lexer)) {
return false;
} else {
advance(lexer);
}
}
}
}
static bool detect_comment_start(TSLexer *lexer) {
lexer->mark_end(lexer);
// Comments should not affect indentation
if (lexer->lookahead == '/') {
advance(lexer);
if (lexer->lookahead == '/' || lexer -> lookahead == '*') {
return true;
}
}
return false;
}
static bool scan_word(TSLexer *lexer, const char* const word) {
for (uint8_t i = 0; word[i] != '\0'; i++) {
if (lexer->lookahead != word[i]) {
return false;
}
advance(lexer);
}
return !iswalnum(lexer->lookahead);
}
static inline void debug_indents(Scanner *scanner) {
LOG(" indents(%d): ", scanner->indents.size);
for (unsigned i = 0; i < scanner->indents.size; i++) {
LOG("%d ", scanner->indents.contents[i]);
}
LOG("\n");
}
bool tree_sitter_scala_external_scanner_scan(void *payload, TSLexer *lexer,
const bool *valid_symbols) {
#ifdef DEBUG
{
if (valid_symbols[ERROR_SENTINEL]) {
LOG("entering tree_sitter_scala_external_scanner_scan. ERROR_SENTINEL is valid\n");
} else {
char debug_str[1024] = "entering tree_sitter_scala_external_scanner_scan valid symbols: ";
for (unsigned i = 0; i < ERROR_SENTINEL; i++) {
if (valid_symbols[i]) {
strcat(debug_str, token_name[i]);
strcat(debug_str, ", ");
}
}
strcat(debug_str, "\n");
LOG("%s", debug_str);
}
}
#endif
Scanner *scanner = (Scanner *)payload;
int16_t prev = scanner->indents.size > 0 ? *array_back(&scanner->indents) : -1;
int16_t newline_count = 0;
int16_t indentation_size = 0;
while (iswspace(lexer->lookahead)) {
if (lexer->lookahead == '\n') {
newline_count++;
indentation_size = 0;
}
else {
indentation_size++;
}
skip(lexer);
}
// Before advancing the lexer, check if we can double outdent
if (
valid_symbols[OUTDENT] &&
(
lexer->lookahead == 0 ||
(
prev != -1 &&
(
lexer->lookahead == ')' ||
lexer->lookahead == ']' ||
lexer->lookahead == '}'
)
) ||
(
scanner->last_indentation_size != -1 &&
prev != -1 &&
scanner->last_indentation_size < prev
)
)
) {
if (scanner->indents.size > 0) {
array_pop(&scanner->indents);
}
LOG(" pop\n");
LOG(" OUTDENT\n");
lexer->result_symbol = OUTDENT;
return true;
}
scanner->last_indentation_size = -1;
if (
valid_symbols[INDENT] &&
newline_count > 0 &&
(
scanner->indents.size == 0 ||
indentation_size > *array_back(&scanner->indents)
)
) {
if (detect_comment_start(lexer)) {
return false;
}
array_push(&scanner->indents, indentation_size);
lexer->result_symbol = INDENT;
LOG(" INDENT\n");
return true;
}
// This saves the indentation_size and newline_count so it can be used
// in subsequent calls for multiple outdent or auto-semicolon.
if (valid_symbols[OUTDENT] &&
(lexer->lookahead == 0 ||
(
newline_count > 0 &&
prev != -1 &&
indentation_size < prev
)
)
) {
if (scanner->indents.size > 0) {
array_pop(&scanner->indents);
}
LOG(" pop\n");
LOG(" OUTDENT\n");
lexer->result_symbol = OUTDENT;
lexer->mark_end(lexer);
if (detect_comment_start(lexer)) {
return false;
}
scanner->last_indentation_size = indentation_size;
scanner->last_newline_count = newline_count;
if (lexer->eof(lexer)) {
scanner->last_column = -1;
} else {
scanner->last_column = (int16_t)lexer->get_column(lexer);
}
return true;
}
// Recover newline_count from the outdent reset
bool is_eof = lexer->eof(lexer);
if (
(
scanner->last_newline_count > 0 &&
(is_eof && scanner->last_column == -1)
) ||
(!is_eof && lexer->get_column(lexer) == (uint32_t)scanner->last_column)
) {
newline_count += scanner->last_newline_count;
}
scanner->last_newline_count = 0;
if (valid_symbols[AUTOMATIC_SEMICOLON] && newline_count > 0) {
// AUTOMATIC_SEMICOLON should not be issued in the middle of expressions
// Thus, we exit this branch when encountering comments, else/catch clauses, etc.
lexer->mark_end(lexer);
lexer->result_symbol = AUTOMATIC_SEMICOLON;
// Probably, a multi-line field expression, e.g.
// a
// .b
// .c
if (lexer->lookahead == '.') {
return false;
}
// Single-line and multi-line comments
if (lexer->lookahead == '/') {
advance(lexer);
if (lexer->lookahead == '/') {
return false;
}
if (lexer->lookahead == '*') {
advance(lexer);
while (!lexer->eof(lexer)) {
if (lexer->lookahead == '*') {
advance(lexer);
if (lexer->lookahead == '/') {
advance(lexer);
break;
}
} else {
advance(lexer);
}
}
while (iswspace(lexer->lookahead)) {
if (lexer->lookahead == '\n' || lexer->lookahead == '\r') {
return false;
}
skip(lexer);
}
// If some code is present at the same line after comment end,
// we should still produce AUTOMATIC_SEMICOLON, e.g. in
// val a = 1
// /* comment */ val b = 2
return true;
}
}
if (valid_symbols[ELSE]) {
return !scan_word(lexer, "else");
}
if (valid_symbols[CATCH]) {
if (scan_word(lexer, "catch")) {
return false;
}
}
if (valid_symbols[FINALLY]) {
if (scan_word(lexer, "finally")) {
return false;
}
}
if (valid_symbols[EXTENDS]) {
if (scan_word(lexer, "extends")) {
return false;
}
}
if (valid_symbols[WITH]) {
if (scan_word(lexer, "with")) {
return false;
}
}
if (valid_symbols[DERIVES]) {
if (scan_word(lexer, "derives")) {
return false;
}
}
if (newline_count > 1) {
return true;
}
return true;
}
while (iswspace(lexer->lookahead)) {
if (lexer->lookahead == '\n') {
newline_count++;
}
skip(lexer);
}
if (valid_symbols[SIMPLE_STRING_START] && lexer->lookahead == '"') {
advance(lexer);
lexer->mark_end(lexer);
if (lexer->lookahead == '"') {
advance(lexer);
if (lexer->lookahead == '"') {
advance(lexer);
lexer->result_symbol = SIMPLE_MULTILINE_STRING_START;
lexer->mark_end(lexer);
return true;
}
}
lexer->result_symbol = SIMPLE_STRING_START;
return true;
}
// We need two tokens of lookahead to determine if we are parsing a raw string,
// the `raw` and the `"`, which is why we need to do it in the external scanner.
if (valid_symbols[RAW_STRING_START] && lexer->lookahead == 'r') {
advance(lexer);
if (lexer->lookahead == 'a') {
advance(lexer);
if (lexer->lookahead == 'w') {
advance(lexer);
if (lexer->lookahead == '"') {
lexer->mark_end(lexer);
lexer->result_symbol = RAW_STRING_START;
return true;
}
}
}
}
if (valid_symbols[SIMPLE_STRING_MIDDLE]) {
return scan_string_content(lexer, false, STRING_MODE_SIMPLE);
}
if (valid_symbols[INTERPOLATED_STRING_MIDDLE]) {
return scan_string_content(lexer, false, STRING_MODE_INTERPOLATED);
}
if (valid_symbols[RAW_STRING_MIDDLE]) {
return scan_string_content(lexer, false, STRING_MODE_RAW);
}
if (valid_symbols[RAW_STRING_MULTILINE_MIDDLE]) {
return scan_string_content(lexer, true, STRING_MODE_RAW);
}
if (valid_symbols[INTERPOLATED_MULTILINE_STRING_MIDDLE]) {
return scan_string_content(lexer, true, STRING_MODE_INTERPOLATED);
}
// We still need to handle the simple multiline string case, but there is
// no `MULTILINE_STRING_MIDDLE` token, and `MULTILINE_STRING_END` is used
// by all three of simple raw, and interpolated multiline strings. So this
// check needs to come after the `INTERPOLATED_MULTILINE_STRING_MIDDLE` and
// `RAW_STRING_MULTILINE_MIDDLE` check, so that we can be sure we are in a
// simple multiline string context.
if (valid_symbols[MULTILINE_STRING_END]) {
return scan_string_content(lexer, true, STRING_MODE_SIMPLE);
}
return false;
}
//