Home | History | Annotate | Download | only in Index
      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