clang/test/SemaObjC/protocols-suppress-conformance.m

   1 // RUN: %clang_cc1  -triple x86_64-apple-darwin11 -fsyntax-only -verify %s -Wno-objc-root-class
   2
   3 // Mark this protocol as requiring all of its methods and properties
   4 // to be explicitly implemented in the adopting class.
   5 __attribute__((objc_protocol_requires_explicit_implementation))
   6 @protocol Protocol
   7 - (void) theBestOfTimes; // expected-note {{method 'theBestOfTimes' declared here}}
   8 @property (readonly) id theWorstOfTimes; // expected-note {{property declared here}}
   9 @end
  10
  11 // In this example, ClassA adopts the protocol.  We won't
  12 // provide the implementation here, but this protocol will
  13 // be adopted later by a subclass.
  14 @interface ClassA <Protocol>
  15 - (void) theBestOfTimes;
  16 @property (readonly) id theWorstOfTimes; // expected-note {{property declared here}}
  17 @end
  18
  19 // This class subclasses ClassA (which also adopts 'Protocol').
  20 @interface ClassB : ClassA <Protocol>
  21 @end
  22
  23 @implementation ClassB // expected-warning {{property 'theWorstOfTimes' requires method 'theWorstOfTimes' to be defined - use @synthesize, @dynamic or provide a method implementation in this class implementation}}
  24 @end
  25
  26 @interface ClassB_Good : ClassA <Protocol>
  27 @end
  28
  29 @implementation ClassB_Good // no-warning
  30 - (void) theBestOfTimes {}
  31 @dynamic theWorstOfTimes;
  32 @end
  33
  34 @interface ClassB_AlsoGood : ClassA <Protocol>
  35 @property (readonly) id theWorstOfTimes; // expected-warning {{auto property synthesis will not synthesize property 'theWorstOfTimes'; it will be implemented by its superclass}}
  36 @end
  37
  38 // Default synthesis acts as if @dynamic
  39 // had been written for 'theWorstOfTimes' because
  40 // it is declared in ClassA.  This is okay, since
  41 // the author of ClassB_AlsoGood needs explicitly
  42 // write @property in the @interface.
  43 @implementation ClassB_AlsoGood  // expected-note {{detected while default synthesizing properties in class implementation}}
  44 - (void) theBestOfTimes {}
  45 @end
  46
  47 // Test that inherited protocols do not get the explicit conformance requirement.
  48 @protocol Inherited
  49 - (void) fairIsFoul;
  50 @end
  51
  52 __attribute__((objc_protocol_requires_explicit_implementation))
  53 @protocol Derived <Inherited>
  54 - (void) foulIsFair; // expected-note {{method 'foulIsFair' declared here}}
  55 @end
  56
  57 @interface ClassC <Inherited>
  58 @end
  59
  60 @interface ClassD : ClassC <Derived>
  61 @end
  62
  63 @implementation ClassD // expected-warning {{method 'foulIsFair' in protocol 'Derived' not implemented}}
  64 @end
  65
  66 // Test that the attribute is used correctly.
  67 __attribute__((objc_protocol_requires_explicit_implementation(1+2))) // expected-error {{attribute takes no arguments}}
  68 @protocol AnotherProtocol @end
  69
  70 // Cannot put the attribute on classes or other non-protocol declarations.
  71 __attribute__((objc_protocol_requires_explicit_implementation)) // expected-error {{attribute only applies to Objective-C protocols}}
  72 @interface AnotherClass @end
  73
  74 __attribute__((objc_protocol_requires_explicit_implementation)) // expected-error {{attribute only applies to Objective-C protocols}}
  75 int x;
  76
  77 // Test that inherited protocols with the attribute
  78 // are treated properly.
  79 __attribute__((objc_protocol_requires_explicit_implementation))
  80 @protocol ProtocolA
  81 @required
  82 - (void)rlyeh; // expected-note 2 {{method 'rlyeh' declared here}}
  83 - (void)innsmouth; // expected-note 2 {{method 'innsmouth' declared here}}
  84 @end
  85
  86 @protocol ProtocolB <ProtocolA>
  87 @required
  88 - (void)dunwich;
  89 - (void)innsmouth; // expected-note {{method 'innsmouth' declared here}}
  90 @end
  91
  92 __attribute__((objc_protocol_requires_explicit_implementation))
  93 @protocol ProtocolB_Explicit <ProtocolA>
  94 @required
  95 - (void)dunwich;
  96 - (void)innsmouth; // expected-note 2 {{method 'innsmouth' declared here}}
  97 @end
  98
  99 @protocol ProtocolC
 100 @required
 101 - (void)rlyeh;
 102 - (void)innsmouth;
 103 - (void)dunwich;
 104 @end
 105
 106 @interface MyObject <ProtocolC> @end
 107
 108 // Provide two variants of a base class, one that adopts ProtocolA and
 109 // one that does not.
 110 @interface Lovecraft <ProtocolA> @end
 111 @interface Lovecraft_2 @end
 112
 113 // Provide two variants of a subclass that conform to ProtocolB.  One
 114 // subclasses from a class that conforms to ProtocolA, the other that
 115 // does not.
 116 //
 117 // From those, provide two variants that conformat to ProtocolB_Explicit
 118 // instead.
 119 @interface Shoggoth : Lovecraft <ProtocolB> @end
 120 @interface Shoggoth_2 : Lovecraft_2 <ProtocolB> @end
 121 @interface Shoggoth_Explicit : Lovecraft <ProtocolB_Explicit> @end
 122 @interface Shoggoth_2_Explicit : Lovecraft_2 <ProtocolB_Explicit> @end
 123
 124 @implementation MyObject
 125 - (void)innsmouth {}
 126 - (void)rlyeh {}
 127 - (void)dunwich {}
 128 @end
 129
 130 @implementation Lovecraft
 131 - (void)innsmouth {}
 132 - (void)rlyeh {}
 133 @end
 134
 135 @implementation Shoggoth
 136 - (void)dunwich {}
 137 @end
 138
 139 @implementation Shoggoth_2 // expected-warning {{method 'innsmouth' in protocol 'ProtocolB' not implemented}}\
 140                            // expected-warning {{method 'rlyeh' in protocol 'ProtocolA' not implemented}}\
 141                            // expected-warning {{'innsmouth' in protocol 'ProtocolA' not implemented}}
 142 - (void)dunwich {}
 143 @end
 144
 145 @implementation Shoggoth_Explicit // expected-warning {{method 'innsmouth' in protocol 'ProtocolB_Explicit' not implemented}}
 146 - (void)dunwich {}
 147 @end
 148
 149 @implementation Shoggoth_2_Explicit // expected-warning {{method 'innsmouth' in protocol 'ProtocolB_Explicit' not implemented}}\
 150                                     // expected-warning {{method 'rlyeh' in protocol 'ProtocolA' not implemented}}\
 151                                     // expected-warning {{method 'innsmouth' in protocol 'ProtocolA' not implemented}}
 152 - (void)dunwich {}
 153 @end
 154
 155 // Categories adopting a protocol with explicit conformance need to implement that protocol.
 156 @interface Parent
 157 - (void) theBestOfTimes;
 158 @property (readonly) id theWorstOfTimes;
 159 @end
 160
 161 @interface Derived : Parent
 162 @end
 163
 164 @interface Derived (MyCat) <Protocol>
 165 @end
 166
 167 @implementation Derived (MyCat) // expected-warning {{method 'theBestOfTimes' in protocol 'Protocol' not implemented}}
 168 @end
 169
 170 __attribute__((objc_protocol_requires_explicit_implementation))  // expected-error{{attribute 'objc_protocol_requires_explicit_implementation' can only be applied to @protocol definitions, not forward declarations}}
 171 @protocol NotDefined;
 172
 173 // Another complete hierarchy.
 174  __attribute__((objc_protocol_requires_explicit_implementation))
 175 @protocol Ex2FooBar
 176 - (void)methodA;
 177 @end
 178
 179  __attribute__((objc_protocol_requires_explicit_implementation))
 180 @protocol Ex2ProtocolA
 181 - (void)methodB;
 182 @end
 183
 184  __attribute__((objc_protocol_requires_explicit_implementation))
 185 @protocol Ex2ProtocolB <Ex2ProtocolA>
 186 - (void)methodA; // expected-note {{method 'methodA' declared here}}
 187 @end
 188
 189 // NOT required
 190 @protocol Ex2ProtocolC <Ex2ProtocolA>
 191 - (void)methodB;
 192 - (void)methodA;
 193 @end
 194
 195 @interface Ex2ClassA <Ex2ProtocolC, Ex2FooBar>
 196 @end
 197 @implementation Ex2ClassA
 198 - (void)methodB {}
 199 - (void)methodA {}
 200 @end
 201
 202 @interface Ex2ClassB : Ex2ClassA <Ex2ProtocolB>
 203 @end
 204
 205 @implementation Ex2ClassB // expected-warning {{method 'methodA' in protocol 'Ex2ProtocolB' not implemented}}
 206 @end
 207