granicus.if.org Git - clang/blob - test/Modules/objc-categories.m

   1 // RUN: rm -rf %t
   2 // RUN: %clang_cc1 -fmodules -fimplicit-module-maps -fmodules-cache-path=%t -x objective-c -fmodule-name=category_top -emit-module %S/Inputs/module.map
   3 // RUN: %clang_cc1 -fmodules -fimplicit-module-maps -fmodules-cache-path=%t -x objective-c -fmodule-name=category_left -emit-module %S/Inputs/module.map
   4 // RUN: %clang_cc1 -fmodules -fimplicit-module-maps -fmodules-cache-path=%t -x objective-c -fmodule-name=category_right -emit-module %S/Inputs/module.map
   5 // RUN: %clang_cc1 -fmodules -fimplicit-module-maps -fmodules-cache-path=%t -x objective-c -fmodule-name=category_bottom -emit-module %S/Inputs/module.map
   6 // RUN: %clang_cc1 -fmodules -fimplicit-module-maps -fmodules-cache-path=%t -x objective-c -fmodule-name=category_other -emit-module %S/Inputs/module.map
   7 // RUN: %clang_cc1 -fmodules -fimplicit-module-maps -fmodules-cache-path=%t -I %S/Inputs %s -verify
   8
   9 @import category_bottom;
  10
  11 // expected-note@Inputs/category_left.h:14 {{previous definition}}
  12 // expected-warning@Inputs/category_right.h:12 {{duplicate definition of category}}
  13 // expected-note@Inputs/category_top.h:1 {{receiver is instance of class declared here}}
  14
  15 @interface Foo(Source)
  16 -(void)source;
  17 @end
  18
  19 void test(Foo *foo, LeftFoo *leftFoo) {
  20   [foo source];
  21   [foo bottom];
  22   [foo left];
  23   [foo right1];
  24   [foo right2];
  25   [foo top];
  26   [foo top2];
  27   [foo top3];
  28
  29   [leftFoo left];
  30   [leftFoo bottom];
  31 }
  32
  33 // Load another module that also adds categories to Foo, verify that
  34 // we see those categories.
  35 @import category_other;
  36
  37 void test_other(Foo *foo) {
  38   [foo other];
  39 }
  40
  41 // Make sure we don't see categories that should be hidden
  42 void test_hidden_all_errors(Foo *foo) {
  43   [foo left_sub]; // expected-warning{{instance method '-left_sub' not found (return type defaults to 'id')}}
  44   foo.right_sub_prop = foo; // expected-error{{property 'right_sub_prop' not found on object of type 'Foo *'}}
  45   int i = foo->right_sub_ivar; // expected-error{{'Foo' does not have a member named 'right_sub_ivar'}}
  46   id<P1> p1 = foo; // expected-warning{{initializing 'id<P1>' with an expression of incompatible type 'Foo *'}}
  47   id<P2> p2 = foo; // expected-warning{{initializing 'id<P2>' with an expression of incompatible type 'Foo *'}}
  48   id<P3> p3;
  49   [p3 p3_method]; // expected-warning{{instance method '-p3_method' not found (return type defaults to 'id')}}
  50   id<P4> p4;
  51   [p4 p4_method]; // expected-warning{{instance method '-p4_method' not found (return type defaults to 'id')}}
  52   id p3p = p3.p3_prop; // expected-error{{property 'p3_prop' not found on object of type 'id<P3>'}}
  53   p3p = foo.p3_prop; // expected-error{{property 'p3_prop' not found on object of type 'Foo *'}}
  54   id p4p = p4.p4_prop; // expected-error{{property 'p4_prop' not found on object of type 'id<P4>'}}
  55   p4p = foo.p4_prop; // expected-error{{property 'p4_prop' not found on object of type 'Foo *'}}
  56 }
  57
  58 @import category_left.sub;
  59
  60 void test_hidden_right_errors(Foo *foo) {
  61   // These are okay
  62   [foo left_sub]; // okay
  63   id<P1> p1 = foo;
  64   id<P3> p3;
  65   [p3 p3_method];
  66   id p3p = p3.p3_prop;
  67   p3p = foo.p3_prop;
  68   // These should fail
  69   foo.right_sub_prop = foo; // expected-error{{property 'right_sub_prop' not found on object of type 'Foo *'}}
  70   int i = foo->right_sub_ivar; // expected-error{{'Foo' does not have a member named 'right_sub_ivar'}}
  71   id<P2> p2 = foo; // expected-warning{{initializing 'id<P2>' with an expression of incompatible type 'Foo *'}}
  72   id<P4> p4;
  73   [p4 p4_method]; // expected-warning{{instance method '-p4_method' not found (return type defaults to 'id')}}
  74   id p4p = p4.p4_prop; // expected-error{{property 'p4_prop' not found on object of type 'id<P4>'}}
  75   p4p = foo.p4_prop; // expected-error{{property 'p4_prop' not found on object of type 'Foo *'; did you mean 'p3_prop'?}}
  76   // expected-note@Inputs/category_left_sub.h:7{{'p3_prop' declared here}}
  77 }
  78
  79 @import category_right.sub;
  80
  81 void test_hidden_okay(Foo *foo) {
  82   [foo left_sub];
  83   foo.right_sub_prop = foo;
  84   int i = foo->right_sub_ivar;
  85   id<P1> p1 = foo;
  86   id<P2> p2 = foo;
  87   id<P3> p3;
  88   [p3 p3_method];
  89   id<P4> p4;
  90   [p4 p4_method];
  91   id p3p = p3.p3_prop;
  92   p3p = foo.p3_prop;
  93   id p4p = p4.p4_prop;
  94   p4p = foo.p4_prop;
  95 }