1 | // RUN: %clang_cc1 -fsyntax-only -verify -disable-objc-default-synthesize-properties %s |
2 | // rdar://7884086 |
3 | |
4 | @interface NSObject @end |
5 | |
6 | @protocol TopProtocol |
7 | @property (readonly) id myString; // expected-note {{property}} |
8 | @end |
9 | |
10 | @protocol SubProtocol <TopProtocol> |
11 | @end |
12 | |
13 | @interface TopClass : NSObject <TopProtocol> {} |
14 | @end |
15 | |
16 | @interface SubClass : TopClass <SubProtocol> {} |
17 | @end |
18 | |
19 | @interface SubClass1 : TopClass {} |
20 | @end |
21 | |
22 | @implementation SubClass1 @end // Test1 - No Warning |
23 | |
24 | @implementation TopClass // expected-warning {{property 'myString' requires method 'myString' to be defined}} |
25 | @end |
26 | |
27 | @implementation SubClass // Test3 - No Warning |
28 | @end |
29 | |
30 | @interface SubClass2 : TopClass<TopProtocol> |
31 | @end |
32 | |
33 | @implementation SubClass2 @end // Test 4 - No Warning |
34 | |
35 | @interface SubClass3 : TopClass<SubProtocol> @end |
36 | @implementation SubClass3 @end // Test 5 - No Warning |
37 | |
38 | @interface SubClass4 : SubClass3 @end |
39 | @implementation SubClass4 @end // Test 5 - No Warning |
40 | |
41 | @protocol NewProtocol |
42 | @property (readonly) id myNewString; // expected-note {{property}} |
43 | @end |
44 | |
45 | @interface SubClass5 : SubClass4 <NewProtocol> @end |
46 | @implementation SubClass5 @end // expected-warning {{property 'myNewString' requires method 'myNewString' to be defined}} |
47 | |
48 | |
49 | // Radar 8035776 |
50 | @protocol SuperProtocol |
51 | @end |
52 | |
53 | @interface Super <SuperProtocol> |
54 | @end |
55 | |
56 | @protocol ProtocolWithProperty <SuperProtocol> |
57 | @property (readonly, assign) id invalidationBacktrace; // expected-note {{property}} |
58 | @end |
59 | |
60 | @interface INTF : Super <ProtocolWithProperty> |
61 | @end |
62 | |
63 | @implementation INTF @end // expected-warning{{property 'invalidationBacktrace' requires method 'invalidationBacktrace' to be defined}} |
64 | |