blob: 69f8ca24ad92fa9c5ac15e3504ddca22bdd89775 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
import gdb
class KstdVectorPrinter(gdb.ValuePrinter):
def __init__(self, val):
self.__val = val
self.__size = int(val["m_size"])
self.__capacity = int(val["m_capacity"])
def to_string(self):
return f"vector of length {self.__size}, capacity {self.__capacity}"
def children(self):
data_pointer = self.__val["m_data"]
for i in range(self.__size):
yield (f"[{i}]", (data_pointer + i).dereference())
def child(self, n):
if n < self.__size:
return (f"[{n}]", (self.__val["m_data"] + n).dereference())
else:
raise gdb.MemoryError("Index out of range")
def display_hint(self):
return "array"
def num_children(self):
return self.__size
|
