Method to_string

src/boost_json_gdb_printers.py:200–203

(self)

        return 'array'

    def to_string(self):
        capacity = int(self.val['t_'].dereference()['capacity'])
        return 'array [size={0}, capacity={1}]'.format(
            self.num_children(), capacity)

    def num_children(self):
        return int(self.val['t_'].dereference()['size'])