blob: 597ffdc6f8dc71dd27e1e94e1fdddfc3bd3de54b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
import gdb
class KstdVectorPrinter:
def __init__(self, val):
self.val = val
self.type = val.type.template_argument(0)
def to_string(self):
size = int(self.val["m_size"])
capacity = int(self.val["m_capacity"])
return f"kstd::vector of length {size}, capacity {capacity}"
def children(self):
size = int(self.val["m_size"])
data_pointer = self.val["m_data"]
for i in range(size):
yield (f"[{i}]", (data_pointer + i).dereference())
def display_hint(self):
return "array"
|
