| Fariborz Jahanian | 32b94be | 2013-01-07 19:21:03 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify -fobjc-default-synthesize-properties %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> // expected-note {{required for direct or indirect protocol 'DVTInvalidation'}} |
| 16 | @end |
| 17 | |
| 18 | @implementation IBImageCatalogDocument // expected-warning {{auto property synthesis will not synthesize property declared in a protocol}} \ |
| Fariborz Jahanian | 32b94be | 2013-01-07 19:21:03 +0000 | [diff] [blame] | 19 | // expected-warning {{method 'invalidate' in protocol not implemented}} |
| 20 | @end |