Searched refs:source_lines_to_display (Results 1 – 1 of 1) sorted by relevance
378 SourceLinesToDisplay source_lines_to_display; in PrintInstructions() local398 source_lines_to_display.print_source_context_end_eol = false; in PrintInstructions()420 source_lines_to_display.lines.push_back(this_line); in PrintInstructions()424 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()478 source_lines_to_display.lines.push_back(previous_line); 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()[all …]