Searched refs:source_lines_to_display (Results 1 – 1 of 1) sorted by relevance
378 SourceLinesToDisplay source_lines_to_display; in PrintInstructions() local424 if (source_lines_to_display.lines.size() > 0) in PrintInstructions()425 source_lines_to_display.current_source_line = in PrintInstructions()426 source_lines_to_display.lines.size() - 1; in PrintInstructions()481 source_lines_to_display.lines.push_back(this_line); in PrintInstructions()482 source_lines_to_display.current_source_line = in PrintInstructions()483 source_lines_to_display.lines.size() - 1; in PrintInstructions()508 if (source_lines_to_display.lines.size() > 0) { in PrintInstructions()510 for (size_t idx = 0; idx < source_lines_to_display.lines.size(); in PrintInstructions()512 SourceLine ln = source_lines_to_display.lines[idx]; in PrintInstructions()[all …]