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
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
|
module traits_getFunctionAttributes;
void test_getFunctionAttributes()
{
alias tuple(T...) = T;
struct S
{
int noF() { return 0; }
int constF() const { return 0; }
int immutableF() immutable { return 0; }
int inoutF() inout { return 0; }
int sharedF() shared { return 0; }
int x;
ref int refF() return { return x; }
int propertyF() @property { return 0; }
int nothrowF() nothrow { return 0; }
int nogcF() @nogc { return 0; }
int systemF() @system { return 0; }
int trustedF() @trusted { return 0; }
int safeF() @safe { return 0; }
int pureF() pure { return 0; }
int liveF() @live { return 0; }
}
static assert(__traits(getFunctionAttributes, S.noF) == tuple!("@system"));
static assert(__traits(getFunctionAttributes, typeof(S.noF)) == tuple!("@system"));
static assert(__traits(getFunctionAttributes, S.constF) == tuple!("const", "@system"));
static assert(__traits(getFunctionAttributes, typeof(S.constF)) == tuple!("const", "@system"));
static assert(__traits(getFunctionAttributes, S.immutableF) == tuple!("immutable", "@system"));
static assert(__traits(getFunctionAttributes, typeof(S.immutableF)) == tuple!("immutable", "@system"));
static assert(__traits(getFunctionAttributes, S.inoutF) == tuple!("inout", "@system"));
static assert(__traits(getFunctionAttributes, typeof(S.inoutF)) == tuple!("inout", "@system"));
static assert(__traits(getFunctionAttributes, S.sharedF) == tuple!("shared", "@system"));
static assert(__traits(getFunctionAttributes, typeof(S.sharedF)) == tuple!("shared", "@system"));
static assert(__traits(getFunctionAttributes, S.refF) == tuple!("ref", "return", "@system"));
static assert(__traits(getFunctionAttributes, typeof(S.refF)) == tuple!("ref", "return", "@system"));
static assert(__traits(getFunctionAttributes, S.propertyF) == tuple!("@property", "@system"));
static assert(__traits(getFunctionAttributes, typeof(&S.propertyF)) == tuple!("@property", "@system"));
static assert(__traits(getFunctionAttributes, S.nothrowF) == tuple!("nothrow", "@system"));
static assert(__traits(getFunctionAttributes, typeof(S.nothrowF)) == tuple!("nothrow", "@system"));
static assert(__traits(getFunctionAttributes, S.nogcF) == tuple!("@nogc", "@system"));
static assert(__traits(getFunctionAttributes, typeof(S.nogcF)) == tuple!("@nogc", "@system"));
static assert(__traits(getFunctionAttributes, S.systemF) == tuple!("@system"));
static assert(__traits(getFunctionAttributes, typeof(S.systemF)) == tuple!("@system"));
static assert(__traits(getFunctionAttributes, S.trustedF) == tuple!("@trusted"));
static assert(__traits(getFunctionAttributes, typeof(S.trustedF)) == tuple!("@trusted"));
static assert(__traits(getFunctionAttributes, S.safeF) == tuple!("@safe"));
static assert(__traits(getFunctionAttributes, typeof(S.safeF)) == tuple!("@safe"));
static assert(__traits(getFunctionAttributes, S.pureF) == tuple!("pure", "@system"));
static assert(__traits(getFunctionAttributes, typeof(S.pureF)) == tuple!("pure", "@system"));
static assert(__traits(getFunctionAttributes, S.liveF) == tuple!("@live", "@system"));
static assert(__traits(getFunctionAttributes, typeof(S.liveF)) == tuple!("@live", "@system"));
int pure_nothrow() nothrow pure { return 0; }
static ref int static_ref_property() @property { return *(new int); }
ref int ref_property() @property { return *(new int); }
void safe_nothrow() @safe nothrow { }
void live_nothrow() nothrow @live { }
static assert(__traits(getFunctionAttributes, pure_nothrow) == tuple!("pure", "nothrow", "@nogc", "@safe"));
static assert(__traits(getFunctionAttributes, typeof(pure_nothrow)) == tuple!("pure", "nothrow", "@nogc", "@safe"));
static assert(__traits(getFunctionAttributes, static_ref_property) == tuple!("pure", "nothrow", "@property", "ref", "@safe"));
static assert(__traits(getFunctionAttributes, typeof(&static_ref_property)) == tuple!("pure", "nothrow", "@property", "ref", "@safe"));
static assert(__traits(getFunctionAttributes, ref_property) == tuple!("pure", "nothrow", "@property", "ref", "@safe"));
static assert(__traits(getFunctionAttributes, typeof(&ref_property)) == tuple!("pure", "nothrow", "@property", "ref", "@safe"));
static assert(__traits(getFunctionAttributes, safe_nothrow) == tuple!("pure", "nothrow", "@nogc", "@safe"));
static assert(__traits(getFunctionAttributes, typeof(safe_nothrow)) == tuple!("pure", "nothrow", "@nogc", "@safe"));
static assert(__traits(getFunctionAttributes, live_nothrow) == tuple!("pure", "nothrow", "@nogc", "@live", "@safe"));
static assert(__traits(getFunctionAttributes, typeof(live_nothrow)) == tuple!("pure", "nothrow", "@nogc", "@live", "@safe"));
struct S2
{
int pure_const() const pure { return 0; }
int pure_sharedconst() const shared pure { return 0; }
}
static assert(__traits(getFunctionAttributes, S2.pure_const) == tuple!("const", "pure", "@system"));
static assert(__traits(getFunctionAttributes, typeof(S2.pure_const)) == tuple!("const", "pure", "@system"));
static assert(__traits(getFunctionAttributes, S2.pure_sharedconst) == tuple!("const", "shared", "pure", "@system"));
static assert(__traits(getFunctionAttributes, typeof(S2.pure_sharedconst)) == tuple!("const", "shared", "pure", "@system"));
static assert(__traits(getFunctionAttributes, (int a) { }) == tuple!("pure", "nothrow", "@nogc", "@safe"));
static assert(__traits(getFunctionAttributes, typeof((int a) { })) == tuple!("pure", "nothrow", "@nogc", "@safe"));
auto safeDel = delegate() @safe { };
static assert(__traits(getFunctionAttributes, safeDel) == tuple!("pure", "nothrow", "@nogc", "@safe"));
static assert(__traits(getFunctionAttributes, typeof(safeDel)) == tuple!("pure", "nothrow", "@nogc", "@safe"));
auto trustedDel = delegate() @trusted { };
static assert(__traits(getFunctionAttributes, trustedDel) == tuple!("pure", "nothrow", "@nogc", "@trusted"));
static assert(__traits(getFunctionAttributes, typeof(trustedDel)) == tuple!("pure", "nothrow", "@nogc", "@trusted"));
auto systemDel = delegate() @system { };
static assert(__traits(getFunctionAttributes, systemDel) == tuple!("pure", "nothrow", "@nogc", "@system"));
static assert(__traits(getFunctionAttributes, typeof(systemDel)) == tuple!("pure", "nothrow", "@nogc", "@system"));
}
|
