jdb_tbuf_events.h

Go to the documentation of this file.

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

#ifndef jdb_tbuf_events_h
#define jdb_tbuf_events_h

#include "l4_types.h"

//
// INTERFACE definition follows 
//


class Log_patch
{
  friend class Log_event;

private:
  Log_patch             *next;
  Unsigned8             *activator;

public:  
  explicit Log_patch(void *code);
  
  void enable(int enable);
  
  inline int enabled(void);
};

class Log_event
{
  const char            *event_name;
  Log_patch             *patch;
  int                   event_type;

public:  
  explicit Log_event(const char *name, int type, int count, Log_patch *lp, ...);
  
  // enable all patch entries of log event
  void enable(int enable);
  
  // log event enabled if first entry is enabled
  inline int enabled(void) const;
  
  // get name of log event
  inline const char* get_name(void) const;
  
  // get type of log event
  inline int get_type(void) const;
};

class Jdb_tbuf_events
{
public:
  static Log_event *const log_events[];
};

//
// IMPLEMENTATION of inline functions (and needed classes)
//




inline int
Log_patch::enabled(void)
{
  return *activator;
}


// log event enabled if first entry is enabled

inline int
Log_event::enabled(void) const
{
  return patch->enabled();
}


// get name of log event

inline const char*
Log_event::get_name(void) const
{
  return event_name;
}


// get type of log event

inline int
Log_event::get_type(void) const
{
  return event_type;
}

#endif // jdb_tbuf_events_h

---