57 void inc() { _indentation++; }; |
57 void inc() { _indentation++; }; |
58 void dec() { _indentation--; }; |
58 void dec() { _indentation--; }; |
59 int indentation() const { return _indentation; } |
59 int indentation() const { return _indentation; } |
60 void set_indentation(int i) { _indentation = i; } |
60 void set_indentation(int i) { _indentation = i; } |
61 void fill_to(int col); |
61 void fill_to(int col); |
|
62 void move_to(int col, int slop = 6, int min_space = 2); |
62 |
63 |
63 // sizing |
64 // sizing |
64 int width() const { return _width; } |
65 int width() const { return _width; } |
65 int position() const { return _position; } |
66 int position() const { return _position; } |
66 int newlines() const { return _newlines; } |
67 int newlines() const { return _newlines; } |
76 void print_raw(const char* str) { write(str, strlen(str)); } |
77 void print_raw(const char* str) { write(str, strlen(str)); } |
77 void print_raw(const char* str, int len) { write(str, len); } |
78 void print_raw(const char* str, int len) { write(str, len); } |
78 void print_raw_cr(const char* str) { write(str, strlen(str)); cr(); } |
79 void print_raw_cr(const char* str) { write(str, strlen(str)); cr(); } |
79 void print_raw_cr(const char* str, int len){ write(str, len); cr(); } |
80 void print_raw_cr(const char* str, int len){ write(str, len); cr(); } |
80 void put(char ch); |
81 void put(char ch); |
81 void sp(); |
82 void sp(int count = 1); |
82 void cr(); |
83 void cr(); |
83 void bol() { if (_position > 0) cr(); } |
84 void bol() { if (_position > 0) cr(); } |
84 |
85 |
85 // Time stamp |
86 // Time stamp |
86 TimeStamp& time_stamp() { return _stamp; } |
87 TimeStamp& time_stamp() { return _stamp; } |