stage3/print_datatypes_error.hh
changeset 443 ff4d26b7e51d
parent 438 744b125d911e
child 448 1bd18fc06911
equal deleted inserted replaced
442:bd5998ee8876 443:ff4d26b7e51d
    39 
    39 
    40 class print_datatypes_error_c: public iterator_visitor_c {
    40 class print_datatypes_error_c: public iterator_visitor_c {
    41 
    41 
    42   private:
    42   private:
    43     /* The level of detail that the user wants us to display error messages. */
    43     /* The level of detail that the user wants us to display error messages. */
       
    44 //     #define error_level_default (1)
    44     #define error_level_default (1)
    45     #define error_level_default (1)
    45     #define error_level_nagging (4)
    46     #define error_level_nagging (4)
    46     unsigned int current_display_error_level;
    47     unsigned int current_display_error_level;
    47     
    48     
    48     search_varfb_instance_type_c *search_varfb_instance_type;
    49     search_varfb_instance_type_c *search_varfb_instance_type;