2017-04-15 21:47:23 +00:00
|
|
|
/*
|
2018-05-09 07:10:07 +00:00
|
|
|
4coder_jumping.h - Types used in jumping.
|
2017-04-15 21:47:23 +00:00
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
// TOP
|
|
|
|
|
|
2018-05-09 07:10:07 +00:00
|
|
|
#if !defined(FCODER_JUMPING_H)
|
|
|
|
|
#define FCODER_JUMPING_H
|
2017-11-15 23:57:21 +00:00
|
|
|
|
|
|
|
|
struct ID_Pos_Jump_Location{
|
|
|
|
|
Buffer_ID buffer_id;
|
|
|
|
|
int32_t pos;
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
struct Name_Based_Jump_Location{
|
|
|
|
|
String file;
|
|
|
|
|
int32_t line;
|
|
|
|
|
int32_t column;
|
|
|
|
|
};
|
|
|
|
|
|
2017-04-15 21:47:23 +00:00
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
// BOTTOM
|
|
|
|
|
|
