test/Index/complete-method-decls.m

   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:27 %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)