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