jdb_gzip_i.h

Go to the documentation of this file.

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

#ifndef jdb_gzip_i_h
#define jdb_gzip_i_h

#include <cstring>
#include <cstdio>

#include "config.h"
#include "console.h"
#include "gzip.h"
#include "kernel_console.h"
#include "kmem_alloc.h"
#include "panic.h"
#include "static_init.h"

class Jdb_gzip : public Console
{
  static const unsigned heap_pages = 34;
  char   active;
  char   init_done;
  static Console *uart;

public:  
  inline void enable();
  
  inline void disable();
  
  void state(Mword new_state);
  
  int write(char const *str, size_t len);
  
  static Console* const console();
  
  Mword get_attributes() const;
  
  static FIASCO_INIT void init();

private:  
  Jdb_gzip();
  
  static void raw_write(const char *s, size_t len);
};

#endif // jdb_gzip_i_h

---