stage3/array_range_check.hh
changeset 581 1e158dc9f9c1
parent 560 13b5b7faa3d7
child 592 99a284cec1f2
equal deleted inserted replaced
580:b6350d9f204d 581:1e158dc9f9c1
    35 #include "../absyntax_utils/absyntax_utils.hh"
    35 #include "../absyntax_utils/absyntax_utils.hh"
    36 // #include "datatype_functions.hh"
    36 // #include "datatype_functions.hh"
    37 
    37 
    38 
    38 
    39 
    39 
    40 
       
    41 class array_range_check_c: public iterator_visitor_c {
    40 class array_range_check_c: public iterator_visitor_c {
    42 
    41 
    43   private:
    42   private:
    44     search_varfb_instance_type_c *search_varfb_instance_type;
    43     search_varfb_instance_type_c *search_varfb_instance_type;
    45     // search_var_instance_decl_c *search_var_instance_decl;
    44     // search_var_instance_decl_c *search_var_instance_decl;
    46     search_base_type_c search_base_type;
    45     search_base_type_c search_base_type;
    47     int error_count;
    46     int error_count;
    48     int current_display_error_level;
    47     int current_display_error_level;
    49 
    48 
    50     void check_dimension_count(array_variable_c *symbol);
    49     void check_dimension_count(array_variable_c *symbol);
       
    50     void check_bounds(array_variable_c *symbol);
    51 
    51 
    52   public:
    52   public:
    53     array_range_check_c(symbol_c *ignore);
    53     array_range_check_c(symbol_c *ignore);
    54     virtual ~array_range_check_c(void);
    54     virtual ~array_range_check_c(void);
    55     int get_error_count();
    55     int get_error_count();