| 766 | } |
| 767 | |
| 768 | static void get_symbol_props_str(struct gstr *r, struct symbol *sym, |
| 769 | enum prop_type tok, const char *prefix) |
| 770 | { |
| 771 | bool hit = false; |
| 772 | struct property *prop; |
| 773 | |
| 774 | for_all_properties(sym, prop, tok) { |
| 775 | if (!hit) { |
| 776 | str_append(r, prefix); |
| 777 | hit = true; |
| 778 | } else |
| 779 | str_printf(r, " && "); |
| 780 | expr_gstr_print(prop->expr, r); |
| 781 | } |
| 782 | if (hit) |
| 783 | str_append(r, "\n"); |
| 784 | } |
| 785 | |
| 786 | /* |
| 787 | * head is optional and may be NULL |
no test coverage detected