equal
deleted
inserted
replaced
842 { |
842 { |
843 std::list<VARIABLE>::iterator pt; |
843 std::list<VARIABLE>::iterator pt; |
844 for(pt = variable_list.begin(); pt != variable_list.end(); pt++) { |
844 for(pt = variable_list.begin(); pt != variable_list.end(); pt++) { |
845 symbol_c *var_decl = search_var_instance_decl->get_decl(pt->symbol); |
845 symbol_c *var_decl = search_var_instance_decl->get_decl(pt->symbol); |
846 if (var_decl != NULL) { |
846 if (var_decl != NULL) { |
847 unsigned int vartype = search_var_instance_decl->get_vartype(); |
847 unsigned int vartype = search_var_instance_decl->get_vartype(pt->symbol); |
848 |
848 |
849 s4o.print(s4o.indent_spaces); |
849 s4o.print(s4o.indent_spaces); |
850 if (vartype == search_var_instance_decl_c::external_vt) |
850 if (vartype == search_var_instance_decl_c::external_vt) |
851 s4o.print(SET_EXTERNAL); |
851 s4o.print(SET_EXTERNAL); |
852 else if (vartype == search_var_instance_decl_c::located_vt) |
852 else if (vartype == search_var_instance_decl_c::located_vt) |