can only be called after a node was manually pushed onto the stack in the constructor
| 730 | |
| 731 | // can only be called after a node was manually pushed onto the stack in the constructor |
| 732 | void push_node(bool array) { |
| 733 | StackNode node{}; |
| 734 | node.indents = get_top().indents + 1; |
| 735 | node.is_array = array; |
| 736 | node.is_first_item = true; |
| 737 | node.ignore_min_width_parameter = get_top().ignore_min_width_parameter_in_child; |
| 738 | object_stack.push(node); |
| 739 | } |
| 740 | |
| 741 | // utility |
| 742 | void PrintHeaderUnderlines(size_t length) { |
nothing calls this directly
no outgoing calls
no test coverage detected