equal
deleted
inserted
replaced
54 /// TimeStamp's can be added to or substracted from each other and |
54 /// TimeStamp's can be added to or substracted from each other and |
55 /// they can be pushed to a stream. |
55 /// they can be pushed to a stream. |
56 /// |
56 /// |
57 /// In most cases, perhaps the \ref Timer or the \ref TimeReport |
57 /// In most cases, perhaps the \ref Timer or the \ref TimeReport |
58 /// class is what you want to use instead. |
58 /// class is what you want to use instead. |
59 /// |
|
60 ///\author Alpar Juttner |
|
61 |
59 |
62 class TimeStamp |
60 class TimeStamp |
63 { |
61 { |
64 double utime; |
62 double utime; |
65 double stime; |
63 double stime; |
294 ///\note If you want to measure the running time of the execution of a certain |
292 ///\note If you want to measure the running time of the execution of a certain |
295 ///function, consider the usage of \ref TimeReport instead. |
293 ///function, consider the usage of \ref TimeReport instead. |
296 /// |
294 /// |
297 ///\todo This shouldn't be Unix (Linux) specific. |
295 ///\todo This shouldn't be Unix (Linux) specific. |
298 ///\sa TimeReport |
296 ///\sa TimeReport |
299 /// |
|
300 ///\author Alpar Juttner |
|
301 class Timer |
297 class Timer |
302 { |
298 { |
303 int _running; //Timer is running iff _running>0; (_running>=0 always holds) |
299 int _running; //Timer is running iff _running>0; (_running>=0 always holds) |
304 TimeStamp start_time; //This is the relativ start-time if the timer |
300 TimeStamp start_time; //This is the relativ start-time if the timer |
305 //is _running, the collected _running time otherwise. |
301 //is _running, the collected _running time otherwise. |