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> // 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}} \ 19 // expected-warning {{method 'invalidate' in protocol not implemented}} 20@end 21