- {
- type *tp = (type *)tore;
- mark_type_visited(tp);
- switch (get_type_tpop_code(tp)) {
- case tpo_class:
- {
- for (i=0; i<get_class_n_supertypes(tp); i++)
- type_walk_2((type_or_ent *)get_class_supertype(tp, i), pre, post, env);
- for (i=0; i<get_class_n_members(tp); i++)
- type_walk_2((type_or_ent *)get_class_member(tp, i), pre, post, env);
- for (i=0; i<get_class_n_subtypes(tp); i++)
- type_walk_2((type_or_ent *)get_class_subtype(tp, i), pre, post, env);
- }
- break;
- case tpo_struct:
- {
- for (i=0; i<get_struct_n_members(tp); i++)
- type_walk_2((type_or_ent *)get_struct_member(tp, i), pre, post, env);
- }
- break;
- case tpo_method:
- {
- for (i = 0; i < get_method_n_params(tp); i++)
- type_walk_2((type_or_ent *)get_method_param_type(tp, i), pre, post, env);
- for (i = 0; i < get_method_n_ress(tp); i++)
- type_walk_2((type_or_ent *)get_method_res_type(tp, i), pre, post, env);
- }
- break;
- case tpo_union:
- {
- for (i = 0; i < get_union_n_members(tp); i++)
- type_walk_2((type_or_ent *)get_union_member(tp, i), pre, post, env);
- }
- break;
- case tpo_array:
- type_walk_2((type_or_ent *)get_array_element_type(tp),
- pre, post, env);
- type_walk_2((type_or_ent *)get_array_element_entity(tp),
- pre, post, env);
- break;
- case tpo_enumeration:
- /* a leave */
- break;
- case tpo_pointer:
- type_walk_2((type_or_ent *)get_pointer_points_to_type(tp),
- pre, post, env);
- break;
- case tpo_primitive:
- case tpo_id:
- /* a leave. */
- break;
- default:
- printf(" *** Faulty type! \n");
- break;
- }
- } break; /* end case k_type */
+ mark_type_visited(tp);
+ switch (get_type_tpop_code(tp)) {
+
+ case tpo_class:
+ n_types = get_class_n_supertypes(tp);
+ for (i = 0; i < n_types; ++i)
+ do_type_walk((type_or_ent *)get_class_supertype(tp, i), pre, post, env);
+
+ n_mem = get_class_n_members(tp);
+ for (i = 0; i < n_mem; ++i)
+ do_type_walk((type_or_ent *)get_class_member(tp, i), pre, post, env);
+
+ n_types = get_class_n_subtypes(tp);
+ for (i = 0; i < n_types; ++i)
+ do_type_walk((type_or_ent *)get_class_subtype(tp, i), pre, post, env);
+ break;
+
+ case tpo_struct:
+ n_mem = get_struct_n_members(tp);
+ for (i = 0; i < n_mem; ++i)
+ do_type_walk((type_or_ent *)get_struct_member(tp, i), pre, post, env);
+ break;
+
+ case tpo_method:
+ n_mem = get_method_n_params(tp);
+ for (i = 0; i < n_mem; ++i)
+ do_type_walk((type_or_ent *)get_method_param_type(tp, i), pre, post, env);
+
+ n_mem = get_method_n_ress(tp);
+ for (i = 0; i < n_mem; ++i)
+ do_type_walk((type_or_ent *)get_method_res_type(tp, i), pre, post, env);
+ break;
+
+ case tpo_union:
+ n_mem = get_union_n_members(tp);
+ for (i = 0; i < n_mem; ++i)
+ do_type_walk((type_or_ent *)get_union_member(tp, i), pre, post, env);
+ break;
+
+ case tpo_array:
+ do_type_walk((type_or_ent *)get_array_element_type(tp),
+ pre, post, env);
+ do_type_walk((type_or_ent *)get_array_element_entity(tp),
+ pre, post, env);
+ break;
+
+ case tpo_enumeration:
+ /* a leave */
+ break;
+
+ case tpo_pointer:
+ do_type_walk((type_or_ent *)get_pointer_points_to_type(tp),
+ pre, post, env);
+ break;
+
+ case tpo_primitive:
+ case tpo_id:
+ case tpo_none:
+ case tpo_unknown:
+ /* a leave. */
+ break;
+ default:
+ assert(0 && "Faulty type");
+ break;
+ }
+ break; /* end case k_type */
+