*/
ProfilingScope *enter(ProfilingScope *ps);
- /**
- 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);
+ /** 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 &scope(const std::string &) const;
+ const ScopeInfo &get_scope(const std::string &) const;
};
} // namespace Debug