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
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
|
import std/[importutils, assertions]
import stdtest/testutils
import mimportutils
template main =
block: # privateAccess
assertAll:
var a: A
var b = initB() # B is private
compiles(a.a0)
compiles(b.b0)
not compiles(a.ha1)
not compiles(b.hb1)
block:
assertAll:
privateAccess A
compiles(a.ha1)
a.ha1 == 0.0
not compiles(a.hb1)
privateAccess b.typeof
b.hb1 = 3
type B2 = b.typeof
let b2 = B2(b0: 4, hb1: 5)
b.hb1 == 3
b2 == B2(b0: 4, hb1: 5)
assertAll:
not compiles(a.ha1)
not compiles(b.hb1)
block:
assertAll:
not compiles(C(c0: 1, hc1: 2))
privateAccess C
let c = C(c0: 1, hc1: 2)
c.hc1 == 2
block:
assertAll:
not compiles(E[int](he1: 1))
privateAccess E[int]
var e = E[int](he1: 1)
e.he1 == 1
e.he1 = 2
e.he1 == 2
e.he1 += 3
e.he1 == 5
# xxx caveat: this currently compiles but in future, we may want
# to make `privateAccess E[int]` only affect a specific instantiation;
# note that `privateAccess E` does work to cover all instantiations.
var e2 = E[float](he1: 1)
block:
assertAll:
not compiles(E[int](he1: 1))
privateAccess E
var e = E[int](he1: 1)
e.he1 == 1
block:
assertAll:
not compiles(F[int, int](h3: 1))
privateAccess F[int, int]
var e = F[int, int](h3: 1)
e.h3 == 1
block:
assertAll:
not compiles(F[int, int](h3: 1))
privateAccess F[int, int].default[].typeof
var e = F[int, int](h3: 1)
e.h3 == 1
block:
assertAll:
var a = G[int]()
var b = a.addr
privateAccess b.type
discard b.he1
discard b[][].he1
block:
assertAll:
privateAccess H[int]
var a = H[int](h5: 2)
block:
assertAll:
privateAccess PA
var pa = PA(a0: 1, ha1: 2)
pa.ha1 == 2
pa.ha1 = 3
pa.ha1 == 3
block:
assertAll:
var b = BAalias()
not compiles(b.hb1)
privateAccess BAalias
discard b.hb1
block:
assertAll:
var a = A(a0: 1)
var a2 = a.addr
not compiles(a2.ha1)
privateAccess PtA
a2.type is PtA
a2.ha1 = 2
a2.ha1 == 2
a.ha1 = 3
a2.ha1 == 3
block:
disableVm:
assertAll:
var a = A.create()
defer: dealloc(a)
a is PtA
a.typeof is PtA
not compiles(a.ha1)
privateAccess a.typeof
a.ha1 = 2
a.ha1 == 2
a[].ha1 = 3
a.ha1 == 3
block:
disableVm:
assertAll:
var a = A.create()
defer: dealloc(a)
privateAccess PtA
a.ha1 == 0
block:
privateAccess PityRef
let x = PityRef[int](a: 1) # works
doAssert x.a == 1
privateAccess Hope
let y = Hope[int](a: 1)
doAssert y.a == 1
static: main()
main()
|