Daniel Dunbar | d7d5f02 | 2009-03-24 02:24:46 +0000 | [diff] [blame] | 1 | // RUN: clang-cc -verify %s |
Fariborz Jahanian | 57c9934 | 2008-05-02 21:09:40 +0000 | [diff] [blame] | 2 | |
| 3 | @protocol P1 @end |
| 4 | @protocol P2 @end |
| 5 | @protocol P3 @end |
| 6 | |
| 7 | @interface NSData @end |
| 8 | |
| 9 | @interface MutableNSData : NSData @end |
| 10 | |
| 11 | @interface Base : NSData <P1> |
| 12 | @property(readonly) id ref; |
| 13 | @property(readonly) Base *p_base; |
| 14 | @property(readonly) NSData *nsdata; |
| 15 | @property(readonly) NSData * m_nsdata; |
| 16 | @end |
| 17 | |
| 18 | @interface Data : Base <P1, P2> |
Steve Naroff | 184671b | 2009-03-03 15:49:23 +0000 | [diff] [blame] | 19 | @property(readonly) NSData *ref; |
| 20 | @property(readonly) Data *p_base; |
| 21 | @property(readonly) MutableNSData * m_nsdata; |
Fariborz Jahanian | 57c9934 | 2008-05-02 21:09:40 +0000 | [diff] [blame] | 22 | @end |
| 23 | |
| 24 | @interface MutedData: Data |
Steve Naroff | 184671b | 2009-03-03 15:49:23 +0000 | [diff] [blame] | 25 | @property(readonly) id p_base; |
Fariborz Jahanian | 57c9934 | 2008-05-02 21:09:40 +0000 | [diff] [blame] | 26 | @end |
| 27 | |
| 28 | @interface ConstData : Data <P1, P2, P3> |
Steve Naroff | 184671b | 2009-03-03 15:49:23 +0000 | [diff] [blame] | 29 | @property(readonly) ConstData *p_base; |
Fariborz Jahanian | 57c9934 | 2008-05-02 21:09:40 +0000 | [diff] [blame] | 30 | @end |
| 31 | |
Daniel Dunbar | 394d33f | 2008-08-26 07:16:44 +0000 | [diff] [blame] | 32 | void foo(Base *b, id x) { |
| 33 | [ b setRef: x ]; // expected-warning {{method '-setRef:' not found}} |
| 34 | } |