Searched refs:source_lines_to_display (Results 1 – 1 of 1) sorted by relevance
383 SourceLinesToDisplay source_lines_to_display; in PrintInstructions() local428 if (source_lines_to_display.lines.size() > 0) in PrintInstructions()429 source_lines_to_display.current_source_line = in PrintInstructions()430 source_lines_to_display.lines.size() - 1; in PrintInstructions()485 source_lines_to_display.lines.push_back(this_line); in PrintInstructions()486 source_lines_to_display.current_source_line = in PrintInstructions()487 source_lines_to_display.lines.size() - 1; in PrintInstructions()512 if (source_lines_to_display.lines.size() > 0) { in PrintInstructions()514 for (size_t idx = 0; idx < source_lines_to_display.lines.size(); in PrintInstructions()516 SourceLine ln = source_lines_to_display.lines[idx]; in PrintInstructions()[all …]