1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
2 | // rdar://12958878 |
3 | |
4 | @interface NSObject @end |
5 | |
6 | @protocol DVTInvalidation |
7 | - (void)invalidate; // expected-note {{method 'invalidate' declared here}} |
8 | @property int Prop; // expected-note {{property declared here}} |
9 | @end |
10 | |
11 | |
12 | |
13 | @protocol DVTInvalidation; |
14 | |
15 | @interface IBImageCatalogDocument : NSObject <DVTInvalidation> |
16 | @end |
17 | |
18 | @implementation IBImageCatalogDocument // expected-warning {{auto property synthesis will not synthesize property 'Prop' declared in protocol 'DVTInvalidation'}} \ |
19 | // expected-warning {{method 'invalidate' in protocol 'DVTInvalidation' not implemented}} |
20 | @end // expected-note {{add a '@synthesize' directive}} |
21 | |