- /**
- Records a call to a scope. You'll probably want to use a ProfilingScope
- instead of calling this manually.
-
- @param sn Scope name
- @param pn Parent scope name
- @param t Time spent in the scope
- @param ct Time spent in child scopes
- */
- void record(const std::string &sn, const std::string &pn, const Time::TimeDelta &t, const Time::TimeDelta &ct);
-
- /**
- Returns informations about a scope.
- */
- const ScopeInfo &scope(const std::string &) const;
+ /** Records the data from a ProfilingScope. It is not useful to call this
+ manually. */
+ void record(const ProfilingScope &);
+
+ /** Returns informations about a scope. */
+ const ScopeInfo &get_scope(const std::string &) const;