[PPL-devel] [GIT] ppl/ppl(master): Converted Weightwatch in more generic Threshold_Watcher.

[Abramo Bagnara]

Module: ppl/ppl
Branch: master
Commit: 133d39ca584c6c1c9266dfe3621a677fb03ea558
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=133d39ca584c6c1c9266dfe3621a677fb03ea558

Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Sat Jul 11 20:12:09 2009 +0200

Converted Weightwatch in more generic Threshold_Watcher.

---

 Watchdog/src/Makefile.am                           |   10 ++--
 Watchdog/src/Pending_List.defs.hh                  |   12 +++---
 Watchdog/src/Pending_List.inlines.hh               |   30 ++++++------
 Watchdog/src/Pending_List.templates.hh             |   24 +++++-----
 Watchdog/src/Pending_List.types.hh                 |    2 +-
 .../src/{Weightwatch.cc => Threshold_Watcher.cc}   |   14 +-----
 ...ightwatch.defs.hh => Threshold_Watcher.defs.hh} |   40 ++++++++---------
 ...tch.inlines.hh => Threshold_Watcher.inlines.hh} |   28 +++++++-----
 ...templates.hh => Threshold_Watcher.templates.hh} |   46 +++++++++-----------
 ...htwatch.types.hh => Threshold_Watcher.types.hh} |   10 ++--
 Watchdog/src/Watchdog.defs.hh                      |    9 +++-
 11 files changed, 109 insertions(+), 116 deletions(-)

Diff:   http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=133d39ca584c6c1c9266dfe3621a677fb03ea558