annotate-nested-name-specifier.cpp revision 44cd9f9d686dfdb9ad16113c41c2dca1da35a646
1namespace outer { 2 namespace inner { 3 template<typename T> 4 struct vector { 5 typedef T* iterator; 6 }; 7 } 8} 9 10namespace outer_alias = outer; 11 12struct X { }; 13 14using outer_alias::inner::vector; 15 16struct X_vector : outer_alias::inner::vector<X> { 17 using outer_alias::inner::vector<X>::iterator; 18}; 19 20namespace outer { 21 namespace inner { 22 template<typename T, unsigned N> 23 struct array { 24 void foo(); 25 static int max_size; 26 }; 27 } 28} 29 30template<typename T, unsigned N> 31void outer::inner::array<T, N>::foo() { 32} 33 34template<typename T, unsigned N> 35int outer::inner::array<T, N>::max_size = 17; 36 37template<typename T> 38struct X2 : outer::inner::vector<T> { 39 typedef T type; 40 using typename outer::inner::vector<type>::iterator; 41 using outer::inner::vector<type>::push_back; 42}; 43 44namespace outer { 45 namespace inner { 46 namespace secret { 47 } 48 } 49} 50 51using namespace outer_alias::inner::secret; 52namespace super_secret = outer_alias::inner::secret; 53 54template<typename T> 55struct X3 { 56 void f(T *t) { 57 t->::outer_alias::inner::template vector<T>::~vector<T>(); 58 } 59}; 60 61namespace outer { 62 namespace inner { 63 void f(int); 64 void f(double); 65 } 66} 67 68template<typename T> 69struct X4 { 70 typedef T type; 71 void g(int); 72 void g(float); 73 74 void h(T t) { 75 ::outer_alias::inner::f(t); 76 ::X4<type>::g(t); 77 this->::X4<type>::g(t); 78 } 79}; 80 81typedef int Integer; 82template<> 83struct X4<Integer> { 84 typedef Integer type; 85 86 void g(int); 87 void g(float); 88 89 void h(type t) { 90 ::outer_alias::inner::f(t); 91 ::X4<type>::g(t); 92 this->::X4<type>::g(t); 93 } 94}; 95 96 97template<typename T> 98struct X5 { 99 typedef T type; 100 typedef typename outer_alias::inner::vector<type>::iterator iter_type; 101 typedef typename outer_alias::inner::vector<int>::iterator int_ptr_type; 102}; 103 104// RUN: c-index-test -test-annotate-tokens=%s:13:1:102:1 %s | FileCheck %s 105 106// CHECK: Keyword: "using" [14:1 - 14:6] UsingDeclaration=vector[4:12] 107// CHECK: Identifier: "outer_alias" [14:7 - 14:18] NamespaceRef=outer_alias:10:11 108// CHECK: Punctuation: "::" [14:18 - 14:20] UsingDeclaration=vector[4:12] 109// CHECK: Identifier: "inner" [14:20 - 14:25] NamespaceRef=inner:2:13 110// CHECK: Punctuation: "::" [14:25 - 14:27] UsingDeclaration=vector[4:12] 111// CHECK: Identifier: "vector" [14:27 - 14:33] OverloadedDeclRef=vector[4:12] 112// CHECK: Punctuation: ";" [14:33 - 14:34] 113// FIXME: Base specifiers, too 114// CHECK: Keyword: "using" [17:3 - 17:8] UsingDeclaration=iterator[5:18] 115// CHECK: Identifier: "outer_alias" [17:9 - 17:20] NamespaceRef=outer_alias:10:11 116// CHECK: Punctuation: "::" [17:20 - 17:22] UsingDeclaration=iterator[5:18] 117// CHECK: Identifier: "inner" [17:22 - 17:27] NamespaceRef=inner:2:13 118// CHECK: Punctuation: "::" [17:27 - 17:29] UsingDeclaration=iterator[5:18] 119// CHECK: Identifier: "vector" [17:29 - 17:35] TemplateRef=vector:4:12 120// CHECK: Punctuation: "<" [17:35 - 17:36] UsingDeclaration=iterator[5:18] 121// CHECK: Identifier: "X" [17:36 - 17:37] TypeRef=struct X:12:8 122// CHECK: Punctuation: ">" [17:37 - 17:38] UsingDeclaration=iterator[5:18] 123// CHECK: Punctuation: "::" [17:38 - 17:40] UsingDeclaration=iterator[5:18] 124// CHECK: Identifier: "iterator" [17:40 - 17:48] OverloadedDeclRef=iterator[5:18] 125 126// CHECK: Keyword: "void" [31:1 - 31:5] CXXMethod=foo:31:33 (Definition) 127// CHECK: Identifier: "outer" [31:6 - 31:11] NamespaceRef=outer:20:11 128// CHECK: Punctuation: "::" [31:11 - 31:13] CXXMethod=foo:31:33 (Definition) 129// CHECK: Identifier: "inner" [31:13 - 31:18] NamespaceRef=inner:21:13 130// CHECK: Punctuation: "::" [31:18 - 31:20] CXXMethod=foo:31:33 (Definition) 131// CHECK: Identifier: "array" [31:20 - 31:25] TemplateRef=array:23:12 132// CHECK: Punctuation: "<" [31:25 - 31:26] CXXMethod=foo:31:33 (Definition) 133// CHECK: Identifier: "T" [31:26 - 31:27] CXXMethod=foo:31:33 (Definition) 134// CHECK: Punctuation: "," [31:27 - 31:28] CXXMethod=foo:31:33 (Definition) 135// CHECK: Identifier: "N" [31:29 - 31:30] DeclRefExpr=N:30:31 136// CHECK: Punctuation: ">" [31:30 - 31:31] CXXMethod=foo:31:33 (Definition) 137// CHECK: Punctuation: "::" [31:31 - 31:33] CXXMethod=foo:31:33 (Definition) 138// CHECK: Identifier: "foo" [31:33 - 31:36] CXXMethod=foo:31:33 (Definition) 139// CHECK: Punctuation: "(" [31:36 - 31:37] CXXMethod=foo:31:33 (Definition) 140// CHECK: Punctuation: ")" [31:37 - 31:38] CXXMethod=foo:31:33 (Definition) 141 142// CHECK: Keyword: "int" [35:1 - 35:4] VarDecl=max_size:35:32 (Definition) 143// CHECK: Identifier: "outer" [35:5 - 35:10] NamespaceRef=outer:20:11 144// CHECK: Punctuation: "::" [35:10 - 35:12] VarDecl=max_size:35:32 (Definition) 145// CHECK: Identifier: "inner" [35:12 - 35:17] NamespaceRef=inner:21:13 146// CHECK: Punctuation: "::" [35:17 - 35:19] VarDecl=max_size:35:32 (Definition) 147// CHECK: Identifier: "array" [35:19 - 35:24] TemplateRef=array:23:12 148// CHECK: Punctuation: "<" [35:24 - 35:25] VarDecl=max_size:35:32 (Definition) 149// CHECK: Identifier: "T" [35:25 - 35:26] VarDecl=max_size:35:32 (Definition) 150// CHECK: Punctuation: "," [35:26 - 35:27] VarDecl=max_size:35:32 (Definition) 151// CHECK: Identifier: "N" [35:28 - 35:29] DeclRefExpr=N:34:31 152// CHECK: Punctuation: ">" [35:29 - 35:30] VarDecl=max_size:35:32 (Definition) 153// CHECK: Punctuation: "::" [35:30 - 35:32] VarDecl=max_size:35:32 (Definition) 154// CHECK: Identifier: "max_size" [35:32 - 35:40] VarDecl=max_size:35:32 (Definition) 155// CHECK: Punctuation: "=" [35:41 - 35:42] VarDecl=max_size:35:32 (Definition) 156// CHECK: Literal: "17" [35:43 - 35:45] UnexposedExpr= 157// CHECK: Punctuation: ";" [35:45 - 35:46] 158 159// CHECK: Keyword: "using" [40:3 - 40:8] UsingDeclaration=iterator:40:46 160// CHECK: Keyword: "typename" [40:9 - 40:17] UsingDeclaration=iterator:40:46 161// CHECK: Identifier: "outer" [40:18 - 40:23] NamespaceRef=outer:20:11 162// CHECK: Punctuation: "::" [40:23 - 40:25] UsingDeclaration=iterator:40:46 163// CHECK: Identifier: "inner" [40:25 - 40:30] NamespaceRef=inner:21:13 164// CHECK: Punctuation: "::" [40:30 - 40:32] UsingDeclaration=iterator:40:46 165// CHECK: Identifier: "vector" [40:32 - 40:38] TemplateRef=vector:4:12 166// CHECK: Punctuation: "<" [40:38 - 40:39] UsingDeclaration=iterator:40:46 167// CHECK: Identifier: "type" [40:39 - 40:43] TypeRef=type:39:13 168// CHECK: Punctuation: ">" [40:43 - 40:44] UsingDeclaration=iterator:40:46 169// CHECK: Punctuation: "::" [40:44 - 40:46] UsingDeclaration=iterator:40:46 170// CHECK: Identifier: "iterator" [40:46 - 40:54] UsingDeclaration=iterator:40:46 171// CHECK: Punctuation: ";" [40:54 - 40:55] ClassTemplate=X2:38:8 (Definition) 172// CHECK: Keyword: "using" [41:3 - 41:8] UsingDeclaration=push_back:41:37 173// CHECK: Identifier: "outer" [41:9 - 41:14] NamespaceRef=outer:20:11 174// CHECK: Punctuation: "::" [41:14 - 41:16] UsingDeclaration=push_back:41:37 175// CHECK: Identifier: "inner" [41:16 - 41:21] NamespaceRef=inner:21:13 176// CHECK: Punctuation: "::" [41:21 - 41:23] UsingDeclaration=push_back:41:37 177// CHECK: Identifier: "vector" [41:23 - 41:29] TemplateRef=vector:4:12 178// CHECK: Punctuation: "<" [41:29 - 41:30] UsingDeclaration=push_back:41:37 179// CHECK: Identifier: "type" [41:30 - 41:34] TypeRef=type:39:13 180// CHECK: Punctuation: ">" [41:34 - 41:35] UsingDeclaration=push_back:41:37 181// CHECK: Punctuation: "::" [41:35 - 41:37] UsingDeclaration=push_back:41:37 182// CHECK: Identifier: "push_back" [41:37 - 41:46] UsingDeclaration=push_back:41:37 183 184// Using directive 185// CHECK: Keyword: "using" [51:1 - 51:6] UsingDirective=:51:37 186// CHECK: Keyword: "namespace" [51:7 - 51:16] UsingDirective=:51:37 187// CHECK: Identifier: "outer_alias" [51:17 - 51:28] NamespaceRef=outer_alias:10:11 188// CHECK: Punctuation: "::" [51:28 - 51:30] UsingDirective=:51:37 189// CHECK: Identifier: "inner" [51:30 - 51:35] NamespaceRef=inner:45:13 190// CHECK: Punctuation: "::" [51:35 - 51:37] UsingDirective=:51:37 191// CHECK: Identifier: "secret" [51:37 - 51:43] NamespaceRef=secret:46:15 192 193// Namespace alias 194// CHECK: Keyword: "namespace" [52:1 - 52:10] NamespaceAlias=super_secret:52:11 195// CHECK: Identifier: "super_secret" [52:11 - 52:23] NamespaceAlias=super_secret:52:11 196// CHECK: Punctuation: "=" [52:24 - 52:25] NamespaceAlias=super_secret:52:11 197// CHECK: Identifier: "outer_alias" [52:26 - 52:37] NamespaceRef=outer_alias:10:11 198// CHECK: Punctuation: "::" [52:37 - 52:39] NamespaceAlias=super_secret:52:11 199// CHECK: Identifier: "inner" [52:39 - 52:44] NamespaceRef=inner:45:13 200// CHECK: Punctuation: "::" [52:44 - 52:46] NamespaceAlias=super_secret:52:11 201// CHECK: Identifier: "secret" [52:46 - 52:52] NamespaceRef=secret:46:15 202// CHECK: Punctuation: ";" [52:52 - 52:53] 203 204// Pseudo-destructor 205// CHECK: Identifier: "t" [57:5 - 57:6] DeclRefExpr=t:56:13 206// CHECK: Punctuation: "->" [57:6 - 57:8] UnexposedExpr= 207// CHECK: Punctuation: "::" [57:8 - 57:10] UnexposedExpr= 208// CHECK: Identifier: "outer_alias" [57:10 - 57:21] NamespaceRef=outer_alias:10:11 209// CHECK: Punctuation: "::" [57:21 - 57:23] UnexposedExpr= 210// CHECK: Identifier: "inner" [57:23 - 57:28] NamespaceRef=inner:45:13 211// CHECK: Punctuation: "::" [57:28 - 57:30] UnexposedExpr= 212// CHECK: Keyword: "template" [57:30 - 57:38] UnexposedExpr= 213// CHECK: Identifier: "vector" [57:39 - 57:45] TemplateRef=vector:4:12 214// CHECK: Punctuation: "<" [57:45 - 57:46] UnexposedExpr= 215// CHECK: Identifier: "T" [57:46 - 57:47] UnexposedExpr= 216// CHECK: Punctuation: ">" [57:47 - 57:48] UnexposedExpr= 217// CHECK: Punctuation: "::" [57:48 - 57:50] UnexposedExpr= 218// CHECK: Punctuation: "~" [57:50 - 57:51] UnexposedExpr= 219// CHECK: Identifier: "vector" [57:51 - 57:57] TemplateRef=vector:4:12 220// CHECK: Punctuation: "<" [57:57 - 57:58] UnexposedExpr= 221// CHECK: Identifier: "T" [57:58 - 57:59] UnexposedExpr= 222// CHECK: Punctuation: ">" [57:59 - 57:60] UnexposedExpr= 223// CHECK: Punctuation: "(" [57:60 - 57:61] CallExpr= 224// CHECK: Punctuation: ")" [57:61 - 57:62] CallExpr= 225 226// Unresolved member and non-member references 227// CHECK: Punctuation: "::" [75:5 - 75:7] UnexposedExpr=[63:10, 64:10] 228// CHECK: Identifier: "outer_alias" [75:7 - 75:18] NamespaceRef=outer_alias:10:11 229// CHECK: Punctuation: "::" [75:18 - 75:20] UnexposedExpr=[63:10, 64:10] 230// CHECK: Identifier: "inner" [75:20 - 75:25] NamespaceRef=inner:62:13 231// CHECK: Punctuation: "::" [75:25 - 75:27] UnexposedExpr=[63:10, 64:10] 232// CHECK: Identifier: "f" [75:27 - 75:28] OverloadedDeclRef=f[63:10, 64:10] 233// CHECK: Punctuation: "(" [75:28 - 75:29] CallExpr= 234// CHECK: Identifier: "t" [75:29 - 75:30] DeclRefExpr=t:74:12 235// CHECK: Punctuation: ")" [75:30 - 75:31] CallExpr= 236// CHECK: Punctuation: "::" [76:5 - 76:7] UnexposedExpr=[71:8, 72:8] 237// CHECK: Identifier: "X4" [76:7 - 76:9] TemplateRef=X4:69:8 238// CHECK: Punctuation: "<" [76:9 - 76:10] UnexposedExpr=[71:8, 72:8] 239// CHECK: Identifier: "type" [76:10 - 76:14] TypeRef=type:70:13 240// CHECK: Punctuation: ">" [76:14 - 76:15] UnexposedExpr=[71:8, 72:8] 241// CHECK: Punctuation: "::" [76:15 - 76:17] UnexposedExpr=[71:8, 72:8] 242// CHECK: Identifier: "g" [76:17 - 76:18] OverloadedDeclRef=g[71:8, 72:8] 243// CHECK: Punctuation: "(" [76:18 - 76:19] CallExpr= 244// CHECK: Identifier: "t" [76:19 - 76:20] DeclRefExpr=t:74:12 245// CHECK: Punctuation: ")" [76:20 - 76:21] CallExpr= 246// CHECK: Punctuation: ";" [76:21 - 76:22] UnexposedStmt= 247// CHECK: Keyword: "this" [77:5 - 77:9] UnexposedExpr= 248// CHECK: Punctuation: "->" [77:9 - 77:11] UnexposedExpr= 249// CHECK: Punctuation: "::" [77:11 - 77:13] UnexposedExpr= 250// CHECK: Identifier: "X4" [77:13 - 77:15] TemplateRef=X4:69:8 251// CHECK: Punctuation: "<" [77:15 - 77:16] UnexposedExpr= 252// CHECK: Identifier: "type" [77:16 - 77:20] TypeRef=type:70:13 253// CHECK: Punctuation: ">" [77:20 - 77:21] UnexposedExpr= 254// CHECK: Punctuation: "::" [77:21 - 77:23] UnexposedExpr= 255// CHECK: Identifier: "g" [77:23 - 77:24] UnexposedExpr= 256// CHECK: Punctuation: "(" [77:24 - 77:25] CallExpr= 257// CHECK: Identifier: "t" [77:25 - 77:26] DeclRefExpr=t:74:12 258// CHECK: Punctuation: ")" [77:26 - 77:27] CallExpr= 259 260// Resolved member and non-member references 261// CHECK: Punctuation: "::" [90:5 - 90:7] DeclRefExpr=f:63:10 262// CHECK: Identifier: "outer_alias" [90:7 - 90:18] NamespaceRef=outer_alias:10:11 263// CHECK: Punctuation: "::" [90:18 - 90:20] DeclRefExpr=f:63:10 264// CHECK: Identifier: "inner" [90:20 - 90:25] NamespaceRef=inner:62:13 265// CHECK: Punctuation: "::" [90:25 - 90:27] DeclRefExpr=f:63:10 266// CHECK: Identifier: "f" [90:27 - 90:28] DeclRefExpr=f:63:10 267// CHECK: Punctuation: "(" [90:28 - 90:29] CallExpr=f:63:10 268// CHECK: Identifier: "t" [90:29 - 90:30] DeclRefExpr=t:89:15 269// CHECK: Punctuation: ")" [90:30 - 90:31] CallExpr=f:63:10 270// CHECK: Punctuation: ";" [90:31 - 90:32] UnexposedStmt= 271// CHECK: Punctuation: "::" [91:5 - 91:7] MemberRefExpr=g:86:8 272// CHECK: Identifier: "X4" [91:7 - 91:9] TemplateRef=X4:69:8 273// CHECK: Punctuation: "<" [91:9 - 91:10] MemberRefExpr=g:86:8 274// CHECK: Identifier: "type" [91:10 - 91:14] TypeRef=type:84:19 275// CHECK: Punctuation: ">" [91:14 - 91:15] MemberRefExpr=g:86:8 276// CHECK: Punctuation: "::" [91:15 - 91:17] MemberRefExpr=g:86:8 277// CHECK: Identifier: "g" [91:17 - 91:18] MemberRefExpr=g:86:8 278// CHECK: Punctuation: "(" [91:18 - 91:19] CallExpr=g:86:8 279// CHECK: Identifier: "t" [91:19 - 91:20] DeclRefExpr=t:89:15 280// CHECK: Punctuation: ")" [91:20 - 91:21] CallExpr=g:86:8 281// CHECK: Punctuation: ";" [91:21 - 91:22] UnexposedStmt= 282// CHECK: Keyword: "this" [92:5 - 92:9] UnexposedExpr= 283// CHECK: Punctuation: "->" [92:9 - 92:11] MemberRefExpr=g:86:8 284// CHECK: Punctuation: "::" [92:11 - 92:13] MemberRefExpr=g:86:8 285// CHECK: Identifier: "X4" [92:13 - 92:15] TemplateRef=X4:69:8 286// CHECK: Punctuation: "<" [92:15 - 92:16] MemberRefExpr=g:86:8 287// CHECK: Identifier: "type" [92:16 - 92:20] TypeRef=type:84:19 288// CHECK: Punctuation: ">" [92:20 - 92:21] MemberRefExpr=g:86:8 289// CHECK: Punctuation: "::" [92:21 - 92:23] MemberRefExpr=g:86:8 290// CHECK: Identifier: "g" [92:23 - 92:24] MemberRefExpr=g:86:8 291// CHECK: Punctuation: "(" [92:24 - 92:25] CallExpr=g:86:8 292// CHECK: Identifier: "t" [92:25 - 92:26] DeclRefExpr=t:89:15 293// CHECK: Punctuation: ")" [92:26 - 92:27] CallExpr=g:86:8 294 295// Dependent name type 296// CHECK: Keyword: "typedef" [100:3 - 100:10] ClassTemplate=X5:98:8 (Definition) 297// CHECK: Keyword: "typename" [100:11 - 100:19] TypedefDecl=iter_type:100:63 (Definition) 298// CHECK: Identifier: "outer_alias" [100:20 - 100:31] NamespaceRef=outer_alias:10:11 299// CHECK: Punctuation: "::" [100:31 - 100:33] TypedefDecl=iter_type:100:63 (Definition) 300// CHECK: Identifier: "inner" [100:33 - 100:38] NamespaceRef=inner:62:13 301// CHECK: Punctuation: "::" [100:38 - 100:40] TypedefDecl=iter_type:100:63 (Definition) 302// CHECK: Identifier: "vector" [100:40 - 100:46] TemplateRef=vector:4:12 303// CHECK: Punctuation: "<" [100:46 - 100:47] TypedefDecl=iter_type:100:63 (Definition) 304// CHECK: Identifier: "type" [100:47 - 100:51] TypeRef=type:99:13 305// CHECK: Punctuation: ">" [100:51 - 100:52] TypedefDecl=iter_type:100:63 (Definition) 306// CHECK: Punctuation: "::" [100:52 - 100:54] TypedefDecl=iter_type:100:63 (Definition) 307// CHECK: Identifier: "iterator" [100:54 - 100:62] TypedefDecl=iter_type:100:63 (Definition) 308// CHECK: Identifier: "iter_type" [100:63 - 100:72] TypedefDecl=iter_type:100:63 (Definition) 309 310 311