3 * (c) 2010 Alexander Warg <warg@os.inf.tu-dresden.de>
4 * economic rights: Technische Universität Dresden (Germany)
6 * This file is part of TUD:OS and distributed under the terms of the
7 * GNU General Public License 2.
8 * Please see the COPYING-GPL-2 file for details.
13 #include <l4/mag/server/object>
15 namespace Mag_server {
20 Object_gc(Object_gc const &);
21 void operator = (Object_gc const &);
24 typedef cxx::H_list<Object> Obj_list;
25 typedef Obj_list::Iterator Obj_iter;
35 void add_obj(Object *o) { o->enqueue(&_life); }
37 virtual void gc_obj(Object *o) = 0;