| 871 | } |
| 872 | |
| 873 | void assert_printerGivenNonNegativeNumNewlines() { |
| 874 | |
| 875 | int min = 0; |
| 876 | |
| 877 | if (printer_getNumTrailingNewlines() < min) |
| 878 | raiseInternalError("A printer utility attempted to print a negative number of newlines, informed by the user-set number of trailing newlines, which should have been caught by prior validation."); |
| 879 | } |
| 880 | |
| 881 | void assert_printerGivenPositiveNumNewlines() { |
| 882 |
no test coverage detected