| // RUN: %clang_cc1 -fsyntax-only -verify %s |
| |
| #if !__has_feature(objc_class_property) |
| #error does not support class property |
| #endif |
| |
| @interface Root |
| -(id) alloc; |
| -(id) init; |
| @end |
| |
| @interface A : Root { |
| int x; |
| int z; |
| } |
| @property int x; |
| @property int y; |
| @property int z; |
| @property(readonly) int ro, ro2; |
| @property (class) int c; |
| @property (class) int c2; // expected-note {{property declared here}} \ |
| // expected-note {{property declared here}} |
| @property (class) int x; |
| @end |
| |
| @implementation A // expected-warning {{class property 'c2' requires method 'c2' to be defined}} \ |
| // expected-warning {{class property 'c2' requires method 'setC2:' to be defined}} |
| @dynamic x; // refers to the instance property |
| @dynamic (class) x; // refers to the class property |
| @synthesize z, c2; // expected-error {{@synthesize not allowed on a class property 'c2'}} |
| @dynamic c; // refers to the class property |
| @end |
| |
| int test() { |
| A *a = [[A alloc] init]; |
| return a.x + A.c; |
| } |
| |
| void message_id(id me) { |
| [me y]; |
| } |
| |
| void message_class(Class me) { |
| [me c2]; |
| } |