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