1/*
2 * Copyright (c) 2003-2005 The Regents of The University of Michigan
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions are
7 * met: redistributions of source code must retain the above copyright
8 * notice, this list of conditions and the following disclaimer;

--- 419 unchanged lines hidden (view full) ---

428}
429
430string
431Formula::str() const
432{
433 return root ? root->str() : "";
434}
435
436CallbackQueue dumpQueue;
437CallbackQueue resetQueue;
438
439void
440registerResetCallback(Callback *cb)
441{
442 resetQueue.add(cb);
443}
444

--- 9 unchanged lines hidden (view full) ---

454enable()
455{
456 if (_enabled)
457 fatal("Stats are already enabled");
458
459 _enabled = true;
460}
461
462void
463registerDumpCallback(Callback *cb)
464{
465 dumpQueue.add(cb);
466}
467
468} // namespace Stats
469
470void
471debugDumpStats()
472{
473 Stats::dump();
474}