push_console.h

Go to the documentation of this file.

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

#ifndef push_console_h
#define push_console_h

#include "console.h"
#include "l4_types.h"

//
// INTERFACE definition follows 
//


class Space;

class Push_console : public Console
{
private:
  static const Unsigned8 *sequence_str;
  static Mword            sequence_len;
  static Space           *sequence_space;

public:  
  int getchar(bool /*blocking*/);
  
  int char_avail() const;
  
  int write(char const * /*str*/, size_t len);
  
  static void push(Unsigned8 const *str, size_t len, Space *space = 0);
  
  static void flush(void);
  
  Mword get_attributes() const;

private:  
  static int get_sequence_byte(Unsigned8 const *s);
  
  static int get_sequence_len();
};

#endif // push_console_h

---