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...