stage4/generate_c/generate_c_configbody.cc
changeset 945 477393b00f95
parent 279 c0453b7f99df
equal deleted inserted replaced
943:566414d7ba1f 945:477393b00f95
    20  *
    20  *
    21  * This code is made available on the understanding that it will not be
    21  * This code is made available on the understanding that it will not be
    22  * used in safety-critical situations without a full and competent review.
    22  * used in safety-critical situations without a full and competent review.
    23  */
    23  */
    24 
    24 
    25 class generate_c_configbody_c: public generate_c_base_c {
    25 class generate_c_configbody_c: public generate_c_base_and_typeid_c {
    26 
    26 
    27   public:
    27   public:
    28     generate_c_configbody_c(stage4out_c *s4o_ptr)
    28     generate_c_configbody_c(stage4out_c *s4o_ptr)
    29     : generate_c_base_c(s4o_ptr) {
    29     : generate_c_base_and_typeid_c(s4o_ptr) {
    30       current_resource_name = NULL;
    30       current_resource_name = NULL;
    31     }
    31     }
    32 
    32 
    33     virtual ~generate_c_configbody_c(void) {}
    33     virtual ~generate_c_configbody_c(void) {}
    34 
    34