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 21
