new function get_prefix in LogStream

git-svn-id: https://svn.dealii.org/trunk@4515 0785d39b-7218-0410-832d-ea1e28bc413d

diff --git a/deal.II/base/include/base/logstream.h b/deal.II/base/include/base/logstream.h
index cd9c44406ce3fd12e1fe48fc44e69fe42261334c..f20f6990826837d5db11578593d7e6126846e581 100644 (file)
--- a/deal.II/base/include/base/logstream.h
+++ b/deal.II/base/include/base/logstream.h
@@ -78,6 +78,11 @@ class LogStream
                                      * Gives the file stream.
                                      */
     std::ostream& get_file_stream ();
+
+                                    /**
+                                     * Return the prefix string.
+                                     */
+    const std::string& get_prefix () const;
     
                                     /**
                                      * Push another prefix on the

diff --git a/deal.II/base/source/log.cc b/deal.II/base/source/log.cc
index 7a79a3ae238624af47bd141d4b9fa0776f486a80..351e30696a0b0f7189ef8347369d9d82838d4924 100644 (file)
--- a/deal.II/base/source/log.cc
+++ b/deal.II/base/source/log.cc
@@ -63,6 +63,13 @@ LogStream::get_file_stream()
 }
 
 
+const std::string&
+LogStream::get_prefix() const
+{
+  return prefixes.top();
+}
+
+
 void
 LogStream::push (const std::string& text)
 {
@@ -125,7 +132,7 @@ LogStream::print_line_head()
        }
     }
   
-  const std::string& head = prefixes.top();
+  const std::string& head = get_prefix();
 
   if (prefixes.size() <= std_depth)
     {