2013-09-28 04:21:48 +08:00
|
|
|
// RUN: %clang_cc1 -fsyntax-only -verify %s
|
2013-01-08 03:21:03 +08:00
|
|
|
// rdar://12958878
|
|
|
|
|
|
|
|
@interface NSObject @end
|
|
|
|
|
|
|
|
@protocol DVTInvalidation
|
|
|
|
- (void)invalidate; // expected-note {{method 'invalidate' declared here}}
|
|
|
|
@property int Prop; // expected-note {{property declared here}}
|
|
|
|
@end
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
@protocol DVTInvalidation;
|
|
|
|
|
2013-12-13 13:58:51 +08:00
|
|
|
@interface IBImageCatalogDocument : NSObject <DVTInvalidation>
|
2013-01-08 03:21:03 +08:00
|
|
|
@end
|
|
|
|
|
2013-12-15 07:32:27 +08:00
|
|
|
@implementation IBImageCatalogDocument // expected-warning {{auto property synthesis will not synthesize property 'Prop' declared in protocol 'DVTInvalidation'}} \
|
2013-12-13 13:58:51 +08:00
|
|
|
// expected-warning {{method 'invalidate' in protocol 'DVTInvalidation' not implemented}}
|
2013-01-08 03:21:03 +08:00
|
|
|
@end
|