85   public:

    85   public:

    86     generate_c_base_c(stage4out_c *s4o_ptr): s4o(*s4o_ptr) {variable_prefix_ = NULL;}

    86     generate_c_base_c(stage4out_c *s4o_ptr): s4o(*s4o_ptr) {variable_prefix_ = NULL;}

    87     ~generate_c_base_c(void) {}

    87     ~generate_c_base_c(void) {}

    88 

    88 

    89     void set_variable_prefix(const char *variable_prefix) {variable_prefix_ = variable_prefix;}

    89     void set_variable_prefix(const char *variable_prefix) {variable_prefix_ = variable_prefix;}

    90     bool is_variable_prefix_null(void) {return variable_prefix_ == NULL;}

    91     bool is_variable_prefix_null(void) {return variable_prefix_ == NULL;}

    91     void print_variable_prefix(void) {

    92     void print_variable_prefix(void) {

    92       if (variable_prefix_ != NULL)

    93       if (variable_prefix_ != NULL)

    93         s4o.print(variable_prefix_);

    94         s4o.print(variable_prefix_);

    94     }

    95     }