Compare commits

...

7 Commits

8 changed files with 716 additions and 258 deletions

View File

@ -6,35 +6,47 @@
global Code_Index global_code_index = {}; global Code_Index global_code_index = {};
function bool
delims_are_open_close_pair(Code_Index_Scope_Delim_Kind a, Code_Index_Scope_Delim_Kind b)
{
if (a == CodeIndexScopeDelim_ScopeOpen) return b == CodeIndexScopeDelim_ScopeClose;
if (a == CodeIndexScopeDelim_ParenOpen) return b == CodeIndexScopeDelim_ParenClose;
if (a == CodeIndexScopeDelim_BracketOpen) return b == CodeIndexScopeDelim_BracketClose;
return false;
}
//////////////////////////////// ////////////////////////////////
// NOTE(allen): Lookups // NOTE(allen): Lookups
// TODO(allen): accelerator for these nest lookups?
// Looks like the only one I ever actually use is the file one, not the array one.
function Code_Index_Nest* function Code_Index_Nest*
code_index_get_nest_(Code_Index_Nest_Ptr_Array *array, i64 pos){ code_index_get_nest_from_list(Code_Index_Nest_List *list, i64 pos)
{
Code_Index_Nest *result = 0; Code_Index_Nest *result = 0;
i32 count = array->count; i32 count = list->count;
Code_Index_Nest **nest_ptrs = array->ptrs; Code_Index_Nest *nest_at = list->first;
for (i32 i = 0; i < count; i += 1){ for (i32 i = 0; i < count; i += 1){
Code_Index_Nest *nest = nest_ptrs[i]; if (nest_at->open.max <= pos && pos <= nest_at->close.min){
if (nest->open.max <= pos && pos <= nest->close.min){ Code_Index_Nest *sub_nest = code_index_get_nest_from_list(&nest_at->nest_list, pos);
Code_Index_Nest *sub_nest = code_index_get_nest_(&nest->nest_array, pos); if (sub_nest != 0)
if (sub_nest != 0){ {
result = sub_nest; result = sub_nest;
} }
else{ else
result = nest; {
result = nest_at;
} }
break; break;
} }
nest_at = nest_at->next;
} }
return(result); return(result);
} }
function Code_Index_Nest* function Code_Index_Nest*
code_index_get_nest(Code_Index_File *file, i64 pos){ code_index_get_nest(Code_Index_File *file, i64 pos)
return(code_index_get_nest_(&file->nest_array, pos)); {
Code_Index_Nest* result = code_index_get_nest_from_list(&file->nest_list, pos);
return result;
} }
function Code_Index_Note_List* function Code_Index_Note_List*
@ -97,36 +109,6 @@ code_index_push_nest(Code_Index_Nest_List *list, Code_Index_Nest *nest){
list->count += 1; list->count += 1;
} }
function Code_Index_Nest_Ptr_Array
code_index_nest_ptr_array_from_list(Arena *arena, Code_Index_Nest_List *list){
Code_Index_Nest_Ptr_Array array = {};
array.ptrs = push_array_zero(arena, Code_Index_Nest*, list->count);
array.count = list->count;
i32 counter = 0;
for (Code_Index_Nest *node = list->first;
node != 0;
node = node->next){
array.ptrs[counter] = node;
counter += 1;
}
return(array);
}
function Code_Index_Note_Ptr_Array
code_index_note_ptr_array_from_list(Arena *arena, Code_Index_Note_List *list){
Code_Index_Note_Ptr_Array array = {};
array.ptrs = push_array_zero(arena, Code_Index_Note*, list->count);
array.count = list->count;
i32 counter = 0;
for (Code_Index_Note *node = list->first;
node != 0;
node = node->next){
array.ptrs[counter] = node;
counter += 1;
}
return(array);
}
function void function void
code_index_lock(void){ code_index_lock(void){
system_mutex_acquire(global_code_index.mutex); system_mutex_acquire(global_code_index.mutex);
@ -196,21 +178,30 @@ code_index_erase_file(Buffer_ID buffer){
} }
} }
function Code_Index_File* function Code_Index_File_Storage*
code_index_get_file(Buffer_ID buffer){ code_index_get_file_storage(Buffer_ID buffer){
Code_Index_File *result = 0; Code_Index_File_Storage *result = 0;
Table_Lookup lookup = table_lookup(&global_code_index.buffer_to_index_file, buffer); Table_Lookup lookup = table_lookup(&global_code_index.buffer_to_index_file, buffer);
if (lookup.found_match){ if (lookup.found_match){
u64 val = 0; u64 val = 0;
table_read(&global_code_index.buffer_to_index_file, lookup, &val); table_read(&global_code_index.buffer_to_index_file, lookup, &val);
Code_Index_File_Storage *storage = (Code_Index_File_Storage*)IntAsPtr(val); result = (Code_Index_File_Storage*)IntAsPtr(val);
result = storage->file;
} }
return(result); return(result);
} }
function Code_Index_File*
code_index_get_file(Buffer_ID buffer)
{
Code_Index_File *result = 0;
Code_Index_File_Storage *storage = code_index_get_file_storage(buffer);
if (storage) result = storage->file;
return result;
}
function void function void
index_shift(i64 *ptr, Range_i64 old_range, u64 new_size){ index_shift(i64 *ptr, Range_i64 old_range, u64 new_size)
{
i64 i = *ptr; i64 i = *ptr;
if (old_range.min <= i && i < old_range.max){ if (old_range.min <= i && i < old_range.max){
*ptr = old_range.first; *ptr = old_range.first;
@ -221,27 +212,62 @@ index_shift(i64 *ptr, Range_i64 old_range, u64 new_size){
} }
function void function void
code_index_shift(Code_Index_Nest_Ptr_Array *array, code_index_shift_list(Code_Index_Nest_List *list, Range_i64 old_range, u64 new_size)
Range_i64 old_range, u64 new_size){ {
i32 count = array->count; i32 count = list->count;
Code_Index_Nest **nest_ptr = array->ptrs; Code_Index_Nest *nest = list->first;
for (i32 i = 0; i < count; i += 1, nest_ptr += 1){ for (i32 i = 0; i < count; i += 1, nest = nest->next)
Code_Index_Nest *nest = *nest_ptr; {
index_shift(&nest->open.min, old_range, new_size); index_shift(&nest->open.min, old_range, new_size);
index_shift(&nest->open.max, old_range, new_size); index_shift(&nest->open.max, old_range, new_size);
if (nest->is_closed){ if (nest->is_closed)
{
index_shift(&nest->close.min, old_range, new_size); index_shift(&nest->close.min, old_range, new_size);
index_shift(&nest->close.max, old_range, new_size); index_shift(&nest->close.max, old_range, new_size);
} }
code_index_shift(&nest->nest_array, old_range, new_size); code_index_shift_list(&nest->nest_list, old_range, new_size);
} }
} }
function void function void
code_index_shift(Code_Index_File *file, Range_i64 old_range, u64 new_size){ code_index_shift_list(Code_Index_Scope_Delim_List *list, Range_i64 old_range, u64 new_size)
code_index_shift(&file->nest_array, old_range, new_size); {
i32 count = list->count;
Code_Index_Scope_Delim *delim = list->first;
for (i32 i = 0; i < count; i += 1, delim = delim->next)
{
if (old_range.min == old_range.max)
{
if (old_range.max <= delim->pos.min)
{
delim->pos.min = delim->pos.min + new_size - (old_range.max - old_range.min);
delim->pos.max = delim->pos.max + new_size - (old_range.max - old_range.min);
}
}
else
{
if (old_range.min <= delim->pos.min && delim->pos.min < old_range.max) {
delim->pos.min = old_range.first;
} else if (old_range.max <= delim->pos.min) {
delim->pos.min = delim->pos.min + new_size - (old_range.max - old_range.min);
}
if (old_range.min < delim->pos.max && delim->pos.max <= old_range.max) {
delim->pos.max = old_range.first;
} else if (old_range.max <= delim->pos.max) {
delim->pos.max = delim->pos.max + new_size - (old_range.max - old_range.min);
}
}
}
} }
function void
code_index_shift(Code_Index_File *file, Range_i64 old_range, u64 new_size)
{
// TODO(PS): @DontShiftNestList - This is unnecessary now that nest_list just gets fully rebuilt each edit
code_index_shift_list(&file->nest_list, old_range, new_size);
code_index_shift_list(&file->scope_delim_list, old_range, new_size);
}
//////////////////////////////// ////////////////////////////////
// NOTE(allen): Parser Helpers // NOTE(allen): Parser Helpers
@ -577,8 +603,6 @@ generic_parse_preprocessor(Code_Index_File *index, Generic_Parse_State *state){
generic_parse_inc(state); generic_parse_inc(state);
} }
result->nest_array = code_index_nest_ptr_array_from_list(state->arena, &result->nest_list);
state->in_preprocessor = false; state->in_preprocessor = false;
return(result); return(result);
@ -657,8 +681,6 @@ generic_parse_scope(Code_Index_File *index, Generic_Parse_State *state){
} }
} }
result->nest_array = code_index_nest_ptr_array_from_list(state->arena, &result->nest_list);
state->scope_counter -= 1; state->scope_counter -= 1;
return(result); return(result);
@ -739,8 +761,6 @@ generic_parse_paren(Code_Index_File *index, Generic_Parse_State *state){
generic_parse_inc(state); generic_parse_inc(state);
} }
result->nest_array = code_index_nest_ptr_array_from_list(state->arena, &result->nest_list);
state->paren_counter -= 1; state->paren_counter -= 1;
return(result); return(result);
@ -803,11 +823,6 @@ generic_parse_full_input_breaks(Code_Index_File *index, Generic_Parse_State *sta
} }
} }
if (result){
index->nest_array = code_index_nest_ptr_array_from_list(state->arena, &index->nest_list);
index->note_array = code_index_note_ptr_array_from_list(state->arena, &index->note_list);
}
return(result); return(result);
} }

