equal
deleted
inserted
replaced
46 |
46 |
47 public: |
47 public: |
48 stage4out_c(std::string indent_level = " "); |
48 stage4out_c(std::string indent_level = " "); |
49 stage4out_c(const char *dir, const char *radix, const char *extension, std::string indent_level = " "); |
49 stage4out_c(const char *dir, const char *radix, const char *extension, std::string indent_level = " "); |
50 ~stage4out_c(void); |
50 ~stage4out_c(void); |
51 |
51 |
|
52 void flush(void); |
|
53 |
52 void enable_output(void); |
54 void enable_output(void); |
53 void disable_output(void); |
55 void disable_output(void); |
54 |
56 |
55 void indent_right(void); |
57 void indent_right(void); |
56 void indent_left(void); |
58 void indent_left(void); |