jdb_timeout_i.h

Go to the documentation of this file.

// AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-

#ifndef jdb_timeout_i_h
#define jdb_timeout_i_h

#include "jdb_thread_names.h"

#include <cstdio>
#include <cstring>

#include "config.h"
#include "deadline_timeout.h"
#include "globals.h"
#include "ipc_timeout.h"
#include "jdb.h"
#include "jdb_module.h"
#include "jdb_screen.h"
#include "kernel_console.h"
#include "keycodes.h"
#include "kmem.h"
#include "simpleio.h"
#include "static_init.h"
#include "timeout.h"
#include "timeslice_timeout.h"
#include "thread.h"


class Jdb_list_timeouts : public Jdb_module
{
  enum
    {
      Timeout_ipc               = 1,
      Timeout_deadline          = 2,
      Timeout_timeslice         = 3,
    };

public:  
  Jdb_list_timeouts();
  
  Jdb_module::Action_code action(int cmd, void *&, char const *&, int &);
  
  Jdb_module::Cmd const *const cmds() const;
  
  int const num_cmds() const;

private:  
  // use implicit knowledge to determine the type of a timeout because we
  // cannot use dynamic_cast (we compile with -fno-rtti)
  static int get_type(Timeout *t);
  
  static Thread* get_owner(Timeout *t);
  
  static void show_header();
  
  static void list_timeouts_show_timeout(Timeout *t);
  
  static void list();
};

class Jdb_timeout_list
{
private:
  static int    _count;
  static Timeout *_t_start;

public:  
  static void init(Timeout *t_head);
  
  // _t_start-- if possible
  static int line_back(void);
  
  // _t_start++ if possible
  static int line_forw(void);
  
  // _t_start -= 24 if possible
  static int page_back(void);
  
  // _t_start += 24 if possible
  static int page_forw(void);
  
  // _t_start = first element of list
  static int goto_home(void);
  
  // _t_start = last element of list
  static int goto_end(void);
  
  static int lookup(Timeout *t_search);
  
  static Timeout* index(int y);
  
  static int page_show(void (*show)(Timeout *t));

private:  
  static bool iter(int count, Timeout **t_start, void (*iter)(Timeout *t)=0);
};

#endif // jdb_timeout_i_h

---