391   pretty_printer *m_pp;  variable
965   m_pp (context->printer),  in layout()
1134   pp_emit_prefix (m_pp);  in print_gap_in_line_numbering()
1137     pp_character (m_pp, '.');  in print_gap_in_line_numbering()
1139   pp_newline (m_pp);  in print_gap_in_line_numbering()
1461   pp_emit_prefix (m_pp);  in print_source_line()
1466 	pp_space (m_pp);  in print_source_line()
1467       pp_printf (m_pp, "%i | ", row);  in print_source_line()
1470     pp_space (m_pp);  in print_source_line()
1488 	pp_space (m_pp);  in print_source_line()
1531       pp_character (m_pp, c);  in print_source_line()
1564   pp_emit_prefix (m_pp);  in start_annotation_line()
1571 	pp_space (m_pp);  in start_annotation_line()
1573 	pp_character (m_pp, margin_char);  in start_annotation_line()
1574       pp_string (m_pp, " |");  in start_annotation_line()
1589   pp_space (m_pp);  in print_annotation_line()
1612 	      pp_character (m_pp, caret_char);  in print_annotation_line()
1615 	    pp_character (m_pp, '~');  in print_annotation_line()
1621 	  pp_character (m_pp, ' ');  in print_annotation_line()
1772 	pp_space (m_pp);  in print_any_labels()
1789 		pp_string (m_pp, label->m_text.m_buffer);  in print_any_labels()
1798 		pp_character (m_pp, '|');  in print_any_labels()
1842 	  pp_character (m_pp, '+');  in print_leading_fixits()
1848 	    pp_character (m_pp, hint->get_string ()[i]);  in print_leading_fixits()
1850 	  pp_newline (m_pp);  in print_leading_fixits()
2290 	  pp_string (m_pp, c->m_text);  in print_trailing_fixits()
2309 		pp_character (m_pp, '-');  in print_trailing_fixits()
2319 	      pp_string (m_pp, c->m_text);  in print_trailing_fixits()
2336   pp_newline (m_pp);  in print_newline()
2449       pp_space (m_pp);  in move_to_column()
2464       pp_space (m_pp);  in show_ruler()
2467 	  pp_character (m_pp, '0' + (column / 100) % 10);  in show_ruler()
2469 	  pp_space (m_pp);  in show_ruler()
2470       pp_newline (m_pp);  in show_ruler()
2475   pp_space (m_pp);  in show_ruler()
2478       pp_character (m_pp, '0' + (column / 10) % 10);  in show_ruler()
2480       pp_space (m_pp);  in show_ruler()
2481   pp_newline (m_pp);  in show_ruler()
2485   pp_space (m_pp);  in show_ruler()
2487     pp_character (m_pp, '0' + (column % 10));  in show_ruler()
2488   pp_newline (m_pp);  in show_ruler()