View File

@ -7,17 +7,37 @@
#if !defined(FCODER_CODE_INDEX_H) #if !defined(FCODER_CODE_INDEX_H)
#define FCODER_CODE_INDEX_H #define FCODER_CODE_INDEX_H
typedef i32 Code_Index_Scope_Delim_Kind;
enum {
CodeIndexScopeDelim_ScopeOpen,
CodeIndexScopeDelim_ScopeClose,
CodeIndexScopeDelim_ParenOpen,
CodeIndexScopeDelim_ParenClose,
CodeIndexScopeDelim_BracketOpen,
CodeIndexScopeDelim_BracketClose
};
struct Code_Index_Scope_Delim {
Code_Index_Scope_Delim_Kind kind;
i32 depth;
Range_i64 pos;
Code_Index_Scope_Delim* next;
Code_Index_Scope_Delim* prev;
};
struct Code_Index_Scope_Delim_List {
Code_Index_Scope_Delim* first;
Code_Index_Scope_Delim* last;
i32 count;
};
struct Code_Index_Nest_List{ struct Code_Index_Nest_List{
struct Code_Index_Nest *first; struct Code_Index_Nest *first;
struct Code_Index_Nest *last; struct Code_Index_Nest *last;
i32 count; i32 count;
}; };
struct Code_Index_Nest_Ptr_Array{
struct Code_Index_Nest **ptrs;
i32 count;
};
typedef i32 Code_Index_Nest_Kind; typedef i32 Code_Index_Nest_Kind;
enum{ enum{
CodeIndexNest_Scope, CodeIndexNest_Scope,
@ -29,7 +49,10 @@ enum{
struct Code_Index_Nest{ struct Code_Index_Nest{
Code_Index_Nest *next; Code_Index_Nest *next;
// TODO(PS): kind and delim are redundant, I don't want to break virtual indentation just yet
// so Im leaving them both here.
Code_Index_Nest_Kind kind; Code_Index_Nest_Kind kind;
Code_Index_Scope_Delim_Kind delim;
b32 is_closed; b32 is_closed;
Range_i64 open; Range_i64 open;
Range_i64 close; Range_i64 close;
@ -38,7 +61,6 @@ struct Code_Index_Nest{
Code_Index_Nest *parent; Code_Index_Nest *parent;
Code_Index_Nest_List nest_list; Code_Index_Nest_List nest_list;
Code_Index_Nest_Ptr_Array nest_array;
}; };
typedef i64 Code_Index_Note_Kind; typedef i64 Code_Index_Note_Kind;
@ -67,17 +89,13 @@ struct Code_Index_Note_List{
i32 count; i32 count;
}; };
struct Code_Index_Note_Ptr_Array{
Code_Index_Note **ptrs;
i32 count;
};
struct Code_Index_File{ struct Code_Index_File{
Code_Index_Scope_Delim_List scope_delim_list;
Code_Index_Nest_List nest_list; Code_Index_Nest_List nest_list;
Code_Index_Nest_Ptr_Array nest_array;
Code_Index_Note_List note_list; Code_Index_Note_List note_list;
Code_Index_Note_Ptr_Array note_array;
Buffer_ID buffer; Buffer_ID buffer;
Code_Index_Scope_Delim* scope_delim_free;
Code_Index_Note* note_free;
}; };
struct Code_Index_File_Storage{ struct Code_Index_File_Storage{

View File

@ -13,24 +13,24 @@ CUSTOM_UI_COMMAND_SIG(jump_to_definition)
CUSTOM_DOC("List all definitions in the code index and jump to one chosen by the user.") CUSTOM_DOC("List all definitions in the code index and jump to one chosen by the user.")
{ {
char *query = "Definition:"; char *query = "Definition:";
Scratch_Block scratch(app); Scratch_Block scratch(app);
Lister_Block lister(app, scratch); Lister_Block lister(app, scratch);
lister_set_query(lister, query); lister_set_query(lister, query);
lister_set_default_handlers(lister); lister_set_default_handlers(lister);
code_index_lock(); code_index_lock();
for (Buffer_ID buffer = get_buffer_next(app, 0, Access_Always); for (Buffer_ID buffer = get_buffer_next(app, 0, Access_Always);
buffer != 0; buffer != 0;
buffer = get_buffer_next(app, buffer, Access_Always)){ buffer = get_buffer_next(app, buffer, Access_Always)){
Code_Index_File *file = code_index_get_file(buffer); Code_Index_File *file = code_index_get_file(buffer);
if (file != 0){ if (file != 0){
for (i32 i = 0; i < file->note_array.count; i += 1){ Code_Index_Note* note = file->note_list.first;
Code_Index_Note *note = file->note_array.ptrs[i]; for (i32 i = 0; i < file->note_list.count; i += 1, note = note->next){
Tiny_Jump *jump = push_array(scratch, Tiny_Jump, 1); Tiny_Jump *jump = push_array(scratch, Tiny_Jump, 1);
jump->buffer = buffer; jump->buffer = buffer;
jump->pos = note->pos.first; jump->pos = note->pos.first;
String_Const_u8 sort = {}; String_Const_u8 sort = {};
switch (note->note_kind){ switch (note->note_kind){
case CodeIndexNote_Type: case CodeIndexNote_Type:
@ -51,13 +51,13 @@ CUSTOM_DOC("List all definitions in the code index and jump to one chosen by the
} }
} }
code_index_unlock(); code_index_unlock();
Lister_Result l_result = run_lister(app, lister); Lister_Result l_result = run_lister(app, lister);
Tiny_Jump result = {}; Tiny_Jump result = {};
if (!l_result.canceled && l_result.user_data != 0){ if (!l_result.canceled && l_result.user_data != 0){
block_copy_struct(&result, (Tiny_Jump*)l_result.user_data); block_copy_struct(&result, (Tiny_Jump*)l_result.user_data);
} }
if (result.buffer != 0){ if (result.buffer != 0){
View_ID view = get_this_ctx_view(app, Access_Always); View_ID view = get_this_ctx_view(app, Access_Always);
point_stack_push_view_cursor(app, view); point_stack_push_view_cursor(app, view);
@ -68,31 +68,36 @@ CUSTOM_DOC("List all definitions in the code index and jump to one chosen by the
CUSTOM_UI_COMMAND_SIG(jump_to_definition_at_cursor) CUSTOM_UI_COMMAND_SIG(jump_to_definition_at_cursor)
CUSTOM_DOC("Jump to the first definition in the code index matching an identifier at the cursor") CUSTOM_DOC("Jump to the first definition in the code index matching an identifier at the cursor")
{ {
View_ID view = get_active_view(app, Access_Visible); View_ID view = get_active_view(app, Access_Visible);
if (view != 0){ if (view != 0)
Scratch_Block scratch(app); {
String_Const_u8 query = push_token_or_word_under_active_cursor(app, scratch); Scratch_Block scratch(app);
String_Const_u8 query = push_token_or_word_under_active_cursor(app, scratch);
code_index_lock();
for (Buffer_ID buffer = get_buffer_next(app, 0, Access_Always); code_index_lock();
buffer != 0; for (Buffer_ID buffer = get_buffer_next(app, 0, Access_Always);
buffer = get_buffer_next(app, buffer, Access_Always)){ buffer != 0;
Code_Index_File *file = code_index_get_file(buffer); buffer = get_buffer_next(app, buffer, Access_Always)
if (file != 0){ ){
for (i32 i = 0; i < file->note_array.count; i += 1){ Code_Index_File *file = code_index_get_file(buffer);
Code_Index_Note *note = file->note_array.ptrs[i]; if (file != 0)
if (string_match(note->text, query)){ {
point_stack_push_view_cursor(app, view); Code_Index_Note *note = file->note_list.first;
jump_to_location(app, view, buffer, note->pos.first); for (i32 i = 0; i < file->note_list.count; i += 1, note = note->next)
goto done; {
} if (string_match(note->text, query))
} {
} point_stack_push_view_cursor(app, view);
jump_to_location(app, view, buffer, note->pos.first);
goto done;
}
} }
done:; }
code_index_unlock();
} }
done:;
code_index_unlock();
}
} }
global String_Const_u8 code_index_note_strs[] = { global String_Const_u8 code_index_note_strs[] = {
@ -122,20 +127,20 @@ lister_add_from_buffer_code_index_filtered(Lister* lister, Buffer_ID buffer, Are
{ {
Code_Index_File* file_notes = code_index_get_file(buffer); Code_Index_File* file_notes = code_index_get_file(buffer);
if (!file_notes) return; if (!file_notes) return;
for (Code_Index_Note* note = file_notes->note_list.first; for (Code_Index_Note* note = file_notes->note_list.first;
note != 0; note != 0;
note = note->next) note = note->next)
{ {
if (!note_is_of_kind(kinds, kinds_count, note)) continue; if (!note_is_of_kind(kinds, kinds_count, note)) continue;
if (filter_all_but_last && note->next_in_hash) continue; if (filter_all_but_last && note->next_in_hash) continue;
String_Const_u8 sort = code_index_note_strs[note->note_kind]; String_Const_u8 sort = code_index_note_strs[note->note_kind];
Tiny_Jump *jump = push_array(scratch, Tiny_Jump, 1); Tiny_Jump *jump = push_array(scratch, Tiny_Jump, 1);
jump->buffer = buffer; jump->buffer = buffer;
jump->pos = note->pos.start; jump->pos = note->pos.start;
lister_add_item(lister, note->text, sort, jump, 0); lister_add_item(lister, note->text, sort, jump, 0);
} }
} }
@ -148,7 +153,7 @@ run_jump_lister(Application_Links* app, Lister* lister)
if (!l_result.canceled && l_result.user_data != 0){ if (!l_result.canceled && l_result.user_data != 0){
block_copy_struct(&result, (Tiny_Jump*)l_result.user_data); block_copy_struct(&result, (Tiny_Jump*)l_result.user_data);
} }
if (result.buffer != 0) if (result.buffer != 0)
{ {
View_ID view = get_this_ctx_view(app, Access_Always); View_ID view = get_this_ctx_view(app, Access_Always);
@ -164,7 +169,7 @@ lister_search_filtered(Application_Links* app, char* query, Code_Index_Note_Kind
Lister_Block lister(app, scratch); Lister_Block lister(app, scratch);
lister_set_query(lister, query); lister_set_query(lister, query);
lister_set_default_handlers(lister); lister_set_default_handlers(lister);
for (Buffer_ID buffer = get_buffer_next(app, 0, Access_Always); for (Buffer_ID buffer = get_buffer_next(app, 0, Access_Always);
buffer != 0; buffer = get_buffer_next(app, buffer, Access_Always)) buffer != 0; buffer = get_buffer_next(app, buffer, Access_Always))
{ {

View File

@ -144,7 +144,9 @@ BUFFER_EDIT_RANGE_SIG(custom_buffer_edit_range){
{ {
code_index_lock(); code_index_lock();
Code_Index_File *file = code_index_get_file(buffer_id); Code_Index_File *file = code_index_get_file(buffer_id);
if (file != 0) code_index_shift(file, old_range, range_size(new_range)); if (file != 0) {
code_index_shift(file, old_range, range_size(new_range));
}
code_index_unlock(); code_index_unlock();
} }
@ -387,6 +389,20 @@ function void custom_render_buffer(
// NOTE(allen): put the actual text on the actual screen // NOTE(allen): put the actual text on the actual screen
draw_text_layout_default(app, text_layout_id); draw_text_layout_default(app, text_layout_id);
// TEMP - highlight the node range of the last edit
if (use_tree_sitter_token_coloring) {
Managed_Scope scope = buffer_get_managed_scope(app, buffer);
Buffer_Tree_Sitter_Data* tree_data = scope_attachment(app, scope, buffer_tree_sitter_data_id, Buffer_Tree_Sitter_Data);
Range_i64 last_update_range = tree_data->last_update_node_range;
Rect_f32 range_min = text_layout_character_on_screen(app, text_layout_id, last_update_range.min);
Rect_f32 range_max = text_layout_character_on_screen(app, text_layout_id, last_update_range.max);
Rect_f32 range;
range.x0 = Min(range_min.x0, range_max.x0);
range.y0 = Min(range_min.y0, range_max.y0);
range.x1 = Max(range_min.x1, range_max.x1);
range.y1 = Max(range_min.y1, range_max.y1);
draw_rectangle(app, range, 0.f, 0x33FF00FF);
}
draw_set_clip(app, prev_clip); draw_set_clip(app, prev_clip);
} }

View File

@ -273,44 +273,6 @@ default_buffer_region(Application_Links *app, View_ID view_id, Rect_f32 region){
return(region); return(region);
} }
function void
recursive_nest_highlight(Application_Links *app, Text_Layout_ID layout_id, Range_i64 range,
Code_Index_Nest_Ptr_Array *array, i32 counter){
Code_Index_Nest **ptr = array->ptrs;
Code_Index_Nest **ptr_end = ptr + array->count;
for (;ptr < ptr_end; ptr += 1){
Code_Index_Nest *nest = *ptr;
if (!nest->is_closed){
break;
}
if (range.first <= nest->close.max){
break;
}
}
ARGB_Color argb = finalize_color(defcolor_text_cycle, counter);
for (;ptr < ptr_end; ptr += 1){
Code_Index_Nest *nest = *ptr;
if (range.max <= nest->open.min){
break;
}
paint_text_color(app, layout_id, nest->open, argb);
if (nest->is_closed){
paint_text_color(app, layout_id, nest->close, argb);
}
recursive_nest_highlight(app, layout_id, range, &nest->nest_array, counter + 1);
}
}
function void
recursive_nest_highlight(Application_Links *app, Text_Layout_ID layout_id, Range_i64 range,
Code_Index_File *file){
recursive_nest_highlight(app, layout_id, range, &file->nest_array, 0);
}
function void default_render_buffer( function void default_render_buffer(
Application_Links *app, Application_Links *app,
View_ID view_id, View_ID view_id,

View File

@ -206,6 +206,14 @@ tree_sitter_query_init(Application_Links* app, Buffer_ID buffer_id, TSQuery* que
return result; return result;
} }
function Tree_Sitter_Query_Cursor
tree_sitter_query_init(Application_Links* app, Buffer_ID buffer_id, TSQuery* query, TSNode first_node)
{
Tree_Sitter_Query_Cursor result = tree_sitter_query_init(app, buffer_id, query);
result.first_node = first_node;
return result;
}
function bool function bool
tree_sitter_query_continue(Tree_Sitter_Query_Cursor* cursor, TSQueryMatch* match, u32* capture_index) tree_sitter_query_continue(Tree_Sitter_Query_Cursor* cursor, TSQueryMatch* match, u32* capture_index)
{ {
@ -356,12 +364,70 @@ tree_sitter_node_to_range(TSNode node)
return result; return result;
} }
function Code_Index_Scope_Delim*
code_index_new_scope_delim(Code_Index_File* index, Arena* arena, Code_Index_Scope_Delim_Kind kind, Range_i64 range)
{
if (!index->scope_delim_free)
{
int count = 32;
Code_Index_Scope_Delim* arr = push_array_zero(arena, Code_Index_Scope_Delim, count);
for (int i = 0; i < count-1; i++) arr[i].next = &arr[i+1];
index->scope_delim_free = arr;
}
Code_Index_Scope_Delim *result = index->scope_delim_free;
index->scope_delim_free = result->next;
block_zero_struct(result);
result->kind = kind;
result->pos = range;
return result;
}
function void
code_index_scope_delim_insert(Code_Index_Scope_Delim_List* list, Code_Index_Scope_Delim* prev, Code_Index_Scope_Delim* delim)
{
if (!prev)
{
delim->next = list->first;
if (list->first) list->first->prev = delim;
else list->last = delim;
list->first = delim;
}
else
{
Code_Index_Scope_Delim* next = prev->next;
prev->next = delim;
delim->prev = prev;
delim->next = next;
if (next) next->prev = delim;
if (prev == list->last) list->last = delim;
}
list->count += 1;
}
function void
code_index_free_scope_delim(Code_Index_File* index, Code_Index_Scope_Delim* delim)
{
delim->next = index->scope_delim_free;
index->scope_delim_free = delim;
}
function Code_Index_Note* function Code_Index_Note*
code_index_new_note(Code_Index_File* index, Arena* arena, Code_Index_Note_Kind kind, Range_i64 range, Code_Index_Nest_Stack* parent) code_index_new_note(Code_Index_File* index, Arena* arena, Code_Index_Note_Kind kind, Range_i64 range, Code_Index_Nest_Stack* parent)
{ {
Code_Index_Note *result = push_array(arena, Code_Index_Note, 1); if (!index->note_free)
sll_queue_push(index->note_list.first, index->note_list.last, result); {
index->note_list.count += 1; int count = 32;
Code_Index_Note* arr = push_array_zero(arena, Code_Index_Note, count);
for (int i = 0; i < count-1; i++) arr[i].next = &arr[i+1];
index->note_free = arr;
}
Code_Index_Note *result = index->note_free;
index->note_free = result->next;
block_zero_struct(result);
result->file = index; result->file = index;
result->note_kind = kind; result->note_kind = kind;
result->pos = range; result->pos = range;
@ -369,10 +435,38 @@ code_index_new_note(Code_Index_File* index, Arena* arena, Code_Index_Note_Kind k
return result; return result;
} }
function void
code_index_note_insert(Code_Index_Note_List* list, Code_Index_Note* prev, Code_Index_Note* note)
{
if (!prev)
{
note->next = list->first;
if (!list->last) list->last = note;
list->first = note;
}
else
{
Code_Index_Note* next = prev->next;
prev->next = note;
note->next = next;
if (prev == list->last) list->last = note;
}
list->count += 1;
}
function void
code_index_free_note(Code_Index_File* index, Code_Index_Note* note)
{
block_zero_struct(note);
note->next = index->note_free;
index->note_free = note;
}
function Tree_Sitter_Code_Index_Update_State function Tree_Sitter_Code_Index_Update_State
tree_sitter_code_index_update_state_create( tree_sitter_code_index_update_state_create(
Application_Links* app, Application_Links* app,
Buffer_ID buffer_id, Buffer_ID buffer_id,
Code_Index_File_Storage* code_index_storage,
Arena* scratch Arena* scratch
){ ){
Tree_Sitter_Code_Index_Update_State state = {}; Tree_Sitter_Code_Index_Update_State state = {};
@ -380,23 +474,45 @@ tree_sitter_code_index_update_state_create(
state.buffer_id = buffer_id; state.buffer_id = buffer_id;
state.language = tree_sitter_language_for_buffer(app, state.buffer_id); state.language = tree_sitter_language_for_buffer(app, state.buffer_id);
if (!state.language) return state; if (!state.language) return state;
state.index_arena = make_arena_system(KB(16));
state.index = push_array_zero(&state.index_arena, Code_Index_File, 1); if (code_index_storage != 0)
{
state.index_arena = code_index_storage->arena;
state.index = code_index_storage->file;
} else {
state.index_arena = make_arena_system(KB(16));
state.index = push_array_zero(&state.index_arena, Code_Index_File, 1);
}
state.buffer_contents = push_whole_buffer(app, scratch, state.buffer_id); state.buffer_contents = push_whole_buffer(app, scratch, state.buffer_id);
state.query = tree_sitter_query_init(
app, state.buffer_id, state.language->queries.ptr[Tree_Sitter_Language_Query_Tags]
);
state.nest_stack_first = 0; state.nest_stack_first = 0;
state.nest_stack_last = 0; state.nest_stack_last = 0;
state.last_note = 0; state.last_note = 0;
state.last_note_match_id = max_u32; state.last_note_match_id = max_u32;
state.ok = true; state.ok = true;
/* Freeing all delims is undesired for incremental updates, and unnecessary if
we're working with a wholly new index. The same will be true for notes soon.
if (state.index->scope_delim_list.last) {
state.index->scope_delim_list.last->next = state.index->scope_delim_free;
}
state.index->scope_delim_free = state.index->scope_delim_list.first;
block_zero_struct(&state.index->scope_delim_list);
if (state.index->note_list.last) {
state.index->note_list.last->next = state.index->note_free;
}
state.index->note_free = state.index->note_list.first;
block_zero_struct(&state.index->note_list);
*/
return state; return state;
} }
function void function void
tree_sitter_code_index_update_process_query_match( tree_sitter_code_index_update_process_query_match(
Tree_Sitter_Code_Index_Update_State* state, Tree_Sitter_Code_Index_Update_State* state,
Tree_Sitter_Query_Cursor query,
TSQueryMatch query_match, TSQueryMatch query_match,
u32 capture_index, u32 capture_index,
Arena* scratch Arena* scratch
@ -407,63 +523,58 @@ tree_sitter_code_index_update_process_query_match(
Range_i64 type_range = tree_sitter_node_to_range(type_node); Range_i64 type_range = tree_sitter_node_to_range(type_node);
u32 length; u32 length;
const char* tmp = ts_query_capture_name_for_id(state->query.query, type_capture.index, &length); const char* tmp = ts_query_capture_name_for_id(query.query, type_capture.index, &length);
String_Const_u8 capture_name = SCu8((char*)tmp, length); String_Const_u8 capture_name = SCu8((char*)tmp, length);
if (string_match(capture_name, SCu8("scope_begin"))) if (string_match(capture_name, SCu8("scope_begin")) || string_match(capture_name, SCu8("scope_end")))
{ {
Code_Index_Nest* nest = push_array_zero(&state->index_arena, Code_Index_Nest, 1); Code_Index_Scope_Delim_Kind kind;
nest->kind = CodeIndexNest_Scope; String_Const_u8 delim_char = string_substring(state->buffer_contents, type_range);
nest->open = type_range; bool skip = false;
nest->close = Ii64(max_i64); if (delim_char.str[0] == '{') kind = CodeIndexScopeDelim_ScopeOpen;
nest->file = state->index; else if (delim_char.str[0] == '}') kind = CodeIndexScopeDelim_ScopeClose;
if (state->nest_stack_last != 0) else if (delim_char.str[0] == '(') kind = CodeIndexScopeDelim_ParenOpen;
else if (delim_char.str[0] == ')') kind = CodeIndexScopeDelim_ParenClose;
else if (delim_char.str[0] == '[') kind = CodeIndexScopeDelim_BracketOpen;
else if (delim_char.str[0] == ']') kind = CodeIndexScopeDelim_BracketClose;
else skip = true;
if (!skip)
{ {
nest->parent = state->nest_stack_last->nest; Code_Index_Scope_Delim* delim = code_index_new_scope_delim(
code_index_push_nest(&nest->parent->nest_list, nest); state->index, &state->index_arena, kind, type_range
);
code_index_scope_delim_insert(&state->index->scope_delim_list, state->last_delim, delim);
state->last_delim = delim;
} }
Code_Index_Nest_Stack* stack = push_array_zero(scratch, Code_Index_Nest_Stack, 1);
stack->nest = nest;
stack->prev = state->nest_stack_last;
stack->match_id = query_match.id;
if (state->nest_stack_last != 0) state->nest_stack_last->next = stack;
else state->nest_stack_first = stack;
state->nest_stack_last = stack;
}
else if (string_match(capture_name, SCu8("scope_end")))
{
Assert(state->nest_stack_last != 0);
Assert(state->nest_stack_last->match_id == query_match.id);
Code_Index_Nest* nest = state->nest_stack_last->nest;
nest->close = type_range;
nest->is_closed = true;
nest->nest_array = code_index_nest_ptr_array_from_list(&state->index_arena, &nest->nest_list);
if (nest->parent == 0) code_index_push_nest(&state->index->nest_list, nest);
state->nest_stack_last = state->nest_stack_last->prev;
if (state->nest_stack_last != 0) state->nest_stack_last->next = 0;
} }
else if (string_match(capture_name, SCu8("definition.class"))) else if (string_match(capture_name, SCu8("definition.class")))
{ {
state->last_note = code_index_new_note(state->index, &state->index_arena, CodeIndexNote_Type, type_range, state->nest_stack_last); Code_Index_Note* note = code_index_new_note(state->index, &state->index_arena, CodeIndexNote_Type, type_range, state->nest_stack_last);
state->last_note_match_id = query_match.id; state->last_note_match_id = query_match.id;
code_index_note_insert(&state->index->note_list, state->last_note, note);
state->last_note = note;
} }
else if (string_match(capture_name, SCu8("definition.function"))) else if (string_match(capture_name, SCu8("definition.function")))
{ {
state->last_note = code_index_new_note(state->index, &state->index_arena, CodeIndexNote_Function, type_range, state->nest_stack_last); Code_Index_Note* note = code_index_new_note(state->index, &state->index_arena, CodeIndexNote_Function, type_range, state->nest_stack_last);
state->last_note_match_id = query_match.id; state->last_note_match_id = query_match.id;
code_index_note_insert(&state->index->note_list, state->last_note, note);
state->last_note = note;
} }
else if (string_match(capture_name, SCu8("definition.method"))) else if (string_match(capture_name, SCu8("definition.method")))
{ {
state->last_note = code_index_new_note(state->index, &state->index_arena, CodeIndexNote_Function, type_range, state->nest_stack_last);; Code_Index_Note* note = code_index_new_note(state->index, &state->index_arena, CodeIndexNote_Function, type_range, state->nest_stack_last);;
state->last_note_match_id = query_match.id; state->last_note_match_id = query_match.id;
code_index_note_insert(&state->index->note_list, state->last_note, note);
state->last_note = note;
} }
else if (string_match(capture_name, SCu8("definition.type"))) else if (string_match(capture_name, SCu8("definition.type")))
{ {
state->last_note = code_index_new_note(state->index, &state->index_arena, CodeIndexNote_Type, type_range, state->nest_stack_last); Code_Index_Note* note = code_index_new_note(state->index, &state->index_arena, CodeIndexNote_Type, type_range, state->nest_stack_last);
state->last_note_match_id = query_match.id; state->last_note_match_id = query_match.id;
code_index_note_insert(&state->index->note_list, state->last_note, note);
state->last_note = note;
} }
else if (string_match(capture_name, SCu8("name"))) else if (string_match(capture_name, SCu8("name")))
{ {
@ -477,33 +588,98 @@ tree_sitter_code_index_update_process_query_match(
function void function void
tree_sitter_code_index_update_complete( tree_sitter_code_index_update_complete(
Application_Links* app, Application_Links* app,
Tree_Sitter_Code_Index_Update_State* state Tree_Sitter_Code_Index_Update_State* state,
Arena* scratch,
bool update_was_incremental
){ ){
tree_sitter_query_end(&state->query);
if (state->ok) if (state->ok)
{ {
while (state->nest_stack_last != 0) Code_Index_Nest* free_nests = state->index->nest_list.first;
block_zero_struct(&state->index->nest_list);
Code_Index_Scope_Delim* delim_at = state->index->scope_delim_list.first;
while (delim_at != 0)
{ {
Code_Index_Nest* nest = state->nest_stack_last->nest; bool is_open = (
if (nest->parent != 0) code_index_push_nest(&nest->parent->nest_list, nest); delim_at->kind == CodeIndexScopeDelim_ScopeOpen ||
else code_index_push_nest(&state->index->nest_list, nest); delim_at->kind == CodeIndexScopeDelim_ParenOpen ||
nest->nest_array = code_index_nest_ptr_array_from_list(&state->index_arena, &nest->nest_list); delim_at->kind == CodeIndexScopeDelim_BracketOpen
state->nest_stack_last = state->nest_stack_last->prev; );
if (is_open)
{
if (!free_nests)
{
int count = 32;
free_nests = push_array_zero(&state->index_arena, Code_Index_Nest, count);
for (int i = 0; i < count-2; i++)
{
free_nests[i].next = &free_nests[i+1];
}
}
Code_Index_Nest* nest = free_nests;
if (nest->nest_list.first)
{
nest->nest_list.last->next = nest->next;
free_nests = nest->nest_list.first;
}
else
{
free_nests = nest->next;
}
block_zero_struct(nest);
nest->kind = CodeIndexNest_Scope;
nest->delim = delim_at->kind;
nest->open = delim_at->pos;
nest->close = Ii64(max_i64);
nest->file = state->index;
if (state->nest_stack_last != 0)
{
nest->parent = state->nest_stack_last->nest;
code_index_push_nest(&nest->parent->nest_list, nest);
}
else
{
code_index_push_nest(&state->index->nest_list, nest);
}
Code_Index_Nest_Stack* stack = push_array_zero(scratch, Code_Index_Nest_Stack, 1);
stack->nest = nest;
stack->prev = state->nest_stack_last;
if (state->nest_stack_last != 0) state->nest_stack_last->next = stack;
else state->nest_stack_first = stack;
state->nest_stack_last = stack;
}
else
{
if (state->nest_stack_last != 0 && delims_are_open_close_pair(state->nest_stack_last->nest->delim, delim_at->kind))
{
Code_Index_Nest* nest = state->nest_stack_last->nest;
nest->close = delim_at->pos;
nest->is_closed = true;
state->nest_stack_last = state->nest_stack_last->prev;
if (state->nest_stack_last != 0) state->nest_stack_last->next = 0;
}
}
delim_at = delim_at->next;
} }
// TODO(PS): this should just be for the new notes - if a note wasn't
// updated incrementally this frame, then it already has it's text
for (Code_Index_Note* note = state->index->note_list.first; note != 0 && note->next != note; note = note->next) for (Code_Index_Note* note = state->index->note_list.first; note != 0 && note->next != note; note = note->next)
{ {
note->text = push_string_copy(&state->index_arena, string_substring(state->buffer_contents, note->pos)); note->text = push_string_copy(&state->index_arena, string_substring(state->buffer_contents, note->pos));
} }
// Finish the Index if (!update_was_incremental)
state->index->nest_array = code_index_nest_ptr_array_from_list(&state->index_arena, &state->index->nest_list); {
state->index->note_array = code_index_note_ptr_array_from_list(&state->index_arena, &state->index->note_list); code_index_lock();
code_index_set_file(state->buffer_id, state->index_arena, state->index);
code_index_unlock();
code_index_lock(); }
code_index_set_file(state->buffer_id, state->index_arena, state->index);
code_index_unlock();
buffer_clear_layout_cache(app, state->buffer_id); buffer_clear_layout_cache(app, state->buffer_id);
} }
@ -513,36 +689,6 @@ tree_sitter_code_index_update_complete(
} }
} }
function Tree_Sitter_Code_Index_Update_State
tree_sitter_code_index_update_full_file_async(Async_Context* actx, Buffer_ID buffer_id)
{
Application_Links* app = actx->app;
Scratch_Block scratch(app);
acquire_global_frame_mutex(app);
Tree_Sitter_Code_Index_Update_State state = tree_sitter_code_index_update_state_create(
app,
buffer_id,
scratch
);
release_global_frame_mutex(app);
TSQueryMatch query_match;
u32 capture_index;
while (state.ok && tree_sitter_query_continue(&state.query, &query_match, &capture_index))
{
tree_sitter_code_index_update_process_query_match(&state, query_match, capture_index, scratch);
if (async_check_canceled(actx))
{
state.ok = false;
break;
}
}
tree_sitter_code_index_update_complete(app, &state);
return state;
}
function Tree_Sitter_Code_Index_Update_State function Tree_Sitter_Code_Index_Update_State
tree_sitter_code_index_update_full_file(Application_Links* app, Buffer_ID buffer_id) tree_sitter_code_index_update_full_file(Application_Links* app, Buffer_ID buffer_id)
{ {
@ -551,22 +697,31 @@ tree_sitter_code_index_update_full_file(Application_Links* app, Buffer_ID buffer
Tree_Sitter_Code_Index_Update_State state = tree_sitter_code_index_update_state_create( Tree_Sitter_Code_Index_Update_State state = tree_sitter_code_index_update_state_create(
app, app,
buffer_id, buffer_id,
0,
scratch scratch
); );
Tree_Sitter_Query_Cursor query = tree_sitter_query_init(
app,
state.buffer_id,
state.language->queries.ptr[Tree_Sitter_Language_Query_Tags]
);
TSQueryMatch query_match; TSQueryMatch query_match;
u32 capture_index; u32 capture_index;
while (state.ok && tree_sitter_query_continue(&state.query, &query_match, &capture_index)) while (state.ok && tree_sitter_query_continue(&query, &query_match, &capture_index))
{ {
tree_sitter_code_index_update_process_query_match( tree_sitter_code_index_update_process_query_match(
&state, &state,
query,
query_match, query_match,
capture_index, capture_index,
scratch scratch
); );
} }
tree_sitter_code_index_update_complete(app, &state); tree_sitter_query_end(&query);
tree_sitter_code_index_update_complete(app, &state, scratch, false);
return state; return state;
} }
@ -575,7 +730,37 @@ tree_sitter_code_index_update_async(Async_Context* actx, String_Const_u8 data)
{ {
if (data.size != sizeof(Buffer_ID)) return; if (data.size != sizeof(Buffer_ID)) return;
Buffer_ID buffer_id = *(Buffer_ID*)data.str; Buffer_ID buffer_id = *(Buffer_ID*)data.str;
tree_sitter_code_index_update_full_file_async(actx, buffer_id); Application_Links* app = actx->app;
Scratch_Block scratch(app);
acquire_global_frame_mutex(app);
Tree_Sitter_Code_Index_Update_State state = tree_sitter_code_index_update_state_create(
app,
buffer_id,
0,
scratch
);
Tree_Sitter_Query_Cursor query = tree_sitter_query_init(
app,
state.buffer_id,
state.language->queries.ptr[Tree_Sitter_Language_Query_Tags]
);
release_global_frame_mutex(app);
TSQueryMatch query_match;
u32 capture_index;
while (state.ok && tree_sitter_query_continue(&query, &query_match, &capture_index))
{
tree_sitter_code_index_update_process_query_match(&state, query, query_match, capture_index, scratch);
if (async_check_canceled(actx))
{
state.ok = false;
break;
}
}
tree_sitter_query_end(&query);
tree_sitter_code_index_update_complete(app, &state, scratch, false);
} }
function void function void
@ -591,8 +776,218 @@ tree_sitter_code_index_update_tick(Application_Links* app)
Buffer_Tree_Sitter_Data* tree_data = scope_attachment(app, buffer_scope, buffer_tree_sitter_data_id, Buffer_Tree_Sitter_Data); Buffer_Tree_Sitter_Data* tree_data = scope_attachment(app, buffer_scope, buffer_tree_sitter_data_id, Buffer_Tree_Sitter_Data);
if (!tree_data || !tree_data->tree) continue; if (!tree_data || !tree_data->tree) continue;
tree_sitter_code_index_update_full_file(app, buffer_id); Buffer_ID out_buffer = get_buffer_by_name(app, string_u8_litexpr("*tree*"), Access_Always);
buffer_replace_range(app, out_buffer, Ii64(0,buffer_get_size(app, out_buffer)), SCu8(""));
Range_i64 old_range = tree_data->last_update_old_range;
Range_i64 new_range = tree_data->last_update_new_range;
if (old_range == new_range) continue;
Scratch_Block scratch(app);
Code_Index_File_Storage* storage = code_index_get_file_storage(buffer_id);
Tree_Sitter_Code_Index_Update_State state = tree_sitter_code_index_update_state_create(
app,
buffer_id,
storage,
scratch
);
// Find the largest, non-root node for us to reparse in its entirety
TSNode root = ts_tree_root_node(tree_data->tree);
TSNode first_node = ts_node_descendant_for_byte_range(
root, new_range.min, new_range.max
);
TSNode last_node = first_node;
bool would_reparse_entire_file = ts_node_eq(first_node, root);
int query_count = 0;
Tree_Sitter_Query_Cursor queries[2];
Range_i64 edit_range;
if (would_reparse_entire_file)
{
TSNode prev_sibling = {0};
TSNode next_sibling = {0};
u32 child_count = ts_node_child_count(root);
for (u32 i = 0; i < child_count; i++)
{
TSNode child = ts_node_child(root, i);
u32 start_byte = ts_node_start_byte(child);
u32 end_byte = ts_node_end_byte(child);
if (end_byte <= new_range.min)
{
prev_sibling = child;
}
else if (start_byte >= new_range.max)
{
next_sibling = child;
break;
}
}
if (!ts_node_is_null(prev_sibling) && !ts_node_is_null(next_sibling))
{
edit_range.min = (i64)ts_node_start_byte(prev_sibling);
edit_range.max = (i64)ts_node_end_byte(next_sibling);
query_count = 2;
queries[0] = tree_sitter_query_init(
app,
state.buffer_id,
state.language->queries.ptr[Tree_Sitter_Language_Query_Tags],
prev_sibling
);
queries[1] = tree_sitter_query_init(
app,
state.buffer_id,
state.language->queries.ptr[Tree_Sitter_Language_Query_Tags],
next_sibling
);
}
else if (!ts_node_is_null(prev_sibling))
{
edit_range.min = (i64)ts_node_start_byte(prev_sibling);
edit_range.max = (i64)ts_node_end_byte(prev_sibling);
queries[0] = tree_sitter_query_init(
app,
state.buffer_id,
state.language->queries.ptr[Tree_Sitter_Language_Query_Tags],
prev_sibling
);
}
else if (!ts_node_is_null(next_sibling))
{
edit_range.min = (i64)ts_node_start_byte(next_sibling);
edit_range.max = (i64)ts_node_end_byte(next_sibling);
queries[0] = tree_sitter_query_init(
app,
state.buffer_id,
state.language->queries.ptr[Tree_Sitter_Language_Query_Tags],
next_sibling
);
}
else
{
edit_range.min = (i64)ts_node_start_byte(root);
edit_range.max = (i64)ts_node_end_byte(root);
queries[0] = tree_sitter_query_init(
app,
state.buffer_id,
state.language->queries.ptr[Tree_Sitter_Language_Query_Tags],
root
);
}
}
else
{
TSNode node_at = first_node;
TSNode parent = ts_node_parent(first_node);
while (!ts_node_has_error(parent) && !ts_node_eq(parent, root))
{
node_at = parent;
parent = ts_node_parent(node_at);
}
edit_range.min = (i64)ts_node_start_byte(node_at);
edit_range.max = (i64)ts_node_end_byte(node_at);
queries[0] = tree_sitter_query_init(
app,
state.buffer_id,
state.language->queries.ptr[Tree_Sitter_Language_Query_Tags],
node_at
);
}
tree_data->last_update_node_range = edit_range; // TODO(PS): TEMP - remove me once debugging is done
// Free Scope Delimiters & Notes that fall within old_range
Code_Index_Scope_Delim* delim = state.index->scope_delim_list.first;
Code_Index_Scope_Delim* delim_before_range = 0;
Code_Index_Scope_Delim* after_range = 0;
while (delim)
{
Code_Index_Scope_Delim* next = delim->next;
if (delim->pos.min < edit_range.min && delim->pos.max <= edit_range.min)
{
delim_before_range = delim;
}
if (range_overlap(delim->pos, edit_range))
{
state.index->scope_delim_list.count -= 1;
zdll_remove(
state.index->scope_delim_list.first,
state.index->scope_delim_list.last,
delim
);
code_index_free_scope_delim(state.index, delim);
}
if (delim->pos.min >= edit_range.max) break;
delim = next;
}
state.last_delim = delim_before_range;
Code_Index_Note* note = state.index->note_list.first;
Code_Index_Note* prev = 0;
Code_Index_Note* note_before_range = 0;
while (note)
{
Code_Index_Note* next = note->next;
if (note->pos.min < edit_range.min && note->pos.max <= edit_range.min)
{
note_before_range = note;
}
if (range_overlap(note->pos, edit_range))
{
Code_Index_Note* new_first = state.index->note_list.first;
Code_Index_Note* new_last = state.index->note_list.last;
Code_Index_Note* new_next = next;
if (note == state.index->note_list.first) new_first = next;
if (note == state.index->note_list.last)
{
if (prev) new_last = prev;
else new_last = 0;
}
if (new_first == 0) Assert(new_last == 0 && state.index->note_list.count == 1);
state.index->note_list.count -= 1;
state.index->note_list.first = new_first;
state.index->note_list.last = new_last;
if (prev) prev->next = new_next;
code_index_free_note(state.index, note);
}
else
{
prev = note;
}
if (note->pos.min >= edit_range.max) break;
note = next;
}
state.last_note = note_before_range;
if (state.index->note_list.count == 0) Assert(state.index->note_list.first == 0 && state.index->note_list.first == 0);
for (int i = 0; i < query_count; i++)
{
Tree_Sitter_Query_Cursor query = queries[i];
TSQueryMatch query_match;
u32 capture_index;
while (state.ok && tree_sitter_query_continue(&query, &query_match, &capture_index))
{
tree_sitter_code_index_update_process_query_match(
&state, query, query_match, capture_index, scratch
);
}
tree_sitter_query_end(&query);
}
tree_sitter_code_index_update_complete(app, &state, scratch, true);
// @Report
for (Code_Index_Note* note = state.index->note_list.first; note != 0; note = note->next)
{
String_Const_u8 string = push_stringf(scratch, "Note: '%.*s'\n", string_expand(note->text));
buffer_replace_range(app, out_buffer, Ii64(buffer_get_size(app, out_buffer)), string);
}
} }
buffer_modified_set_clear(); buffer_modified_set_clear();
} }
@ -658,6 +1053,19 @@ draw_tree_sitter_node_colors(Application_Links* app, Text_Layout_ID text_layout_
if (!lang) return; if (!lang) return;
TSQuery* query = lang->queries.ptr[Tree_Sitter_Language_Query_Highlights]; TSQuery* query = lang->queries.ptr[Tree_Sitter_Language_Query_Highlights];
Managed_ID color_id = managed_id_get(app, SCu8("colors"), SCu8("defcolor_str_constant"));
Code_Index_File* file = code_index_get_file(buffer_id);
if (file != 0)
{
Code_Index_Scope_Delim* delim = file->scope_delim_list.first;
while (delim != 0)
{
paint_text_color_fcolor(app, text_layout_id, delim->pos, fcolor_id(color_id));
if (delim->next == delim) break;
delim = delim->next;
}
}
Range_i64 visible_range = text_layout_get_visible_range(app, text_layout_id); Range_i64 visible_range = text_layout_get_visible_range(app, text_layout_id);
Managed_Scope buffer_scope = buffer_get_managed_scope(app, buffer_id); Managed_Scope buffer_scope = buffer_get_managed_scope(app, buffer_id);
Buffer_Tree_Sitter_Data* tree_data = scope_attachment(app, buffer_scope, buffer_tree_sitter_data_id, Buffer_Tree_Sitter_Data); Buffer_Tree_Sitter_Data* tree_data = scope_attachment(app, buffer_scope, buffer_tree_sitter_data_id, Buffer_Tree_Sitter_Data);
@ -787,9 +1195,9 @@ tree_sitter_list_all_query_results(
Code_Index_File* file = code_index_get_file(buffer); Code_Index_File* file = code_index_get_file(buffer);
if (file != 0) if (file != 0)
{ {
for (i32 i = 0; i < file->note_array.count; i += 1) Code_Index_Note *note = file->note_list.first;
for (i32 i = 0; i < file->note_list.count; i += 1, note = note->next)
{ {
Code_Index_Note *note = file->note_array.ptrs[i];
if (note->note_kind == note_kind) if (note->note_kind == note_kind)
{ {
print_position( print_position(
@ -915,6 +1323,30 @@ CUSTOM_DOC("Creates a lister of locations that look like type definitions and de
char* prefix_buffer = " "; char* prefix_buffer = " ";
function void
print_tree_sitter_tree(TSNode cur_node, i32 level, const char* field)
{
TSPoint start = ts_node_start_point(cur_node);
TSPoint end = ts_node_end_point(cur_node);
// + 1 on ts positions becuase the first line/column are zero in treesitter,
printf("%.*s%s: %s [%d, %d] - [%d, %d]\n",
level*2, prefix_buffer, field, ts_node_type(cur_node),
start.row + 1, start.column + 1,
end.row + 1, end.column + 1);
u32 child_count = ts_node_child_count(cur_node);
for (u32 i = 0; i < child_count; ++i)
{
TSNode child = ts_node_child(cur_node, i);
if (ts_node_is_named(child))
{
field = ts_node_field_name_for_child(cur_node, i);
if (!field) field = "";
print_tree_sitter_tree(child, level + 1, field);
}
}
}
function void function void
write_tree_sitter_tree_to_buffer__inner(Application_Links *app, Arena *arena, Buffer_ID buffer_id, write_tree_sitter_tree_to_buffer__inner(Application_Links *app, Arena *arena, Buffer_ID buffer_id,
TSNode cur_node, i32 level = 0, const char *field="") TSNode cur_node, i32 level = 0, const char *field="")

View File

@ -49,6 +49,7 @@ struct Buffer_Tree_Sitter_Data
// Code Index Update Requests // Code Index Update Requests
Range_i64 last_update_old_range; Range_i64 last_update_old_range;
Range_i64 last_update_new_range; Range_i64 last_update_new_range;
Range_i64 last_update_node_range;
}; };
struct Tree_Sitter_Query_Cursor struct Tree_Sitter_Query_Cursor
@ -87,7 +88,6 @@ struct Tree_Sitter_Code_Index_Update_State
String_Const_u8 buffer_contents; String_Const_u8 buffer_contents;
Tree_Sitter_Language_Definition* language; Tree_Sitter_Language_Definition* language;
Tree_Sitter_Query_Cursor query;
Arena index_arena; Arena index_arena;
Code_Index_File* index; Code_Index_File* index;
@ -95,6 +95,7 @@ struct Tree_Sitter_Code_Index_Update_State
Code_Index_Nest_Stack* nest_stack_first = 0; Code_Index_Nest_Stack* nest_stack_first = 0;
Code_Index_Nest_Stack* nest_stack_last = 0; Code_Index_Nest_Stack* nest_stack_last = 0;
Code_Index_Scope_Delim* last_delim = 0;
Code_Index_Note* last_note = 0; Code_Index_Note* last_note = 0;
u32 last_note_match_id = max_u32; u32 last_note_match_id = max_u32;
@ -124,4 +125,6 @@ function Tree_Sitter_Code_Index_Update_State tree_sitter_code_index_update_full_
function void tree_sitter_code_index_update_tick(Application_Links *app); function void tree_sitter_code_index_update_tick(Application_Links *app);
function void tree_sitter_code_index_update_async(Async_Context* actx, String_Const_u8 data); function void tree_sitter_code_index_update_async(Async_Context* actx, String_Const_u8 data);
function void print_tree_sitter_tree(TSNode cur_node, i32 level, const char* field);
#endif //FCODER_TREE_SITTER_H #endif //FCODER_TREE_SITTER_H

View File

@ -21,9 +21,16 @@ String_Const_u8 TS_CPP_TAGS_QUERY_SCM = string_u8_litexpr(R"DONE(
(class_specifier name: (type_identifier) @name) @definition.class (class_specifier name: (type_identifier) @name) @definition.class
(_ "{" @scope_begin "}" @scope_end ) "{" @scope_begin
(_ "(" @scope_begin ")" @scope_end ) "(" @scope_begin
(_ "[" @scope_begin "]" @scope_end ) "[" @scope_begin
"}" @scope_end
")" @scope_end
"]" @scope_end
; (_ "{" @scope_begin "}" @scope_end )
; (_ "(" @scope_begin ")" @scope_end )
; (_ "[" @scope_begin "]" @scope_end )
)DONE"); )DONE");