[PPL-devel] [GIT] ppl/ppl(master): EList is not Watchdog specific. Avoided needless naming incongruences.

[Abramo Bagnara]

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

Author: Abramo Bagnara <abramo.bagnara at bugseng.com>
Date:   Thu Sep 20 18:33:46 2012 +0200

EList is not Watchdog specific. Avoided needless naming incongruences.

---

 src/Doubly_Linked_Object_defs.hh    |    2 +-
 src/Doubly_Linked_Object_inlines.hh |    4 -
 src/Doubly_Linked_Object_types.hh   |    4 -
 src/EList_Iterator_defs.hh          |    6 +-
 src/EList_Iterator_inlines.hh       |    4 -
 src/EList_Iterator_types.hh         |    4 -
 src/EList_defs.hh                   |   18 +-
 src/EList_inlines.hh                |   36 ++--
 src/EList_types.hh                  |    4 -
 src/Octagonal_Shape_templates.hh    |  418 +++++++++++++++++-----------------
 src/Pending_List_defs.hh            |   12 +-
 src/Pending_List_inlines.hh         |   10 +-
 src/Pending_List_templates.hh       |   14 +-
 src/Threshold_Watcher_defs.hh       |    8 +-
 src/Threshold_Watcher_templates.hh  |   10 +-
 src/Watchdog.cc                     |   10 +-
 src/Watchdog_defs.hh                |    6 +-
 17 files changed, 271 insertions(+), 299 deletions(-)

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