xref: /llvm-project/lldb/test/API/commands/expression/import-std-module/array/TestArrayFromStdModule.py (revision 4cc8f2a017c76af25234afc7c380550e9c93135c) 
1"""
2Test basic std::array functionality.
3"""
4
5from lldbsuite.test.decorators import *
6from lldbsuite.test.lldbtest import *
7from lldbsuite.test import lldbutil
8
9
10class TestCase(TestBase):
11
12    @add_test_categories(["libc++"])
13    @skipIf(compiler=no_match("clang"))
14    def test(self):
15        self.build()
16
17        lldbutil.run_to_source_breakpoint(self,
18                                          "// Set break point at this line.",
19                                          lldb.SBFileSpec("main.cpp"))
20
21        self.runCmd("settings set target.import-std-module true")
22
23
24        # Test inspecting an array of integers.
25        array_type = "std::array<int, 3>"
26        size_type = "std::array::size_type"
27        value_type = array_type + "::value_type"
28
29        iterator = array_type + "::iterator"
30        riterator = array_type + "::reverse_iterator"
31
32        self.expect_expr("a",
33                         result_type=array_type,
34                         result_children=[
35                             ValueCheck(name="__elems_", children=[
36                                 ValueCheck(value="3"),
37                                 ValueCheck(value="1"),
38                                 ValueCheck(value="2"),
39                             ])
40                         ])
41        self.expect_expr("a.size()", result_type=size_type, result_value="3")
42        self.expect_expr("a.front()", result_type=value_type, result_value="3")
43        self.expect_expr("a[1]", result_type=value_type, result_value="1")
44        self.expect_expr("a.back()", result_type=value_type, result_value="2")
45
46        # Both are just pointers to the underlying elements.
47        self.expect_expr("a.begin()", result_type=iterator)
48        self.expect_expr("a.rbegin()", result_type=riterator)
49
50        self.expect_expr("*a.begin()", result_type=value_type, result_value="3")
51        self.expect_expr("*a.rbegin()", result_type="int", result_value="2")
52
53        self.expect_expr("a.at(0)", result_type=value_type, result_value="3")
54
55
56        # Same again with an array that has an element type from debug info.
57        array_type = "std::array<DbgInfo, 1>"
58        size_type = "std::array::size_type"
59        value_type = array_type + "::value_type"
60
61        iterator = array_type + "::iterator"
62        riterator = array_type + "::reverse_iterator"
63        dbg_info_elem_children = [ValueCheck(value="4")]
64        dbg_info_elem = [ValueCheck(children=dbg_info_elem_children)]
65
66        self.expect_expr("b",
67                         result_type=array_type,
68                         result_children=[
69                             ValueCheck(name="__elems_", children=dbg_info_elem)
70                         ])
71        self.expect_expr("b.size()", result_type=size_type, result_value="1")
72        self.expect_expr("b.front()", result_type=value_type, result_children=dbg_info_elem_children)
73        self.expect_expr("b[0]", result_type=value_type, result_children=dbg_info_elem_children)
74        self.expect_expr("b.back()", result_type=value_type, result_children=dbg_info_elem_children)
75
76        # Both are just pointers to the underlying elements.
77        self.expect_expr("b.begin()", result_type=iterator)
78        self.expect_expr("b.rbegin()", result_type=riterator)
79
80        self.expect_expr("*b.begin()", result_type=value_type, result_children=dbg_info_elem_children)
81        self.expect_expr("*b.rbegin()", result_type="DbgInfo", result_children=dbg_info_elem_children)
82
83        self.expect_expr("b.at(0)", result_type=value_type, result_children=dbg_info_elem_children)
84
85