Searched refs:writer_failed (Results 1 – 3 of 3) sorted by relevance
137 static inline bool writer_failed(writer_t *writer) { in writer_failed() function
351 return writer_failed(&printer->pp.printer.writer); in yices_pp_print_failed()
1702 return writer_failed(&p->writer) || (p->full_line && p->line + 1 == p->area.height); in pp_is_full()