| 879 | } |
| 880 | |
| 881 | void assert_printerGivenPositiveNumNewlines() { |
| 882 | |
| 883 | int min = 1; |
| 884 | |
| 885 | if (printer_getNumTrailingNewlines() < min) |
| 886 | raiseInternalError("A printer utility attempted to print one fewer than the user-set number of trailing newlines; but that number was zero! This violates prior validation."); |
| 887 | } |
| 888 | |
| 889 | |
| 890 |
no test coverage detected