| 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 | |
| Ted Kremenek | 2ccf19e | 2013-12-13 05:58:51 +0000 | [diff] [blame] | 15 | @interface IBImageCatalogDocument : NSObject <DVTInvalidation> |
| Fariborz Jahanian | c41cf05 | 2013-01-07 19:21:03 +0000 | [diff] [blame] | 16 | @end |
| 17 | |
| Alp Toker | 099b0d3 | 2013-12-14 23:32:27 +0000 | [diff] [blame] | 18 | @implementation IBImageCatalogDocument // expected-warning {{auto property synthesis will not synthesize property 'Prop' declared in protocol 'DVTInvalidation'}} \ |
| Ted Kremenek | 2ccf19e | 2013-12-13 05:58:51 +0000 | [diff] [blame] | 19 | // expected-warning {{method 'invalidate' in protocol 'DVTInvalidation' not implemented}} |
| Fariborz Jahanian | c41cf05 | 2013-01-07 19:21:03 +0000 | [diff] [blame] | 20 | @end |