statistics.cc (8986:4cc63185478b) statistics.cc (9042:648b62f95015)
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
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;
436CallbackQueue resetQueue;
437
438void
439registerResetCallback(Callback *cb)
440{
441 resetQueue.add(cb);
442}
443

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

453enable()
454{
455 if (_enabled)
456 fatal("Stats are already enabled");
457
458 _enabled = true;
459}
460
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
461} // namespace Stats
462
463void
464debugDumpStats()
465{
466 Stats::dump();
467}
468} // namespace Stats
469
470void
471debugDumpStats()
472{
473 Stats::dump();
474}