Changeset 822e655 in git for Singular/PrettyPrinter.cc

Timestamp:

Nov 6, 2009, 4:26:51 PM (14 years ago)

Author:

Frank Seelisch <seelisch@…>

Branches:

(u'spielwiese', '91e5db82acc17434e4062bcfa44e6efa7d41fd30')

Children:

3149a50a43e33a9af656fb04834e79a649ffa4d8

Parents:

1e673422a85a7bbfd9b52b229b919da1922c36e1

Message:

new method flush()

git-svn-id: file:///usr/local/Singular/svn/trunk@12254 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• Singular/PrettyPrinter.cc (modified) (1 diff)

Singular/PrettyPrinter.cc

@@ -45 +45 @@
 }
 
+void PrettyPrinter::flush ()
+{
+  if (strcmp(m_fileName1, "") != 0) m_file1.close();
+  if (strcmp(m_fileName2, "") != 0) m_file2.close();
+  m_file1.open(m_fileName1, std::fstream::app);
+  m_file2.open(m_fileName2, std::fstream::app);
+}
+
 PrettyPrinter& PrettyPrinter::operator< (const char* s)
 {