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