annotate clang/test/SemaObjC/property-13.m @ 180:680fa57a2f20

fix compile errors.
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 30 May 2020 17:44:06 +0900
parents 1d019706d866
children c4bab56944e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: %clang_cc1 -fsyntax-only -verify %s -Wno-unreachable-code
anatofuz
parents:
diff changeset
2 // expected-no-diagnostics
anatofuz
parents:
diff changeset
3
anatofuz
parents:
diff changeset
4 @interface NSObject
anatofuz
parents:
diff changeset
5 + alloc;
anatofuz
parents:
diff changeset
6 - init;
anatofuz
parents:
diff changeset
7 @end
anatofuz
parents:
diff changeset
8
anatofuz
parents:
diff changeset
9 @protocol Test
anatofuz
parents:
diff changeset
10 @property int required;
anatofuz
parents:
diff changeset
11
anatofuz
parents:
diff changeset
12 @optional
anatofuz
parents:
diff changeset
13 @property int optional;
anatofuz
parents:
diff changeset
14 @property int optional1;
anatofuz
parents:
diff changeset
15 @property int optional_preexisting_setter_getter;
anatofuz
parents:
diff changeset
16 @property (setter = setOptional_preexisting_setter_getter: ,
anatofuz
parents:
diff changeset
17 getter = optional_preexisting_setter_getter) int optional_with_setter_getter_attr;
anatofuz
parents:
diff changeset
18 @required
anatofuz
parents:
diff changeset
19 @property int required1;
anatofuz
parents:
diff changeset
20 @optional
anatofuz
parents:
diff changeset
21 @property int optional_to_be_defined;
anatofuz
parents:
diff changeset
22 @property (readonly, getter = optional_preexisting_setter_getter) int optional_getter_attr;
anatofuz
parents:
diff changeset
23 @end
anatofuz
parents:
diff changeset
24
anatofuz
parents:
diff changeset
25 @interface Test : NSObject <Test> {
anatofuz
parents:
diff changeset
26 int ivar;
anatofuz
parents:
diff changeset
27 int ivar1;
anatofuz
parents:
diff changeset
28 int ivar2;
anatofuz
parents:
diff changeset
29 }
anatofuz
parents:
diff changeset
30 @property int required;
anatofuz
parents:
diff changeset
31 @property int optional_to_be_defined;
anatofuz
parents:
diff changeset
32 - (int) optional_preexisting_setter_getter;
anatofuz
parents:
diff changeset
33 - (void) setOptional_preexisting_setter_getter:(int)value;
anatofuz
parents:
diff changeset
34 @end
anatofuz
parents:
diff changeset
35
anatofuz
parents:
diff changeset
36 @implementation Test
anatofuz
parents:
diff changeset
37 @synthesize required = ivar;
anatofuz
parents:
diff changeset
38 @synthesize required1 = ivar1;
anatofuz
parents:
diff changeset
39 @synthesize optional_to_be_defined = ivar2;
anatofuz
parents:
diff changeset
40 - (int) optional_preexisting_setter_getter { return ivar; }
anatofuz
parents:
diff changeset
41 - (void) setOptional_preexisting_setter_getter:(int)value
anatofuz
parents:
diff changeset
42 {
anatofuz
parents:
diff changeset
43 ivar = value;
anatofuz
parents:
diff changeset
44 }
anatofuz
parents:
diff changeset
45 - (void) setOptional_getter_attr:(int)value { ivar = value; }
anatofuz
parents:
diff changeset
46 @end
anatofuz
parents:
diff changeset
47
anatofuz
parents:
diff changeset
48 void abort(void);
anatofuz
parents:
diff changeset
49 int main ()
anatofuz
parents:
diff changeset
50 {
anatofuz
parents:
diff changeset
51 Test *x = [[Test alloc] init];
anatofuz
parents:
diff changeset
52 /* 1. Test of a required property */
anatofuz
parents:
diff changeset
53 x.required1 = 100;
anatofuz
parents:
diff changeset
54 if (x.required1 != 100)
anatofuz
parents:
diff changeset
55 abort ();
anatofuz
parents:
diff changeset
56
anatofuz
parents:
diff changeset
57 /* 2. Test of a synthesize optional property */
anatofuz
parents:
diff changeset
58 x.optional_to_be_defined = 123;
anatofuz
parents:
diff changeset
59 if (x.optional_to_be_defined != 123)
anatofuz
parents:
diff changeset
60 abort ();
anatofuz
parents:
diff changeset
61
anatofuz
parents:
diff changeset
62 /* 3. Test of optional property with pre-sxisting defined setter/getter */
anatofuz
parents:
diff changeset
63 x.optional_preexisting_setter_getter = 200;
anatofuz
parents:
diff changeset
64 if (x.optional_preexisting_setter_getter != 200)
anatofuz
parents:
diff changeset
65 abort ();
anatofuz
parents:
diff changeset
66
anatofuz
parents:
diff changeset
67 /* 4. Test of optional property with setter/getter attribute */
anatofuz
parents:
diff changeset
68 if (x.optional_with_setter_getter_attr != 200)
anatofuz
parents:
diff changeset
69 abort ();
anatofuz
parents:
diff changeset
70 return 0;
anatofuz
parents:
diff changeset
71
anatofuz
parents:
diff changeset
72 /* 5. Test of optional property with getter attribute and default setter method. */
anatofuz
parents:
diff changeset
73 x.optional_getter_attr = 1000;
anatofuz
parents:
diff changeset
74 if (x.optional_getter_attr != 1000)
anatofuz
parents:
diff changeset
75 abort ();
anatofuz
parents:
diff changeset
76
anatofuz
parents:
diff changeset
77 return 0;
anatofuz
parents:
diff changeset
78 }
anatofuz
parents:
diff changeset
79