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

Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Fri Jul 10 21:20:57 2009 +0200

Added Weightwatch.

---

Watchdog/src/EList.inlines.hh | 2 + Watchdog/src/Makefile.am | 11 ++- Watchdog/src/Pending_Element.cc | 32 -------- Watchdog/src/Pending_Element.defs.hh | 10 +- Watchdog/src/Pending_Element.inlines.hh | 33 ++++++--- Watchdog/src/Pending_Element.types.hh | 1 + Watchdog/src/Pending_List.defs.hh | 14 ++- Watchdog/src/Pending_List.inlines.hh | 26 ++++-- .../{Pending_List.cc => Pending_List.templates.hh} | 36 ++++++---- Watchdog/src/Pending_List.types.hh | 1 + Watchdog/src/Watchdog.cc | 12 ++-- Watchdog/src/Watchdog.defs.hh | 9 +- Watchdog/src/Weightwatch.cc | 62 +++++++++++++++ Watchdog/src/Weightwatch.defs.hh | 79 ++++++++++++++++++++ Watchdog/src/Weightwatch.inlines.hh | 75 +++++++++++++++++++ Watchdog/src/Weightwatch.types.hh | 19 +++++ 16 files changed, 333 insertions(+), 89 deletions(-)

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