stage4/stage4.hh
changeset 296 9cf0d701d211
parent 279 c0453b7f99df
child 397 85151b2f35ca
equal deleted inserted replaced
295:e7ce7c6bbb5d 296:9cf0d701d211
    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);