1 // RUN: %clang_cc1 -fsyntax-only -verify %s
4 @interface NSObject @end
6 @protocol DVTInvalidation
7 - (void)invalidate; // expected-note {{method 'invalidate' declared here}}
8 @property int Prop; // expected-note {{property declared here}}
13 @protocol DVTInvalidation;
15 @interface IBImageCatalogDocument : NSObject <DVTInvalidation>
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 // expected-note {{add a '@synthesize' directive}}