# HG changeset patch # User Rik # Date 1631505013 25200 # Node ID 5acddd64527ea5cb7fbc3bd22b7cf401a9341f8d # Parent f015d7228e3d80ad5aed106f6c5e588d82b14997 maint: use "m_" prefix for member variables in class pager_stream. * pager.cc, pager.h: Use "m_" prefix for member variables in class pager_stream. diff -r f015d7228e3d -r 5acddd64527e libinterp/corefcn/pager.cc --- a/libinterp/corefcn/pager.cc Sun Sep 12 20:40:50 2021 -0700 +++ b/libinterp/corefcn/pager.cc Sun Sep 12 20:50:13 2021 -0700 @@ -183,17 +183,17 @@ return 0; } - pager_stream::pager_stream (void) : std::ostream (nullptr), pb (nullptr) + pager_stream::pager_stream (void) : std::ostream (nullptr), m_pb (nullptr) { - pb = new pager_buf (); - rdbuf (pb); + m_pb = new pager_buf (); + rdbuf (m_pb); setf (unitbuf); } pager_stream::~pager_stream (void) { flush (); - delete pb; + delete m_pb; } std::ostream& pager_stream::stream (void) @@ -203,14 +203,14 @@ void pager_stream::flush_current_contents_to_diary (void) { - if (pb) - pb->flush_current_contents_to_diary (); + if (m_pb) + m_pb->flush_current_contents_to_diary (); } void pager_stream::set_diary_skip (void) { - if (pb) - pb->set_diary_skip (); + if (m_pb) + m_pb->set_diary_skip (); } // Reinitialize the pager buffer to avoid hanging on to large internal @@ -220,9 +220,9 @@ void pager_stream::reset (void) { - delete pb; - pb = new pager_buf (); - rdbuf (pb); + delete m_pb; + m_pb = new pager_buf (); + rdbuf (m_pb); setf (unitbuf); } diff -r f015d7228e3d -r 5acddd64527e libinterp/corefcn/pager.h --- a/libinterp/corefcn/pager.h Sun Sep 12 20:40:50 2021 -0700 +++ b/libinterp/corefcn/pager.h Sun Sep 12 20:50:13 2021 -0700 @@ -88,7 +88,7 @@ private: - pager_buf *pb; + pager_buf *m_pb; }; class