| Rafael Espindola | ea1ba0a | 2013-09-27 20:21:48 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
| Fariborz Jahanian | c41cf05 | 2013-01-07 19:21:03 +0000 | [diff] [blame] | 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 | |
| Ted Kremenek | 6d69ac8 | 2013-12-12 23:40:14 +0000 | [diff] [blame] | 18 | @implementation IBImageCatalogDocument // expected-warning {{auto property synthesis will not synthesize property 'Prop' declared in protocol 'DVTInvalidation'}} \ |
| Fariborz Jahanian | c41cf05 | 2013-01-07 19:21:03 +0000 | [diff] [blame] | 19 | // expected-warning {{method 'invalidate' in protocol not implemented}} |
| 20 | @end |