Changeset 822e655 in git

Timestamp:

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

Author:

Frank Seelisch <seelisch@…>

Branches:

(u'spielwiese', '5d369c3cbad1a1bf2d5c856a48fb8a30b51cec3b')

Children:

3149a50a43e33a9af656fb04834e79a649ffa4d8

Parents:

1e673422a85a7bbfd9b52b229b919da1922c36e1

Message:

new method flush()

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

Location:

Singular

Files:

• PrettyPrinter.cc (modified) (1 diff)
• PrettyPrinter.h (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)
 {

Singular/PrettyPrinter.h

@@ -93 +93 @@
   
   /*!
+   *  A method for writing all pending output to all defined output files.
+   *  This works simply by closing all output files and re-opening them in
+   *  append mode.
+   */
+  void flush ();
+
+  /*!
    *  A method for including a linefeed in the output to the primary file
    *  (if any) and to the console (if console output has been declared accordingly).