Trace.hpp 6.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245
  1. /**
  2. * @file Trace.hpp
  3. * @author The PARADEVS Development Team
  4. * See the AUTHORS or Authors.txt file
  5. */
  6. /*
  7. * PARADEVS - the multimodeling and simulation environment
  8. * This file is a part of the PARADEVS environment
  9. *
  10. * Copyright (C) 2013-2015 ULCO http://www.univ-litoral.fr
  11. *
  12. * This program is free software: you can redistribute it and/or modify
  13. * it under the terms of the GNU General Public License as published by
  14. * the Free Software Foundation, either version 3 of the License, or
  15. * (at your option) any later version.
  16. *
  17. * This program is distributed in the hope that it will be useful,
  18. * but WITHOUT ANY WARRANTY; without even the implied warranty of
  19. * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  20. * GNU General Public License for more details.
  21. *
  22. * You should have received a copy of the GNU General Public License
  23. * along with this program. If not, see <http://www.gnu.org/licenses/>.
  24. */
  25. #ifndef COMMON_UTILS_TRACE
  26. #define COMMON_UTILS_TRACE 1
  27. #include <algorithm>
  28. #include <iterator>
  29. #include <sstream>
  30. #include <string>
  31. #include <vector>
  32. namespace paradevs { namespace common {
  33. enum TraceType { NONE = 0, I_MESSAGE, POST_EVENT, S_MESSAGE, Y_MESSAGE,
  34. DELTA_INT, DELTA_EXT, DELTA_CONF, TA, LAMBDA, START, OUTPUT };
  35. template < class Time >
  36. class TraceElement
  37. {
  38. public:
  39. TraceElement() : _time(Time::null), _type(NONE)
  40. { }
  41. TraceElement(const std::string& model_name, typename Time::type time,
  42. TraceType type) :
  43. _model_name(model_name), _time(time), _type(type)
  44. { }
  45. virtual ~TraceElement()
  46. { }
  47. const std::string& get_comment() const
  48. { return _comment; }
  49. const std::string& get_model_name() const
  50. { return _model_name; }
  51. typename Time::type get_time() const
  52. { return _time; }
  53. TraceType get_type() const
  54. { return _type; }
  55. void set_comment(const std::string& comment)
  56. { _comment = comment; }
  57. private:
  58. std::string _model_name;
  59. typename Time::type _time;
  60. TraceType _type;
  61. std::string _comment;
  62. };
  63. template < class Time >
  64. class TraceElements : public std::vector < TraceElement < Time > >
  65. {
  66. public:
  67. TraceElements()
  68. { }
  69. virtual ~TraceElements()
  70. { }
  71. TraceElements filter_model_name(
  72. const std::string& model_name) const
  73. {
  74. TraceElements < Time > result;
  75. std::copy_if(TraceElements < Time >::begin(),
  76. TraceElements < Time >::end(), std::back_inserter(result),
  77. [model_name](TraceElement < Time > const & x)
  78. { return x.get_model_name() == model_name; });
  79. return result;
  80. }
  81. TraceElements filter_time(typename Time::type time) const
  82. {
  83. TraceElements result;
  84. std::copy_if(TraceElements < Time >::begin(),
  85. TraceElements < Time >::end(), std::back_inserter(result),
  86. [time](TraceElement < Time > const & x)
  87. { return x.get_time() == time; });
  88. return result;
  89. }
  90. TraceElements filter_type(TraceType type) const
  91. {
  92. TraceElements result;
  93. std::copy_if(TraceElements < Time >::begin(),
  94. TraceElements < Time >::end(), std::back_inserter(result),
  95. [type](TraceElement < Time > const & x)
  96. { return x.get_type() == type; });
  97. return result;
  98. }
  99. std::string to_string() const
  100. {
  101. std::ostringstream ss;
  102. for (typename TraceElements < Time >::const_iterator it =
  103. TraceElements < Time >::begin();
  104. it != TraceElements < Time >::end(); ++it) {
  105. ss << "TRACE: " << it->get_model_name() << " at "
  106. << it->get_time() << " <";
  107. switch (it->get_type())
  108. {
  109. case NONE: ss << "none"; break;
  110. case I_MESSAGE: ss << "i_message"; break;
  111. case POST_EVENT: ss << "post_event"; break;
  112. case S_MESSAGE: ss << "s_message"; break;
  113. case Y_MESSAGE: ss << "y_message"; break;
  114. case DELTA_INT: ss << "delta_int"; break;
  115. case DELTA_EXT: ss << "delta_ext"; break;
  116. case DELTA_CONF: ss << "delta_conf"; break;
  117. case TA: ss << "ta"; break;
  118. case LAMBDA: ss << "lambda"; break;
  119. case START: ss << "start"; break;
  120. case OUTPUT: ss << "output"; break;
  121. };
  122. ss << ">";
  123. if (not it->get_comment().empty()) {
  124. ss << " => " << it->get_comment();
  125. }
  126. ss << std::endl;
  127. }
  128. return ss.str();
  129. }
  130. };
  131. template < class Time >
  132. class Trace
  133. {
  134. public:
  135. static Trace& trace()
  136. {
  137. if (_instance == 0) {
  138. _instance = new Trace();
  139. }
  140. return *_instance;
  141. }
  142. void clear()
  143. { _trace.clear(); }
  144. const TraceElements < Time >& elements() const
  145. { return _trace; }
  146. void flush()
  147. {
  148. if (_sstream) {
  149. _element.set_comment(_sstream->str());
  150. delete _sstream;
  151. _sstream = 0;
  152. }
  153. _trace.push_back(_element);
  154. }
  155. void set_element(const TraceElement < Time >& element)
  156. { _element = element; }
  157. std::ostringstream& sstream()
  158. {
  159. if (_sstream == 0) {
  160. _sstream = new std::ostringstream();
  161. }
  162. return *_sstream;
  163. }
  164. private:
  165. Trace()
  166. { _sstream = 0; }
  167. virtual ~Trace()
  168. {
  169. delete _instance;
  170. if (_sstream) {
  171. delete _sstream;
  172. }
  173. }
  174. static Trace < Time >* _instance;
  175. TraceElements < Time > _trace;
  176. TraceElement < Time > _element;
  177. std::ostringstream* _sstream;
  178. };
  179. } } // namespace paradevs common
  180. template < class Time >
  181. paradevs::common::Trace < Time >& operator<<(
  182. paradevs::common::Trace < Time >& trace,
  183. const paradevs::common::TraceElement < Time >& e)
  184. {
  185. trace.set_element(e);
  186. return trace;
  187. }
  188. template < class Time >
  189. paradevs::common::Trace < Time >& operator<<(
  190. paradevs::common::Trace < Time >& trace,
  191. const std::string& str)
  192. {
  193. trace.sstream() << str;
  194. return trace;
  195. }
  196. template < class Time >
  197. paradevs::common::Trace < Time >& operator<<(
  198. paradevs::common::Trace < Time >& trace,
  199. typename Time::type t)
  200. {
  201. trace.sstream() << t;
  202. return trace;
  203. }
  204. template < class Time >
  205. paradevs::common::Trace < Time >*
  206. paradevs::common::Trace < Time >::_instance = 0;
  207. #endif