420 lines
15 KiB
C++
420 lines
15 KiB
C++
/*
|
|
4coder_jumping.cpp - Routines commonly used when writing code to jump to locations and seek through jump lists.
|
|
*/
|
|
|
|
// TOP
|
|
|
|
function b32
|
|
ms_style_verify(String_Const_u8 line, u64 left_paren_pos, u64 right_paren_pos){
|
|
i32 result = false;
|
|
String_Const_u8 line_part = string_skip(line, right_paren_pos);
|
|
if (string_match(string_prefix(line_part, 4), string_u8_litexpr(") : ")) ||
|
|
string_match(string_prefix(line_part, 3), string_u8_litexpr("): "))){
|
|
result = true;
|
|
}
|
|
if (result){
|
|
String_Const_u8 number = string_skip(string_prefix(line, right_paren_pos), left_paren_pos + 1);
|
|
if (!string_is_integer(number, 10)){
|
|
result = false;
|
|
u64 comma_pos = string_find_first(number, ',');
|
|
if (comma_pos < number.size){
|
|
String_Const_u8 sub_number0 = string_prefix(number, comma_pos);
|
|
String_Const_u8 sub_number1 = string_skip(number, comma_pos + 1);
|
|
if (string_is_integer(sub_number0, 10) && string_is_integer(sub_number1, 10)){
|
|
result = true;
|
|
}
|
|
}
|
|
}
|
|
}
|
|
return(result);
|
|
}
|
|
|
|
function u64
|
|
try_skip_rust_arrow(String_Const_u8 line){
|
|
u64 pos = 0;
|
|
if (string_match(string_prefix(line, 3), string_u8_litexpr("-->"))){
|
|
String_Const_u8 sub = string_skip(line, 3);
|
|
sub = string_skip_chop_whitespace(sub);
|
|
pos = (u64)(sub.str - line.str);
|
|
}
|
|
return(pos);
|
|
}
|
|
|
|
function b32
|
|
check_is_note(String_Const_u8 line, u64 colon_pos){
|
|
b32 is_note = false;
|
|
u64 note_pos = colon_pos + string_find_first(string_skip(line, colon_pos), string_u8_litexpr("note"));
|
|
if (note_pos < line.size){
|
|
b32 is_all_whitespace = true;
|
|
for (u64 i = colon_pos + 1; i < note_pos; i += 1){
|
|
if (!character_is_whitespace(line.str[i])){
|
|
is_all_whitespace = false;
|
|
break;
|
|
}
|
|
}
|
|
if (is_all_whitespace){
|
|
is_note = true;
|
|
}
|
|
}
|
|
return(is_note);
|
|
}
|
|
|
|
function Parsed_Jump
|
|
parse_jump_location(String_Const_u8 line){
|
|
Parsed_Jump jump = {};
|
|
jump.sub_jump_indented = (string_get_character(line, 0) == ' ');
|
|
|
|
String_Const_u8 reduced_line = string_skip_chop_whitespace(line);
|
|
u64 whitespace_length = (u64)(reduced_line.str - line.str);
|
|
line = reduced_line;
|
|
|
|
u64 left_paren_pos = string_find_first(line, '(');
|
|
u64 right_paren_pos = left_paren_pos + string_find_first(string_skip(line, left_paren_pos), ')');
|
|
for (;!jump.is_ms_style && right_paren_pos < line.size;){
|
|
if (ms_style_verify(line, left_paren_pos, right_paren_pos)){
|
|
jump.is_ms_style = true;
|
|
jump.colon_position = (i32)(right_paren_pos + string_find_first(string_skip(line, right_paren_pos), ':'));
|
|
if (jump.colon_position < line.size){
|
|
if (check_is_note(line, jump.colon_position)){
|
|
jump.sub_jump_note = true;
|
|
}
|
|
|
|
String_Const_u8 location_str = string_prefix(line, jump.colon_position);
|
|
location_str = string_skip_chop_whitespace(location_str);
|
|
|
|
i32 close_pos = (i32)right_paren_pos;
|
|
i32 open_pos = (i32)left_paren_pos;
|
|
|
|
if (0 < open_pos && open_pos < location_str.size){
|
|
String_Const_u8 file = SCu8(location_str.str, open_pos);
|
|
file = string_skip_chop_whitespace(file);
|
|
|
|
if (file.size > 0){
|
|
String_Const_u8 line_number = string_skip(string_prefix(location_str, close_pos), open_pos + 1);
|
|
line_number = string_skip_chop_whitespace(line_number);
|
|
|
|
if (line_number.size > 0){
|
|
u64 comma_pos = string_find_first(line_number, ',');
|
|
if (comma_pos < line_number.size){
|
|
String_Const_u8 column_number = string_skip(line_number, comma_pos + 1);
|
|
line_number = string_prefix(line_number, comma_pos);
|
|
jump.location.line = (i32)string_to_integer(line_number, 10);
|
|
jump.location.column = (i32)string_to_integer(column_number, 10);
|
|
}
|
|
else{
|
|
jump.location.line = (i32)string_to_integer(line_number, 10);
|
|
jump.location.column = 0;
|
|
}
|
|
jump.location.file = file;
|
|
jump.colon_position = jump.colon_position + (i32)whitespace_length;
|
|
jump.success = true;
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
else{
|
|
left_paren_pos = string_find_first(string_skip(line, left_paren_pos + 1), '(') + left_paren_pos + 1;
|
|
right_paren_pos = string_find_first(string_skip(line, left_paren_pos), ')') + left_paren_pos;
|
|
}
|
|
}
|
|
|
|
if (!jump.is_ms_style){
|
|
i32 start = (i32)try_skip_rust_arrow(line);
|
|
if (start != 0){
|
|
jump.has_rust_arrow = true;
|
|
}
|
|
|
|
u64 colon_pos1 = string_find_first(string_skip(line, start), ':') + start;
|
|
if (line.size > colon_pos1 + 1){
|
|
if (character_is_slash(string_get_character(line, colon_pos1 + 1))){
|
|
colon_pos1 = string_find_first(string_skip(line, colon_pos1 + 1), ':') + colon_pos1 + 1;
|
|
}
|
|
}
|
|
|
|
u64 colon_pos2 = string_find_first(string_skip(line, colon_pos1 + 1), ':') + colon_pos1 + 1;
|
|
u64 comma_pos2 = string_find_first(string_skip(line, colon_pos1 + 1), ',') + colon_pos1 + 1;
|
|
if (comma_pos2 < colon_pos2) {
|
|
colon_pos2 = comma_pos2;
|
|
}
|
|
u64 colon_pos3 = string_find_first(string_skip(line, colon_pos2 + 1), ':') + colon_pos2 + 1;
|
|
|
|
if (colon_pos3 < line.size){
|
|
if (check_is_note(line, colon_pos3)){
|
|
jump.sub_jump_note = true;
|
|
}
|
|
|
|
String_Const_u8 file_name = string_skip(string_prefix(line, colon_pos1), start);
|
|
String_Const_u8 line_number = string_skip(string_prefix(line, colon_pos2), colon_pos1 + 1);
|
|
String_Const_u8 column_number = string_skip(string_prefix(line, colon_pos3), colon_pos2 + 1);
|
|
|
|
if (file_name.size > 0 && line_number.size > 0 && column_number.size > 0){
|
|
jump.location.file = file_name;
|
|
jump.location.line = (i32)string_to_integer(line_number, 10);
|
|
jump.location.column = (i32)string_to_integer(column_number, 10);
|
|
jump.colon_position = (i32)(colon_pos3 + whitespace_length);
|
|
jump.success = true;
|
|
}
|
|
}
|
|
else{
|
|
if (colon_pos2 < line.size){
|
|
if (check_is_note(line, colon_pos2)){
|
|
jump.sub_jump_note = true;
|
|
}
|
|
|
|
String_Const_u8 file_name = string_prefix(line, colon_pos1);
|
|
String_Const_u8 line_number = string_skip(string_prefix(line, colon_pos2), colon_pos1 + 1);
|
|
|
|
if (string_is_integer(line_number, 10)){
|
|
if (file_name.size > 0 && line_number.size > 0){
|
|
jump.location.file = file_name;
|
|
jump.location.line = (i32)string_to_integer(line_number, 10);
|
|
jump.location.column = 0;
|
|
jump.colon_position = (i32)(colon_pos3 + whitespace_length);
|
|
jump.success = true;
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
if (!jump.success){
|
|
block_zero_struct(&jump);
|
|
}
|
|
else{
|
|
jump.is_sub_jump = (jump.sub_jump_indented || jump.sub_jump_note);
|
|
}
|
|
return(jump);
|
|
}
|
|
|
|
function Parsed_Jump
|
|
parse_jump_location(String_Const_u8 line, Jump_Flag flags){
|
|
Parsed_Jump jump = parse_jump_location(line);
|
|
if (HasFlag(flags, JumpFlag_SkipSubs) && jump.is_sub_jump){
|
|
block_zero_struct(&jump);
|
|
}
|
|
return(jump);
|
|
}
|
|
|
|
function Parsed_Jump
|
|
parse_jump_from_buffer_line(Application_Links *app, Arena *arena, Buffer_ID buffer, i64 line, Jump_Flag flags){
|
|
Parsed_Jump jump = {};
|
|
String_Const_u8 line_str = push_buffer_line(app, arena, buffer, line);
|
|
if (line_str.size > 0){
|
|
jump = parse_jump_location(line_str, flags);
|
|
}
|
|
return(jump);
|
|
}
|
|
|
|
////////////////////////////////
|
|
|
|
function b32
|
|
get_jump_buffer(Application_Links *app, Buffer_ID *buffer, Name_Line_Column_Location *location){
|
|
return(open_file(app, buffer, location->file, false, true));
|
|
}
|
|
|
|
function b32
|
|
get_jump_buffer(Application_Links *app, Buffer_ID *buffer, ID_Pos_Jump_Location *location, Access_Flag access){
|
|
*buffer = location->buffer_id;
|
|
return(buffer_exists(app, *buffer));
|
|
}
|
|
|
|
function b32
|
|
get_jump_buffer(Application_Links *app, Buffer_ID *buffer, ID_Pos_Jump_Location *location){
|
|
return(get_jump_buffer(app, buffer, location, Access_Always));
|
|
}
|
|
|
|
function View_ID
|
|
switch_to_existing_view(Application_Links *app, View_ID view, Buffer_ID buffer){
|
|
Buffer_ID current_buffer = view_get_buffer(app, view, Access_Always);
|
|
if (view != 0 || current_buffer != buffer){
|
|
View_ID existing_view = get_first_view_with_buffer(app, buffer);
|
|
if (existing_view != 0){
|
|
view = existing_view;
|
|
}
|
|
}
|
|
return(view);
|
|
}
|
|
|
|
function void
|
|
set_view_to_location(Application_Links *app, View_ID view, Buffer_ID buffer, Buffer_Seek seek){
|
|
Buffer_ID current_buffer = view_get_buffer(app, view, Access_Always);
|
|
if (current_buffer != buffer){
|
|
view_set_buffer(app, view, buffer, 0);
|
|
}
|
|
view_set_cursor_and_preferred_x(app, view, seek);
|
|
}
|
|
|
|
function void
|
|
jump_to_location(Application_Links *app, View_ID view, Buffer_ID buffer, i64 pos){
|
|
view_set_active(app, view);
|
|
set_view_to_location(app, view, buffer, seek_pos(pos));
|
|
if (auto_center_after_jumps){
|
|
center_view(app);
|
|
}
|
|
}
|
|
|
|
function void
|
|
jump_to_location(Application_Links *app, View_ID view, Buffer_ID buffer,
|
|
Name_Line_Column_Location location){
|
|
view_set_active(app, view);
|
|
set_view_to_location(app, view, buffer, seek_line_col(location.line, location.column));
|
|
if (auto_center_after_jumps){
|
|
center_view(app);
|
|
}
|
|
}
|
|
|
|
function void
|
|
jump_to_location(Application_Links *app, View_ID view,
|
|
Name_Line_Column_Location location){
|
|
Buffer_ID buffer = 0;
|
|
if (get_jump_buffer(app, &buffer, &location)){
|
|
jump_to_location(app, view, buffer, location);
|
|
}
|
|
}
|
|
|
|
function void
|
|
jump_to_location(Application_Links *app, View_ID view, Buffer_ID buffer, ID_Pos_Jump_Location location){
|
|
view_set_active(app, view);
|
|
set_view_to_location(app, view, buffer, seek_pos(location.pos));
|
|
if (auto_center_after_jumps){
|
|
center_view(app);
|
|
}
|
|
}
|
|
|
|
function void
|
|
jump_to_location(Application_Links *app, View_ID view, String_Const_u8 location){
|
|
Parsed_Jump jump = parse_jump_location(location);
|
|
if (jump.success){
|
|
jump_to_location(app, view, jump.location);
|
|
}
|
|
}
|
|
|
|
////////////////////////////////
|
|
|
|
// TODO(allen): rewrite
|
|
static Parsed_Jump
|
|
seek_next_jump_in_buffer(Application_Links *app, Arena *arena,
|
|
Buffer_ID buffer, i64 first_line, Jump_Flag flags, Scan_Direction direction,
|
|
i64 *line_out){
|
|
Assert(direction == 1 || direction == -1);
|
|
Parsed_Jump jump = {};
|
|
i64 line = first_line;
|
|
for (;;){
|
|
if (is_valid_line(app, buffer, line)){
|
|
String_Const_u8 line_str = push_buffer_line(app, arena, buffer, line);
|
|
jump = parse_jump_location(line_str, flags);
|
|
if (jump.success){
|
|
break;
|
|
}
|
|
line += direction;
|
|
}
|
|
else{
|
|
break;
|
|
}
|
|
}
|
|
if (jump.success){
|
|
*line_out = clamp_bot(line, 0);
|
|
}
|
|
return(jump);
|
|
}
|
|
|
|
static ID_Line_Column_Jump_Location
|
|
convert_name_based_to_id_based(Application_Links *app, Name_Line_Column_Location loc){
|
|
ID_Line_Column_Jump_Location result = {};
|
|
Buffer_ID buffer = get_buffer_by_name(app, loc.file, Access_Always);
|
|
if (buffer != 0){
|
|
result.buffer_id = buffer;
|
|
result.line = loc.line;
|
|
result.column = loc.column;
|
|
}
|
|
return(result);
|
|
}
|
|
|
|
static Parsed_Jump
|
|
seek_next_jump_in_view(Application_Links *app, Arena *arena, View_ID view, i32 skip_sub_errors, Scan_Direction direction, i64 *line_out){
|
|
i64 cursor_position = view_get_cursor_pos(app, view);
|
|
Buffer_Cursor cursor = view_compute_cursor(app, view, seek_pos(cursor_position));
|
|
i64 line = cursor.line;
|
|
Buffer_ID buffer = view_get_buffer(app, view, Access_Always);
|
|
Parsed_Jump jump = seek_next_jump_in_buffer(app, arena, buffer, line + direction, skip_sub_errors, direction, &line);
|
|
if (jump.success){
|
|
*line_out = line;
|
|
}
|
|
return(jump);
|
|
}
|
|
|
|
static b32
|
|
skip_this_jump(ID_Line_Column_Jump_Location prev, ID_Line_Column_Jump_Location jump){
|
|
b32 result = false;
|
|
if (prev.buffer_id != 0 && prev.buffer_id == jump.buffer_id && prev.line == jump.line && prev.column <= jump.column){
|
|
result = true;
|
|
}
|
|
return(result);
|
|
}
|
|
|
|
#if 0
|
|
static b32
|
|
advance_cursor_in_jump_view(Application_Links *app, View_ID view, b32 skip_repeats, b32 skip_sub_error, Scan_Direction direction, Name_Line_Column_Location *location_out){
|
|
b32 result = true;
|
|
|
|
Name_Line_Column_Location location = {};
|
|
ID_Line_Column_Jump_Location jump = {};
|
|
i64 line = 0;
|
|
i64 colon_index = 0;
|
|
|
|
do{
|
|
Arena *scratch = context_get_arena(app);
|
|
Temp_Memory temp = begin_temp(scratch);
|
|
Parsed_Jump parsed_jump = seek_next_jump_in_view(app, scratch, view, skip_sub_error, direction, &line);
|
|
if (parsed_jump.success){
|
|
jump = convert_name_based_to_id_based(app, parsed_jump.location);
|
|
view_set_cursor(app, view, seek_line_char(line, parsed_jump.colon_position + 1), true);
|
|
result = true;
|
|
}
|
|
else{
|
|
jump.buffer_id = 0;
|
|
result = false;
|
|
}
|
|
end_temp(temp);
|
|
}while(skip_repeats && skip_this_jump(prev_location, jump));
|
|
|
|
if (result){
|
|
*location_out = location;
|
|
view_set_cursor(app, view, seek_line_char(line, colon_index + 1), true);
|
|
}
|
|
|
|
prev_location = jump;
|
|
|
|
return(result);
|
|
}
|
|
|
|
static b32
|
|
seek_jump_(Application_Links *app, b32 skip_repeats, b32 skip_sub_errors, i32 direction){
|
|
b32 result = false;
|
|
|
|
View_ID view = get_view_for_locked_jump_buffer(app);
|
|
if (view != 0){
|
|
Name_Line_Column_Location location = {};
|
|
if (advance_cursor_in_jump_view(app, view, skip_repeats, skip_sub_errors, direction, &location)){
|
|
Buffer_ID buffer = {};
|
|
if (get_jump_buffer(app, &buffer, &location)){
|
|
View_ID target_view = get_active_view(app, Access_Always);
|
|
if (target_view == view){
|
|
change_active_panel(app);
|
|
target_view = get_active_view(app, Access_Always);
|
|
}
|
|
switch_to_existing_view(app, target_view, buffer);
|
|
jump_to_location(app, target_view, buffer, location);
|
|
result = true;
|
|
}
|
|
}
|
|
}
|
|
|
|
return(result);
|
|
}
|
|
#endif
|
|
|
|
// BOTTOM
|
|
|