Nuno Lopes | 9c08f27 | 2008-12-27 23:47:34 +0000 | [diff] [blame] | 1 | // RUN: clang -fsyntax-only -verify %s |
| 2 | |
Fariborz Jahanian | 1ac2bc4 | 2008-12-06 23:03:39 +0000 | [diff] [blame] | 3 | @protocol P |
| 4 | @property(readonly) int X; |
| 5 | @end |
| 6 | |
| 7 | @protocol P1<P> |
| 8 | @property (copy) id ID; |
| 9 | @end |
| 10 | |
| 11 | @interface I |
| 12 | @end |
| 13 | |
| 14 | @interface I (Cat) <P> |
| 15 | @property float X; // expected-warning {{property type 'float' does not match property type inherited from 'P'}} |
| 16 | @end |
| 17 | |
| 18 | @interface I (Cat2) <P1> |
| 19 | @property (retain) id ID; // expected-warning {{property 'ID' 'copy' attribute does not match the property inherited from 'P1'}} |
| 20 | @end |
| 21 | |
| 22 | |
Fariborz Jahanian | 804058e | 2008-12-22 19:05:31 +0000 | [diff] [blame] | 23 | @interface A |
| 24 | @property(assign) int categoryProperty; |
| 25 | @end |
| 26 | |
| 27 | // Don't issue warning on unimplemented setter/getter |
| 28 | // because property is @dynamic. |
| 29 | @implementation A |
| 30 | @dynamic categoryProperty; |
| 31 | @end |