1 /* Note: the RUN lines are near the end of the file, since line/column 2 matter for this test. */ 3 #define IBAction void 4 @protocol P1 5 - (id)abc; 6 - (id)initWithInt:(int)x; 7 - (id)initWithTwoInts:(inout int)x second:(int)y; 8 - (int)getInt; 9 - (id)getSelf; 10 @end 11 @protocol P1; 12 @protocol P2<P1> 13 + (id)alloc; 14 @end 15 16 @interface A <P1> 17 - (id)init; 18 - (int)getValue; 19 @end 20 21 @interface B : A<P2> 22 - (id)initWithInt:(int)x; 23 - (int)getSecondValue; 24 - (id)getSelf; 25 - (int)setValue:(int)x; 26 @end 27 28 @interface B (FooBar) 29 - (id)categoryFunction:(int)x; 30 @end 31 32 @implementation B 33 - (int)getSecondValue { return 0; } 34 - (id)init { return self; } 35 - (id)getSelf { return self; } 36 - (void)setValue:(int)x { } 37 - (id)initWithTwoInts:(int)x second:(int)y { return self; } 38 + (id)alloc { return 0; } 39 @end 40 41 @implementation B (FooBar) 42 - (id)categoryFunction:(int)x { return self; } 43 @end 44 45 @interface C 46 - (int)first:(int)x second:(float)y third:(double)z; 47 - (id)first:(int)xx second2:(float)y2 third:(double)z; 48 - (void*)first:(int)xxx second3:(float)y3 third:(double)z; 49 @end 50 51 @interface D 52 - (int)first:(int)x second2:(float)y third:(double)z; 53 @end 54 55 @implementation D 56 - (int)first:(int)x second2:(float)y third:(double)z { } 57 @end 58 59 @interface Passing 60 - (oneway void)method:(in id)x; 61 @end 62 63 @interface Gaps 64 - (void)method:(int)x :(int)y; 65 @end 66 67 @implementation Gaps 68 - (void)method:(int)x :(int)y {} 69 @end 70 71 @implementation Passing 72 - (oneway void)method:(in id x) {} 73 @end 74 75 typedef A MyObject; 76 typedef A *MyObjectRef; 77 78 @interface I1 79 -(Class<P1>)meth; 80 -(MyObject <P1> *)meth2; 81 -(MyObjectRef)meth3; 82 @end 83 84 @implementation I1 85 -(void)foo {} 86 @end 87 88 @interface I2 89 -(nonnull I2 *)produceI2:(nullable I2 *)i2; 90 -(int *__nullable *__nullable)something:(void(^__nullable)(int *__nullable))b; 91 @property (nullable, strong) id prop; 92 @property (nullable, strong) void(^propWB)(int *_Nullable); 93 @end 94 95 @implementation I2 96 -(void)foo {} 97 @end 98 99 #pragma clang assume_nonnull begin 100 @interface I3 101 -(I3 *)produceI3:(I3 *)i3; 102 -(instancetype)getI3; 103 @end 104 #pragma clang assume_nonnull end 105 106 @implementation I3 107 -(void)foo {} 108 @end 109 110 // RUN: c-index-test -code-completion-at=%s:17:3 %s | FileCheck -check-prefix=CHECK-CC1 %s 111 // CHECK-CC1: ObjCInstanceMethodDecl:{LeftParen (}{Text id}{RightParen )}{TypedText abc} (40) 112 // CHECK-CC1: ObjCInstanceMethodDecl:{LeftParen (}{Text int}{RightParen )}{TypedText getInt} (40) 113 // CHECK-CC1: ObjCInstanceMethodDecl:{LeftParen (}{Text id}{RightParen )}{TypedText getSelf} (40) 114 // CHECK-CC1: ObjCInstanceMethodDecl:{LeftParen (}{Text id}{RightParen )}{TypedText initWithInt}{TypedText :}{LeftParen (}{Text int}{RightParen )}{Text x} (40) 115 // CHECK-CC1: ObjCInstanceMethodDecl:{LeftParen (}{Text id}{RightParen )}{TypedText initWithTwoInts}{TypedText :}{LeftParen (}{Text inout }{Text int}{RightParen )}{Text x}{HorizontalSpace }{TypedText second:}{LeftParen (}{Text int}{RightParen )}{Text y} (40) 116 // RUN: c-index-test -code-completion-at=%s:17:7 %s | FileCheck -check-prefix=CHECK-CC2 %s 117 // CHECK-CC2: ObjCInstanceMethodDecl:{TypedText abc} 118 // CHECK-CC2-NEXT: ObjCInstanceMethodDecl:{TypedText getSelf} 119 // CHECK-CC2: ObjCInstanceMethodDecl:{TypedText initWithInt}{TypedText :}{LeftParen (}{Text int}{RightParen )}{Text x} 120 // CHECK-CC2: ObjCInstanceMethodDecl:{TypedText initWithTwoInts}{TypedText :}{LeftParen (}{Text inout }{Text int}{RightParen )}{Text x}{HorizontalSpace }{TypedText second:}{LeftParen (}{Text int}{RightParen )}{Text y} 121 // RUN: c-index-test -code-completion-at=%s:24:7 %s | FileCheck -check-prefix=CHECK-CC3 %s 122 // CHECK-CC3: ObjCInstanceMethodDecl:{TypedText abc} 123 // CHECK-CC3-NEXT: ObjCInstanceMethodDecl:{TypedText getSelf} 124 // CHECK-CC3: ObjCInstanceMethodDecl:{TypedText init} 125 // CHECK-CC3: ObjCInstanceMethodDecl:{TypedText initWithInt}{TypedText :}{LeftParen (}{Text int}{RightParen )}{Text x} 126 // CHECK-CC3: ObjCInstanceMethodDecl:{TypedText initWithTwoInts}{TypedText :}{LeftParen (}{Text inout }{Text int}{RightParen )}{Text x}{HorizontalSpace }{TypedText second:}{LeftParen (}{Text int}{RightParen )}{Text y} 127 // RUN: env CINDEXTEST_CODE_COMPLETE_PATTERNS=1 c-index-test -code-completion-at=%s:33:3 %s | FileCheck -check-prefix=CHECK-CC4 %s 128 // CHECK-CC4: ObjCInstanceMethodDecl:{LeftParen (}{Text id}{RightParen )}{TypedText abc}{HorizontalSpace }{LeftBrace {}{VerticalSpace }{Text return}{HorizontalSpace }{Placeholder expression}{SemiColon ;}{VerticalSpace }{RightBrace }} (42) 129 // CHECK-CC4: ObjCInstanceMethodDecl:{LeftParen (}{Text int}{RightParen )}{TypedText getInt}{HorizontalSpace }{LeftBrace {}{VerticalSpace 130 // CHECK-CC4: ObjCInstanceMethodDecl:{LeftParen (}{Text int}{RightParen )}{TypedText getSecondValue}{HorizontalSpace }{LeftBrace {}{VerticalSpace 131 // CHECK-CC4: ObjCInstanceMethodDecl:{LeftParen (}{Text id}{RightParen )}{TypedText getSelf}{HorizontalSpace }{LeftBrace {}{VerticalSpace }{Text return}{HorizontalSpace }{Placeholder expression}{SemiColon ;}{VerticalSpace }{RightBrace }} (40) 132 // CHECK-CC4: ObjCInstanceMethodDecl:{LeftParen (}{Text id}{RightParen )}{TypedText initWithInt}{TypedText :}{LeftParen (}{Text int}{RightParen )}{Text x}{HorizontalSpace }{LeftBrace {}{VerticalSpace 133 // CHECK-CC4: ObjCInstanceMethodDecl:{LeftParen (}{Text id}{RightParen )}{TypedText initWithTwoInts}{TypedText :}{LeftParen (}{Text inout }{Text int}{RightParen )}{Text x}{HorizontalSpace }{TypedText second:}{LeftParen (}{Text int}{RightParen )}{Text y}{HorizontalSpace }{LeftBrace {}{VerticalSpace 134 // CHECK-CC4: ObjCInstanceMethodDecl:{LeftParen (}{Text int}{RightParen )}{TypedText setValue}{TypedText :}{LeftParen (}{Text int}{RightParen )}{Text x}{HorizontalSpace }{LeftBrace {}{VerticalSpace 135 // RUN: env CINDEXTEST_CODE_COMPLETE_PATTERNS=1 c-index-test -code-completion-at=%s:33:8 %s | FileCheck -check-prefix=CHECK-CC5 %s 136 // CHECK-CC5: ObjCInstanceMethodDecl:{TypedText getInt}{HorizontalSpace }{LeftBrace {}{VerticalSpace }{Text return}{HorizontalSpace }{Placeholder expression}{SemiColon ;}{VerticalSpace }{RightBrace }} (42) 137 // CHECK-CC5: ObjCInstanceMethodDecl:{TypedText getSecondValue}{HorizontalSpace }{LeftBrace {}{VerticalSpace }{Text return}{HorizontalSpace }{Placeholder expression}{SemiColon ;}{VerticalSpace }{RightBrace }} (40) 138 // CHECK-CC5-NOT: {TypedText getSelf}{HorizontalSpace }{LeftBrace {}{VerticalSpace 139 // CHECK-CC5: ObjCInstanceMethodDecl:{TypedText setValue}{TypedText :}{LeftParen (}{Text int}{RightParen )}{Text x}{HorizontalSpace }{LeftBrace {}{VerticalSpace 140 // RUN: env CINDEXTEST_CODE_COMPLETE_PATTERNS=1 c-index-test -code-completion-at=%s:37:7 %s | FileCheck -check-prefix=CHECK-CC6 %s 141 // CHECK-CC6: ObjCInstanceMethodDecl:{TypedText abc}{HorizontalSpace }{LeftBrace {}{VerticalSpace 142 // CHECK-CC6: ObjCInstanceMethodDecl:{TypedText getSelf}{HorizontalSpace }{LeftBrace {}{VerticalSpace }{Text return}{HorizontalSpace }{Placeholder expression}{SemiColon ;}{VerticalSpace }{RightBrace }} (40) 143 // CHECK-CC6: ObjCInstanceMethodDecl:{TypedText initWithInt}{TypedText :}{LeftParen (}{Text int}{RightParen )}{Text x}{HorizontalSpace }{LeftBrace {}{VerticalSpace 144 // CHECK-CC6: ObjCInstanceMethodDecl:{TypedText initWithTwoInts}{TypedText :}{LeftParen (}{Text inout }{Text int}{RightParen )}{Text x}{HorizontalSpace }{TypedText second:}{LeftParen (}{Text int}{RightParen )}{Text y}{HorizontalSpace }{LeftBrace {}{VerticalSpace 145 // RUN: env CINDEXTEST_CODE_COMPLETE_PATTERNS=1 c-index-test -code-completion-at=%s:42:3 %s | FileCheck -check-prefix=CHECK-CC7 %s 146 // CHECK-CC7: ObjCInstanceMethodDecl:{LeftParen (}{Text id}{RightParen )}{TypedText abc}{HorizontalSpace }{LeftBrace {}{VerticalSpace }{Text return}{HorizontalSpace }{Placeholder expression}{SemiColon ;}{VerticalSpace }{RightBrace }} (42) 147 // CHECK-CC7: ObjCInstanceMethodDecl:{LeftParen (}{Text id}{RightParen )}{TypedText categoryFunction}{TypedText :}{LeftParen (}{Text int}{RightParen )}{Text x}{HorizontalSpace }{LeftBrace {}{VerticalSpace 148 // CHECK-CC7: ObjCInstanceMethodDecl:{LeftParen (}{Text id}{RightParen )}{TypedText getSelf}{HorizontalSpace }{LeftBrace {}{VerticalSpace }{Text return}{HorizontalSpace }{Placeholder expression}{SemiColon ;}{VerticalSpace }{RightBrace }} (42) 149 // RUN: env CINDEXTEST_CODE_COMPLETE_PATTERNS=1 c-index-test -code-completion-at=%s:52:21 %s | FileCheck -check-prefix=CHECK-CC8 %s 150 // CHECK-CC8: ObjCInstanceMethodDecl:{ResultType id}{Informative first:}{TypedText second2:}{Text (float)y2}{HorizontalSpace }{TypedText third:}{Text (double)z} (35) 151 // CHECK-CC8: ObjCInstanceMethodDecl:{ResultType void *}{Informative first:}{TypedText second3:}{Text (float)y3}{HorizontalSpace }{TypedText third:}{Text (double)z} (35) 152 // CHECK-CC8: ObjCInstanceMethodDecl:{ResultType int}{Informative first:}{TypedText second:}{Text (float)y}{HorizontalSpace }{TypedText third:}{Text (double)z} (8) 153 // RUN: env CINDEXTEST_CODE_COMPLETE_PATTERNS=1 c-index-test -code-completion-at=%s:52:19 %s | FileCheck -check-prefix=CHECK-CC9 %s 154 // CHECK-CC9: NotImplemented:{TypedText x} (40) 155 // CHECK-CC9: NotImplemented:{TypedText xx} (40) 156 // CHECK-CC9: NotImplemented:{TypedText xxx} (40) 157 // RUN: env CINDEXTEST_CODE_COMPLETE_PATTERNS=1 c-index-test -code-completion-at=%s:52:36 %s | FileCheck -check-prefix=CHECK-CCA %s 158 // CHECK-CCA: NotImplemented:{TypedText y2} (40) 159 // RUN: c-index-test -code-completion-at=%s:56:3 %s | FileCheck -check-prefix=CHECK-CCB %s 160 // CHECK-CCB: ObjCInstanceMethodDecl:{LeftParen (}{Text int}{RightParen )}{TypedText first}{TypedText :}{LeftParen (}{Text int}{RightParen )}{Text x}{HorizontalSpace }{TypedText second2:}{LeftParen (}{Text float}{RightParen )}{Text y}{HorizontalSpace }{TypedText third:}{LeftParen (}{Text double}{RightParen )}{Text z} (40) 161 // RUN: c-index-test -code-completion-at=%s:56:8 %s | FileCheck -check-prefix=CHECK-CCC %s 162 // CHECK-CCC: ObjCInstanceMethodDecl:{TypedText first}{TypedText :}{LeftParen (}{Text int}{RightParen )}{Text x}{HorizontalSpace }{TypedText second2:}{LeftParen (}{Text float}{RightParen )}{Text y}{HorizontalSpace }{TypedText third:}{LeftParen (}{Text double}{RightParen )}{Text z} (40) 163 // RUN: c-index-test -code-completion-at=%s:56:21 %s | FileCheck -check-prefix=CHECK-CCD %s 164 // CHECK-CCD: ObjCInstanceMethodDecl:{ResultType id}{Informative first:}{TypedText second2:}{Text (float)y2}{HorizontalSpace }{TypedText third:}{Text (double)z} (35) 165 // CHECK-CCD: ObjCInstanceMethodDecl:{ResultType int}{Informative first:}{TypedText second2:}{Text (float)y}{HorizontalSpace }{TypedText third:}{Text (double)z} (8) 166 // CHECK-CCD: ObjCInstanceMethodDecl:{ResultType void *}{Informative first:}{TypedText second3:}{Text (float)y3}{HorizontalSpace }{TypedText third:}{Text (double)z} (35) 167 // CHECK-CCD: ObjCInstanceMethodDecl:{ResultType int}{Informative first:}{TypedText second:}{Text (float)y}{HorizontalSpace }{TypedText third:}{Text (double)z} (8) 168 // RUN: c-index-test -code-completion-at=%s:56:38 %s | FileCheck -check-prefix=CHECK-CCE %s 169 // CHECK-CCE: ObjCInstanceMethodDecl:{ResultType id}{Informative first:}{Informative second2:}{TypedText third:}{Text (double)z} (35) 170 // CHECK-CCE: ObjCInstanceMethodDecl:{ResultType int}{Informative first:}{Informative second2:}{TypedText third:}{Text (double)z} (8) 171 // RUN: c-index-test -code-completion-at=%s:60:4 %s | FileCheck -check-prefix=CHECK-CCF %s 172 // CHECK-CCF: ObjCInterfaceDecl:{TypedText A} (50) 173 // CHECK-CCF: ObjCInterfaceDecl:{TypedText B} (50) 174 // CHECK-CCF: NotImplemented:{TypedText bycopy} (40) 175 // CHECK-CCF: NotImplemented:{TypedText byref} (40) 176 // CHECK-CCF: NotImplemented:{TypedText in} (40) 177 // CHECK-CCF: NotImplemented:{TypedText inout} (40) 178 // CHECK-CCF: NotImplemented:{TypedText nonnull} (40) 179 // CHECK-CCF: NotImplemented:{TypedText nullable} (40) 180 // CHECK-CCF: NotImplemented:{TypedText oneway} (40) 181 // CHECK-CCF: NotImplemented:{TypedText out} (40) 182 // CHECK-CCF: NotImplemented:{TypedText unsigned} (50) 183 // CHECK-CCF: NotImplemented:{TypedText void} (50) 184 // CHECK-CCF: NotImplemented:{TypedText volatile} (50) 185 // RUN: c-index-test -code-completion-at=%s:60:11 %s | FileCheck -check-prefix=CHECK-CCG %s 186 // CHECK-CCG: ObjCInterfaceDecl:{TypedText A} (50) 187 // CHECK-CCG: ObjCInterfaceDecl:{TypedText B} (50) 188 // CHECK-CCG-NOT: NotImplemented:{TypedText bycopy} (40) 189 // CHECK-CCG-NOT: NotImplemented:{TypedText byref} (40) 190 // CHECK-CCG: NotImplemented:{TypedText in} (40) 191 // CHECK-CCG: NotImplemented:{TypedText inout} (40) 192 // CHECK-CCG-NOT: NotImplemented:{TypedText oneway} (40) 193 // CHECK-CCG: NotImplemented:{TypedText out} (40) 194 // CHECK-CCG: NotImplemented:{TypedText unsigned} (50) 195 // CHECK-CCG: NotImplemented:{TypedText void} (50) 196 // CHECK-CCG: NotImplemented:{TypedText volatile} (50) 197 // RUN: c-index-test -code-completion-at=%s:60:24 %s | FileCheck -check-prefix=CHECK-CCF %s 198 // RUN: c-index-test -code-completion-at=%s:60:26 %s | FileCheck -check-prefix=CHECK-CCH %s 199 // CHECK-CCH: ObjCInterfaceDecl:{TypedText A} (50) 200 // CHECK-CCH: ObjCInterfaceDecl:{TypedText B} (50) 201 // CHECK-CCH: NotImplemented:{TypedText bycopy} (40) 202 // CHECK-CCH: NotImplemented:{TypedText byref} (40) 203 // CHECK-CCH-NOT: NotImplemented:{TypedText in} (40) 204 // CHECK-CCH: NotImplemented:{TypedText inout} (40) 205 // CHECK-CCH: NotImplemented:{TypedText oneway} (40) 206 // CHECK-CCH: NotImplemented:{TypedText out} (40) 207 // CHECK-CCH: NotImplemented:{TypedText unsigned} (50) 208 // CHECK-CCH: NotImplemented:{TypedText void} (50) 209 // CHECK-CCH: NotImplemented:{TypedText volatile} (50) 210 211 // IBAction completion 212 // RUN: c-index-test -code-completion-at=%s:5:4 %s | FileCheck -check-prefix=CHECK-IBACTION %s 213 // CHECK-IBACTION: NotImplemented:{TypedText IBAction}{RightParen )}{Placeholder selector}{Colon :}{LeftParen (}{Text id}{RightParen )}{Text sender} (40) 214 215 // <rdar://problem/8939352> 216 // RUN: c-index-test -code-completion-at=%s:68:9 %s | FileCheck -check-prefix=CHECK-8939352 %s 217 // CHECK-8939352: ObjCInstanceMethodDecl:{TypedText method}{TypedText :}{LeftParen (}{Text int}{RightParen )}{Text x}{HorizontalSpace }{TypedText :}{LeftParen (}{Text int}{RightParen )}{Text y} (40) 218 219 220 // RUN: c-index-test -code-completion-at=%s:72:2 %s | FileCheck -check-prefix=CHECK-ONEWAY %s 221 // CHECK-ONEWAY: ObjCInstanceMethodDecl:{LeftParen (}{Text oneway }{Text void}{RightParen )}{TypedText method}{TypedText :}{LeftParen (}{Text in }{Text id}{RightParen )}{Text x} (40) 222 223 // RUN: c-index-test -code-completion-at=%s:85:2 %s | FileCheck -check-prefix=CHECK-CLASSTY %s 224 // CHECK-CLASSTY: ObjCInstanceMethodDecl:{LeftParen (}{Text Class<P1>}{RightParen )}{TypedText meth} 225 // CHECK-CLASSTY: ObjCInstanceMethodDecl:{LeftParen (}{Text MyObject<P1> *}{RightParen )}{TypedText meth2} 226 // CHECK-CLASSTY: ObjCInstanceMethodDecl:{LeftParen (}{Text MyObjectRef}{RightParen )}{TypedText meth3} 227 228 // RUN: c-index-test -code-completion-at=%s:96:2 %s -target x86_64-apple-macosx10.7 | FileCheck -check-prefix=CHECK-NULLABILITY %s 229 // CHECK-NULLABILITY: ObjCInstanceMethodDecl:{LeftParen (}{Text I2 *}{RightParen )}{TypedText produceI2}{TypedText :}{LeftParen (}{Text I2 *}{RightParen )}{Text i2} (40) 230 // CHECK-NULLABILITY: ObjCInstanceMethodDecl:{LeftParen (}{Text id}{RightParen )}{TypedText prop} 231 // CHECK-NULLABILITY: ObjCInstanceMethodDecl:{LeftParen (}{Text void (^)(int * _Nullable)}{RightParen )}{TypedText propWB} 232 // CHECK-NULLABILITY: ObjCInstanceMethodDecl:{LeftParen (}{Text void}{RightParen )}{TypedText setProp}{TypedText :}{LeftParen (}{Text id}{RightParen )}{Text prop} 233 // CHECK-NULLABILITY: ObjCInstanceMethodDecl:{LeftParen (}{Text void}{RightParen )}{TypedText setPropWB}{TypedText :}{LeftParen (}{Text void (^)(int * _Nullable)}{RightParen )}{Text propWB} 234 // CHECK-NULLABILITY: ObjCInstanceMethodDecl:{LeftParen (}{Text int * _Nullable *}{RightParen )}{TypedText something}{TypedText :}{LeftParen (}{Text void (^)(int * _Nullable)}{RightParen )}{Text b} 235 236 // RUN: c-index-test -code-completion-at=%s:107:2 %s -target x86_64-apple-macosx10.7 | FileCheck -check-prefix=CHECK-NULLABILITY2 %s 237 // CHECK-NULLABILITY2: ObjCInstanceMethodDecl:{LeftParen (}{Text instancetype}{RightParen )}{TypedText getI3} (40) 238 // CHECK-NULLABILITY2: ObjCInstanceMethodDecl:{LeftParen (}{Text I3 *}{RightParen )}{TypedText produceI3}{TypedText :}{LeftParen (}{Text I3 *}{RightParen )}{Text i3} (40) 239