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

11 Jul 2009


      Module: ppl/ppl
Branch: master
Commit: 133d39ca584c6c1c9266dfe3621a677fb03ea558
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=133d39ca584c6...
Author: Abramo Bagnara abramo.bagnara@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=133d39ca5...

Abramo Bagnara

tags (0)

participants (1)