Searched refs:copy_file_output_line (Results 1 – 1 of 1) sorted by relevance
131 class copy_file_output_line : public position_output_line { class135 copy_file_output_line(vunits, const char *, hunits);272 copy_file_output_line::copy_file_output_line(vunits d, const char *f, hunits h) in copy_file_output_line() function in copy_file_output_line277 void copy_file_output_line::output(output_file *out, vunits pos) in output()373 add_output_line(new copy_file_output_line(pos - bottom, filename, page_offset)); in copy_file()