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
|
// RUN: %clang_cc1 -fsyntax-only -verify %s
__attribute__((objc_root_class))
@interface RootClass
- (void)baseMethod;
@end
__attribute__((objc_direct_members))
@interface I : RootClass
- (void)direct; // expected-note {{direct member declared here}}
@end
@protocol P
- (void)direct;
@end
@interface I (Cat1) <P> // expected-error {{category 'Cat1' cannot conform to protocol 'P' because of direct members declared in interface 'I'}}
@end
@protocol BaseP
- (void)baseMethod;
@end
@interface I (CatBase) <BaseP> // OK
@end
@protocol P2
- (void)indirect;
@end
@interface I (Cat2) <P2> // OK
- (void)indirect;
@end
@protocol P3
- (void)indirect3;
@end
@interface I (Cat3) <P3> // OK
@end
@interface ExpDirect : RootClass
- (void)direct __attribute__((objc_direct)); // expected-note {{direct member declared here}}
- (void)directRecursive __attribute__((objc_direct)); // expected-note {{direct member declared here}}
@end
@interface ExpDirect (CatExpDirect) <P> // expected-error {{category 'CatExpDirect' cannot conform to protocol 'P' because of direct members declared in interface 'ExpDirect'}}
@end
@protocol PRecursive1
- (void)directRecursive;
@end
@protocol PRecursiveTop <PRecursive1>
@end
@interface ExpDirect () <PRecursiveTop> // expected-error {{class extension cannot conform to protocol 'PRecursive1' because of direct members declared in interface 'ExpDirect'}}
@end
@protocol PProp
@property (nonatomic, readonly) I *name;
@end
__attribute__((objc_direct_members))
@interface IProp1 : RootClass
@property (nonatomic, readonly) I *name; // expected-note {{direct member declared here}}
@end
@interface IProp1 () <PProp> // expected-error {{class extension cannot conform to protocol 'PProp' because of direct members declared in interface 'IProp1'}}
@end
@protocol PProp2
@property (nonatomic, readonly, class) I *name;
@end
@interface IProp2 : RootClass
@property (nonatomic, readonly, class, direct) I *name; // expected-note {{direct member declared here}}
@end
@interface IProp2 () <PProp2> // expected-error {{class extension cannot conform to protocol 'PProp2' because of direct members declared in interface 'IProp2'}}
@end
|
