Searched refs:source_lines_to_display (Results 1 – 1 of 1) sorted by relevance
387 SourceLinesToDisplay source_lines_to_display; in PrintInstructions() local407 source_lines_to_display.print_source_context_end_eol = false; in PrintInstructions()433 source_lines_to_display.lines.push_back(this_line); in PrintInstructions()437 if (source_lines_to_display.lines.size() > 0) in PrintInstructions()438 source_lines_to_display.current_source_line = in PrintInstructions()439 source_lines_to_display.lines.size() - 1; in PrintInstructions()491 source_lines_to_display.lines.push_back(previous_line); in PrintInstructions()494 source_lines_to_display.lines.push_back(this_line); in PrintInstructions()495 source_lines_to_display.current_source_line = in PrintInstructions()496 source_lines_to_display.lines.size() - 1; in PrintInstructions()[all …]