Merge pull request #1223 from LAJW/test-gen-const-get-mstream

peterschrammel · web-flow · commit 187e0809fad1 · 2017-08-10T13:48:22.000+01:00
Make message::get_mstream const
diff --git a/src/util/message.h b/src/util/message.h
@@ -236,50 +236,50 @@ class messaget
     return m;
   }
 
-  mstreamt &get_mstream(unsigned message_level)
+  mstreamt &get_mstream(unsigned message_level) const
   {
     mstream.message_level=message_level;
     return mstream;
   }
 
-  mstreamt &error()
+  mstreamt &error() const
   {
     return get_mstream(M_ERROR);
   }
 
-  mstreamt &warning()
+  mstreamt &warning() const
   {
     return get_mstream(M_WARNING);
   }
 
-  mstreamt &result()
+  mstreamt &result() const
   {
     return get_mstream(M_RESULT);
   }
 
-  mstreamt &status()
+  mstreamt &status() const
   {
     return get_mstream(M_STATUS);
   }
 
-  mstreamt &statistics()
+  mstreamt &statistics() const
   {
     return get_mstream(M_STATISTICS);
   }
 
-  mstreamt &progress()
+  mstreamt &progress() const
   {
     return get_mstream(M_PROGRESS);
   }
 
-  mstreamt &debug()
+  mstreamt &debug() const
   {
     return get_mstream(M_DEBUG);
   }
 
 protected:
   message_handlert *message_handler;
-  mstreamt mstream;
+  mutable mstreamt mstream;
 };
 
 #endif // CPROVER_UTIL_MESSAGE_H

Original file line number	Diff line number	Diff line change
`@@ -236,50 +236,50 @@ class messaget`
`236`	`236`	`return m;`
`237`	`237`	`}`
`238`	`238`
`239`		`- mstreamt &get_mstream(unsigned message_level)`
	`239`	`+ mstreamt &get_mstream(unsigned message_level) const`
`240`	`240`	`{`
`241`	`241`	`mstream.message_level=message_level;`
`242`	`242`	`return mstream;`
`243`	`243`	`}`
`244`	`244`
`245`		`- mstreamt &error()`
	`245`	`+ mstreamt &error() const`
`246`	`246`	`{`
`247`	`247`	`return get_mstream(M_ERROR);`
`248`	`248`	`}`
`249`	`249`
`250`		`- mstreamt &warning()`
	`250`	`+ mstreamt &warning() const`
`251`	`251`	`{`
`252`	`252`	`return get_mstream(M_WARNING);`
`253`	`253`	`}`
`254`	`254`
`255`		`- mstreamt &result()`
	`255`	`+ mstreamt &result() const`
`256`	`256`	`{`
`257`	`257`	`return get_mstream(M_RESULT);`
`258`	`258`	`}`
`259`	`259`
`260`		`- mstreamt &status()`
	`260`	`+ mstreamt &status() const`
`261`	`261`	`{`
`262`	`262`	`return get_mstream(M_STATUS);`
`263`	`263`	`}`
`264`	`264`
`265`		`- mstreamt &statistics()`
	`265`	`+ mstreamt &statistics() const`
`266`	`266`	`{`
`267`	`267`	`return get_mstream(M_STATISTICS);`
`268`	`268`	`}`
`269`	`269`
`270`		`- mstreamt &progress()`
	`270`	`+ mstreamt &progress() const`
`271`	`271`	`{`
`272`	`272`	`return get_mstream(M_PROGRESS);`
`273`	`273`	`}`
`274`	`274`
`275`		`- mstreamt &debug()`
	`275`	`+ mstreamt &debug() const`
`276`	`276`	`{`
`277`	`277`	`return get_mstream(M_DEBUG);`
`278`	`278`	`}`
`279`	`279`
`280`	`280`	`protected:`
`281`	`281`	`message_handlert *message_handler;`
`282`		`- mstreamt mstream;`
	`282`	`+ mutable mstreamt mstream;`
`283`	`283`	`};`
`284`	`284`
`285`	`285`	`#endif // CPROVER_UTIL_MESSAGE_H`