equal
deleted
inserted
replaced
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(); |