9 #include "jdb_module.h"
10 #include "jdb_screen.h"
11 #include "jdb_kobject.h"
12 #include "kernel_console.h"
16 #include "static_init.h"
18 class Jdb_factory : public Jdb_kobject_handler
21 Jdb_factory() FIASCO_INIT;
25 Jdb_factory::Jdb_factory()
26 : Jdb_kobject_handler(Factory::static_kobj_type)
28 Jdb_kobject::module()->register_handler(this);
33 Jdb_factory::show_kobject(Kobject_common *, int )
40 Jdb_factory::kobject_type() const
42 return JDB_ANSI_COLOR(yellow) "Factory" JDB_ANSI_COLOR(default);
47 Jdb_factory::show_kobject_short(String_buffer *buf, Kobject_common *o)
49 Factory *t = Kobject::dcast<Factory*>(o);
50 buf->printf(" c=%ld l=%ld", t->current(), t->limit());
53 static Jdb_factory jdb_factory INIT_PRIORITY(JDB_MODULE_INIT_PRIO);