forked from jeremy-rifkin/cpptrace
-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathsnippet.cpp
More file actions
145 lines (134 loc) · 4.86 KB
/
Copy pathsnippet.cpp
File metadata and controls
145 lines (134 loc) · 4.86 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
#include "snippets/snippet.hpp"
#include <algorithm>
#include <cstdint>
#include <mutex>
#include <unordered_map>
#include <vector>
#include <fstream>
#include <iostream>
#include "utils/common.hpp"
#include "utils/microfmt.hpp"
#include "utils/utils.hpp"
CPPTRACE_BEGIN_NAMESPACE
namespace detail {
constexpr std::int64_t max_size = 1024 * 1024 * 10; // 10 MiB
struct line_range {
std::size_t begin;
std::size_t end; // one past the end
};
class snippet_manager {
bool loaded_contents;
std::string contents;
// 1-based indexing
std::vector<line_range> line_table;
public:
snippet_manager(const std::string& path) : loaded_contents(false) {
std::ifstream file;
try {
file.open(path, std::ios::ate);
if(file.is_open()) {
std::ifstream::pos_type size = file.tellg();
if(size == std::ifstream::pos_type(-1) || size > max_size) {
return;
}
// else load file
file.seekg(0, std::ios::beg);
contents.resize(to<std::size_t>(size));
if(!file.read(&contents[0], size)) {
// error ...
}
build_line_table();
loaded_contents = true;
}
} catch(const std::ifstream::failure&) {
// ...
}
}
// takes a 1-index line
std::string get_line(std::size_t line) const {
if(!loaded_contents || line > line_table.size()) {
return "";
} else {
return contents.substr(line_table[line].begin, line_table[line].end - line_table[line].begin);
}
}
std::size_t num_lines() const {
return line_table.size();
}
bool ok() const {
return loaded_contents;
}
private:
void build_line_table() {
line_table.push_back({0, 0});
std::size_t pos = 0; // stores the start of the current line
while(true) {
// find the end of the current line
std::size_t terminator_pos = contents.find('\n', pos);
if(terminator_pos == std::string::npos) {
line_table.push_back({pos, contents.size()});
break;
} else {
std::size_t end_pos = terminator_pos; // one past the end of the current line
if(end_pos > 0 && contents[end_pos - 1] == '\r') {
end_pos--;
}
line_table.push_back({pos, end_pos});
pos = terminator_pos + 1;
}
}
}
};
const snippet_manager& get_manager(const std::string& path) {
static std::mutex snippet_manager_mutex;
static std::unordered_map<std::string, const snippet_manager> snippet_managers;
std::unique_lock<std::mutex> lock(snippet_manager_mutex);
auto it = snippet_managers.find(path);
if(it == snippet_managers.end()) {
return snippet_managers.insert({path, snippet_manager(path)}).first->second;
} else {
return it->second;
}
}
// how wide the margin for the line number should be
constexpr std::size_t margin_width = 8;
// 1-indexed line
std::string get_snippet(const std::string& path, std::size_t target_line, std::size_t context_size, bool color) {
const auto& manager = get_manager(path);
if(!manager.ok()) {
return "";
}
auto begin = target_line <= context_size + 1 ? 1 : target_line - context_size;
auto original_begin = begin;
auto end = std::min(target_line + context_size, manager.num_lines() - 1);
std::vector<std::string> lines;
for(auto line = begin; line <= end; line++) {
lines.push_back(manager.get_line(line));
}
// trim blank lines
while(begin < target_line && lines[begin - original_begin].empty()) {
begin++;
}
while(end > target_line && lines[end - original_begin].empty()) {
end--;
}
// make the snippet
std::string snippet;
for(auto line = begin; line <= end; line++) {
if(color && line == target_line) {
snippet += YELLOW;
}
auto line_str = std::to_string(line);
snippet += microfmt::format("{>{}}: ", margin_width, line_str);
if(color && line == target_line) {
snippet += RESET;
}
snippet += lines[line - original_begin];
if(line != end) {
snippet += '\n';
}
}
return snippet;
}
}
CPPTRACE_END_NAMESPACE