1e0e7bbebSRaphael Isemann"""
2e0e7bbebSRaphael IsemannTest default template arguments.
3e0e7bbebSRaphael Isemann"""
4e0e7bbebSRaphael Isemann
5e0e7bbebSRaphael Isemannimport lldb
6e0e7bbebSRaphael Isemannfrom lldbsuite.test.decorators import *
7e0e7bbebSRaphael Isemannfrom lldbsuite.test.lldbtest import *
8e0e7bbebSRaphael Isemannfrom lldbsuite.test import lldbutil
9e0e7bbebSRaphael Isemann
10*1b9f214eSJonas Devlieghereclass TestDefaultTemplateArgs(TestBase):
11e0e7bbebSRaphael Isemann
12e0e7bbebSRaphael Isemann    @no_debug_info_test
13e0e7bbebSRaphael Isemann    def test(self):
14e0e7bbebSRaphael Isemann        self.build()
15e0e7bbebSRaphael Isemann        lldbutil.run_to_source_breakpoint(self, "// break here", lldb.SBFileSpec("main.cpp"))
16e0e7bbebSRaphael Isemann
17e0e7bbebSRaphael Isemann        # Declare a template with a template argument that has a default argument.
18e0e7bbebSRaphael Isemann        self.expect("expr --top-level -- template<typename T = int> struct $X { int v; };")
19e0e7bbebSRaphael Isemann
20e0e7bbebSRaphael Isemann        # The type we display to the user should omit the argument with the default
21e0e7bbebSRaphael Isemann        # value.
22e0e7bbebSRaphael Isemann        result = self.expect_expr("$X<> x; x",  result_type="$X<>")
23e0e7bbebSRaphael Isemann        # The internal name should also always show all arguments (even if they
24e0e7bbebSRaphael Isemann        # have their default value).
25e0e7bbebSRaphael Isemann        self.assertEqual(result.GetTypeName(), "$X<int>")
26e0e7bbebSRaphael Isemann
27e0e7bbebSRaphael Isemann        # Test the template but this time specify a non-default value for the
28e0e7bbebSRaphael Isemann        # template argument.
29e0e7bbebSRaphael Isemann        # Both internal type name and the one we display to the user should
30e0e7bbebSRaphael Isemann        # show the non-default value in the type name.
31e0e7bbebSRaphael Isemann        result = self.expect_expr("$X<long> x; x", result_type="$X<long>")
32e0e7bbebSRaphael Isemann        self.assertEqual(result.GetTypeName(), "$X<long>")
33e0e7bbebSRaphael Isemann
34e0e7bbebSRaphael Isemann        # Test that the formatters are using the internal type names that
35e0e7bbebSRaphael Isemann        # always include all template arguments.
36e0e7bbebSRaphael Isemann        self.expect("type summary add '$X<int>' --summary-string 'summary1'")
37e0e7bbebSRaphael Isemann        self.expect_expr("$X<> x; x", result_summary="summary1")
38e0e7bbebSRaphael Isemann        self.expect("type summary add '$X<long>' --summary-string 'summary2'")
39e0e7bbebSRaphael Isemann        self.expect_expr("$X<long> x; x", result_summary="summary2")
40