Searched refs:source_lines_to_display (Results 1 – 1 of 1) sorted by relevance
494 SourceLinesToDisplay source_lines_to_display; in PrintInstructions() local514 source_lines_to_display.print_source_context_end_eol = false; in PrintInstructions()535 source_lines_to_display.lines.push_back(this_line); in PrintInstructions()539 if (source_lines_to_display.lines.size() > 0) in PrintInstructions()540 source_lines_to_display.current_source_line = in PrintInstructions()541 source_lines_to_display.lines.size() - 1; in PrintInstructions()593 source_lines_to_display.lines.push_back(previous_line); in PrintInstructions()596 source_lines_to_display.lines.push_back(this_line); in PrintInstructions()597 source_lines_to_display.current_source_line = in PrintInstructions()598 source_lines_to_display.lines.size() - 1; in PrintInstructions()[all …]