Module: ppl/ppl Branch: master Commit: 1773d4367793972f5fee16587d829c73595c2bc2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1773d43677939...
Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue Aug 7 18:56:44 2012 +0200
The default output function for Variable's objects made public. There is no actual reason to have it private: being public, we simplify the life of a user willing to set it back to default.
---
src/Variable.defs.hh | 5 +++-- 1 files changed, 3 insertions(+), 2 deletions(-)
diff --git a/src/Variable.defs.hh b/src/Variable.defs.hh index 961415f..ca88c9f 100644 --- a/src/Variable.defs.hh +++ b/src/Variable.defs.hh @@ -117,6 +117,9 @@ public: //! Type of output functions. typedef void output_function_type(std::ostream& s, const Variable v);
+ //! The default output function. + static void default_output_function(std::ostream& s, const Variable v); + //! Sets the output function to be used for printing Variable objects. static void set_output_function(output_function_type* p);
@@ -147,8 +150,6 @@ private: //! Pointer to the current output function. static output_function_type* current_output_function;
- //! The default output function. - static void default_output_function(std::ostream& s, const Variable v); };
#include "Variable.inlines.hh"