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