blob: 7d4e544f0332cff5415fb6dc5314dd2e97edd465 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
|
// RUN: %clang_cc1 -fsyntax-only -verify -Wno-objc-root-class %s
@interface I0
@property(readonly) int x;
@property(readonly) int y;
@property(readonly) int z;
-(void) setY: (int) y0;
@end
@interface I0 (Cat0)
-(void) setX: (int) a0;
@end
@implementation I0
@dynamic x;
@dynamic y;
@dynamic z;
-(void) setY: (int) y0{}
-(void) im0 {
self.x = 0;
self.y = 2;
self.z = 2; // expected-error {{assignment to readonly property}}
}
@end
// Test when property is 'readonly' but it has a setter in
// its implementation only.
@interface I1 {
}
@property(readonly) int identifier;
@end
@implementation I1
@dynamic identifier;
- (void)setIdentifier:(int)ident {}
- (id)initWithIdentifier:(int)Arg {
self.identifier = 0;
}
@end
// Also in a category implementation
@interface I1(CAT)
@property(readonly) int rprop;
@end
@implementation I1(CAT)
@dynamic rprop;
- (void)setRprop:(int)ident {}
- (id)initWithIdentifier:(int)Arg {
self.rprop = 0;
}
@end
static int g_val;
@interface Root
+ alloc;
- init;
@end
@interface Subclass : Root
{
int setterOnly;
}
- (void) setSetterOnly:(int)value;
@end
@implementation Subclass
- (void) setSetterOnly:(int)value {
setterOnly = value;
g_val = setterOnly;
}
@end
@interface C {}
// - (int)Foo;
- (void)setFoo:(int)value;
@end
void g(int); // expected-note {{passing argument to parameter here}}
void f(C *c) {
c.Foo = 17; // OK
g(c.Foo); // expected-error {{expected getter method not found on object of type 'C *'}}
}
void abort(void);
int main (void) {
Subclass *x = [[Subclass alloc] init];
x.setterOnly = 4; // OK
if (g_val != 4)
abort ();
return 0;
}
|
