2015-05-23 00:11:03 +00:00
|
|
|
:(before "End Primitive Recipe Declarations")
|
|
|
|
_BROWSE_TRACE,
|
|
|
|
:(before "End Primitive Recipe Numbers")
|
|
|
|
Recipe_number["$browse-trace"] = _BROWSE_TRACE;
|
|
|
|
:(before "End Primitive Recipe Implementations")
|
|
|
|
case _BROWSE_TRACE: {
|
|
|
|
start_trace_browser();
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
:(before "End Globals")
|
2015-05-23 01:00:10 +00:00
|
|
|
set<long long int> Visible;
|
2015-05-23 00:11:03 +00:00
|
|
|
long long int Top_of_screen = 0;
|
2015-05-23 01:09:34 +00:00
|
|
|
long long int Last_printed_row = 0;
|
2015-05-23 01:25:27 +00:00
|
|
|
map<int, long long int> Trace_index; // screen row -> trace index
|
2015-05-23 00:11:03 +00:00
|
|
|
|
|
|
|
:(code)
|
|
|
|
void start_trace_browser() {
|
|
|
|
if (!Trace_stream) return;
|
2015-05-23 01:00:10 +00:00
|
|
|
cerr << "computing depth to display\n";
|
|
|
|
long long int min_depth = 9999;
|
|
|
|
for (long long int i = 0; i < SIZE(Trace_stream->past_lines); ++i) {
|
|
|
|
trace_line& curr_line = Trace_stream->past_lines.at(i);
|
|
|
|
if (curr_line.depth == 0) continue;
|
|
|
|
if (curr_line.depth < min_depth) min_depth = curr_line.depth;
|
|
|
|
}
|
|
|
|
cerr << "depth is " << min_depth << '\n';
|
|
|
|
cerr << "computing lines to display\n";
|
|
|
|
for (long long int i = 0; i < SIZE(Trace_stream->past_lines); ++i) {
|
2015-05-23 03:17:07 +00:00
|
|
|
if (Trace_stream->past_lines.at(i).depth == min_depth)
|
2015-05-23 01:00:10 +00:00
|
|
|
Visible.insert(i);
|
|
|
|
}
|
2015-05-23 00:11:03 +00:00
|
|
|
tb_init();
|
|
|
|
Display_row = Display_column = 0;
|
2015-06-08 06:14:02 +00:00
|
|
|
tb_event event;
|
2015-05-23 01:25:27 +00:00
|
|
|
Top_of_screen = 0;
|
|
|
|
refresh_screen_rows();
|
2015-05-23 00:11:03 +00:00
|
|
|
while (true) {
|
|
|
|
render();
|
|
|
|
do {
|
|
|
|
tb_poll_event(&event);
|
|
|
|
} while (event.type != TB_EVENT_KEY);
|
|
|
|
long long int key = event.key ? event.key : event.ch;
|
|
|
|
if (key == 'q' || key == 'Q') break;
|
2015-05-23 02:30:26 +00:00
|
|
|
if (key == 'j') {
|
2015-05-23 06:45:43 +00:00
|
|
|
// move cursor one line down
|
2015-05-23 01:09:34 +00:00
|
|
|
if (Display_row < Last_printed_row) ++Display_row;
|
|
|
|
}
|
2015-05-23 02:30:26 +00:00
|
|
|
if (key == 'k') {
|
2015-05-23 06:45:43 +00:00
|
|
|
// move cursor one line up
|
2015-05-23 01:09:34 +00:00
|
|
|
if (Display_row > 0) --Display_row;
|
|
|
|
}
|
2015-05-23 02:30:26 +00:00
|
|
|
if (key == 'H') {
|
2015-05-23 06:45:43 +00:00
|
|
|
// move cursor to top of screen
|
2015-05-23 02:30:26 +00:00
|
|
|
Display_row = 0;
|
|
|
|
}
|
|
|
|
if (key == 'M') {
|
2015-05-23 06:45:43 +00:00
|
|
|
// move cursor to center of screen
|
2015-05-23 02:30:26 +00:00
|
|
|
Display_row = tb_height()/2;
|
|
|
|
}
|
|
|
|
if (key == 'L') {
|
2015-05-23 06:45:43 +00:00
|
|
|
// move cursor to bottom of screen
|
2015-05-23 02:30:26 +00:00
|
|
|
Display_row = tb_height()-1;
|
|
|
|
}
|
|
|
|
if (key == 'J') {
|
2015-05-23 06:45:43 +00:00
|
|
|
// page-down
|
2015-05-23 02:30:26 +00:00
|
|
|
if (Trace_index.find(tb_height()-1) != Trace_index.end()) {
|
|
|
|
Top_of_screen = Trace_index[tb_height()-1]+1;
|
|
|
|
refresh_screen_rows();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
if (key == 'K') {
|
2015-05-23 06:45:43 +00:00
|
|
|
// page-up is more convoluted
|
2015-05-23 02:30:26 +00:00
|
|
|
//? tb_shutdown(); //? 1
|
|
|
|
//? cerr << "page-up: Top_of_screen is currently " << Top_of_screen << '\n'; //? 1
|
2015-05-29 01:11:28 +00:00
|
|
|
for (int screen_row = tb_height(); screen_row > 0 && Top_of_screen > 0; --screen_row) {
|
2015-05-23 02:30:26 +00:00
|
|
|
--Top_of_screen;
|
|
|
|
if (Top_of_screen <= 0) break;
|
|
|
|
while (Top_of_screen > 0 && Visible.find(Top_of_screen) == Visible.end())
|
|
|
|
--Top_of_screen;
|
|
|
|
//? cerr << "now " << Top_of_screen << '\n'; //? 1
|
|
|
|
}
|
|
|
|
//? exit(0); //? 1
|
|
|
|
if (Top_of_screen > 0)
|
|
|
|
refresh_screen_rows();
|
|
|
|
}
|
2015-05-29 01:11:28 +00:00
|
|
|
if (key == 'G') {
|
|
|
|
// go to bottom of screen; largely like page-up, interestingly
|
|
|
|
Top_of_screen = SIZE(Trace_stream->past_lines)-1;
|
|
|
|
for (int screen_row = tb_height(); screen_row > 0 && Top_of_screen > 0; --screen_row) {
|
|
|
|
--Top_of_screen;
|
|
|
|
if (Top_of_screen <= 0) break;
|
|
|
|
while (Top_of_screen > 0 && Visible.find(Top_of_screen) == Visible.end())
|
|
|
|
--Top_of_screen;
|
|
|
|
}
|
|
|
|
refresh_screen_rows();
|
|
|
|
// move cursor to bottom
|
|
|
|
Display_row = Last_printed_row;
|
|
|
|
refresh_screen_rows();
|
|
|
|
}
|
2015-05-23 03:17:07 +00:00
|
|
|
if (key == TB_KEY_CARRIAGE_RETURN) {
|
2015-05-23 06:45:43 +00:00
|
|
|
// expand lines under current by one level
|
2015-05-23 03:17:07 +00:00
|
|
|
//? tb_shutdown();
|
|
|
|
assert(Trace_index.find(Display_row) != Trace_index.end());
|
|
|
|
long long int start_index = Trace_index[Display_row];
|
|
|
|
//? cerr << "start_index is " << start_index << '\n';
|
|
|
|
long long int index = 0;
|
|
|
|
// simultaneously compute end_index and min_depth
|
|
|
|
int min_depth = 9999;
|
|
|
|
for (index = start_index+1; index < SIZE(Trace_stream->past_lines); ++index) {
|
|
|
|
if (Visible.find(index) != Visible.end()) break;
|
|
|
|
trace_line& curr_line = Trace_stream->past_lines.at(index);
|
|
|
|
if (curr_line.depth == 0) continue;
|
|
|
|
assert(curr_line.depth > Trace_stream->past_lines.at(start_index).depth);
|
|
|
|
if (curr_line.depth < min_depth) min_depth = curr_line.depth;
|
|
|
|
}
|
|
|
|
//? cerr << "min_depth is " << min_depth << '\n';
|
|
|
|
long long int end_index = index;
|
|
|
|
//? cerr << "end_index is " << end_index << '\n';
|
|
|
|
// mark as visible all intervening indices at min_depth
|
|
|
|
for (index = start_index; index < end_index; ++index) {
|
|
|
|
trace_line& curr_line = Trace_stream->past_lines.at(index);
|
|
|
|
if (curr_line.depth == min_depth) {
|
|
|
|
//? cerr << "adding " << index << '\n';
|
|
|
|
Visible.insert(index);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
//? exit(0);
|
|
|
|
refresh_screen_rows();
|
|
|
|
}
|
2015-05-23 06:29:44 +00:00
|
|
|
if (key == TB_KEY_BACKSPACE || key == TB_KEY_BACKSPACE2) {
|
2015-05-23 06:45:43 +00:00
|
|
|
// collapse all lines under current
|
2015-05-23 06:29:44 +00:00
|
|
|
assert(Trace_index.find(Display_row) != Trace_index.end());
|
|
|
|
long long int start_index = Trace_index[Display_row];
|
|
|
|
long long int index = 0;
|
2015-05-23 06:42:31 +00:00
|
|
|
// end_index is the next line at a depth same as or lower than start_index
|
|
|
|
int initial_depth = Trace_stream->past_lines.at(start_index).depth;
|
2015-05-23 06:29:44 +00:00
|
|
|
for (index = start_index+1; index < SIZE(Trace_stream->past_lines); ++index) {
|
|
|
|
if (Visible.find(index) == Visible.end()) continue;
|
|
|
|
trace_line& curr_line = Trace_stream->past_lines.at(index);
|
|
|
|
if (curr_line.depth == 0) continue;
|
2015-05-23 06:42:31 +00:00
|
|
|
if (curr_line.depth <= initial_depth) break;
|
2015-05-23 06:29:44 +00:00
|
|
|
}
|
|
|
|
long long int end_index = index;
|
|
|
|
// mark as visible all intervening indices at min_depth
|
2015-05-23 06:42:31 +00:00
|
|
|
for (index = start_index+1; index < end_index; ++index) {
|
|
|
|
Visible.erase(index);
|
2015-05-23 06:29:44 +00:00
|
|
|
}
|
|
|
|
refresh_screen_rows();
|
|
|
|
}
|
2015-05-23 00:11:03 +00:00
|
|
|
}
|
|
|
|
tb_shutdown();
|
|
|
|
}
|
|
|
|
|
2015-05-23 01:25:27 +00:00
|
|
|
// update Trace_indices for each screen_row on the basis of Top_of_screen and Visible
|
|
|
|
void refresh_screen_rows() {
|
2015-05-23 00:11:03 +00:00
|
|
|
long long int screen_row = 0, index = 0;
|
2015-05-23 01:25:27 +00:00
|
|
|
Trace_index.clear();
|
2015-05-23 00:11:03 +00:00
|
|
|
for (screen_row = 0, index = Top_of_screen; screen_row < tb_height() && index < SIZE(Trace_stream->past_lines); ++screen_row, ++index) {
|
|
|
|
// skip lines without depth for now
|
2015-05-23 01:00:10 +00:00
|
|
|
while (Visible.find(index) == Visible.end()) {
|
2015-05-23 00:11:03 +00:00
|
|
|
++index;
|
|
|
|
if (index >= SIZE(Trace_stream->past_lines)) goto done;
|
|
|
|
}
|
|
|
|
assert(index < SIZE(Trace_stream->past_lines));
|
2015-05-23 01:25:27 +00:00
|
|
|
Trace_index[screen_row] = index;
|
|
|
|
}
|
|
|
|
done:;
|
|
|
|
}
|
|
|
|
|
|
|
|
void render() {
|
|
|
|
long long int screen_row = 0;
|
|
|
|
for (screen_row = 0; screen_row < tb_height(); ++screen_row) {
|
|
|
|
if (Trace_index.find(screen_row) == Trace_index.end()) break;
|
|
|
|
trace_line& curr_line = Trace_stream->past_lines.at(Trace_index[screen_row]);
|
2015-05-23 00:11:03 +00:00
|
|
|
ostringstream out;
|
|
|
|
out << std::setw(4) << curr_line.depth << ' ' << curr_line.label << ": " << curr_line.contents;
|
|
|
|
render_line(screen_row, out.str());
|
|
|
|
}
|
|
|
|
// clear rest of screen
|
2015-05-23 01:09:34 +00:00
|
|
|
Last_printed_row = screen_row-1;
|
2015-05-23 00:11:03 +00:00
|
|
|
for (; screen_row < tb_height(); ++screen_row) {
|
|
|
|
render_line(screen_row, "~");
|
|
|
|
}
|
|
|
|
// move cursor back to display row at the end
|
|
|
|
tb_set_cursor(0, Display_row);
|
|
|
|
tb_present();
|
|
|
|
}
|
|
|
|
|
|
|
|
void render_line(int screen_row, const string& s) {
|
|
|
|
long long int col = 0;
|
|
|
|
for (col = 0; col < tb_width() && col < SIZE(s); ++col) {
|
|
|
|
char c = s.at(col);
|
|
|
|
if (c == '\n') c = ';'; // replace newlines with semi-colons
|
2015-06-05 23:03:54 +00:00
|
|
|
tb_change_cell(col, screen_row, c, TB_WHITE, TB_BLACK);
|
2015-05-23 00:11:03 +00:00
|
|
|
}
|
|
|
|
for (; col < tb_width(); ++col) {
|
2015-06-05 23:03:54 +00:00
|
|
|
tb_change_cell(col, screen_row, ' ', TB_WHITE, TB_BLACK);
|
2015-05-23 00:11:03 +00:00
|
|
|
}
|
|
|
|
}
|