void printDocument(const Formatter& file) { file.printHeader(); file.printTitle(); while (!file.Eof()) { file.printParagraph(); } file.printFooter(); std::cout << std::endl; }