-
Notifications
You must be signed in to change notification settings - Fork 135
/
trusts.t
121 lines (93 loc) · 2.93 KB
/
trusts.t
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
use v6;
use Test;
# Referencing various parts of Synopsis 12.
# L<S12/Trusts/"if that other class has indicated that it trusts the
# class">
#
# XXX tests attribute access with method syntax, which is probably
# wrong. Needs spec clarification.
plan 15;
class A {
trusts B;
has $!foo;
has @!bar;
has %!baz;
}
class B {
has A $!my_A;
submethod BUILD () {
my $an_A = A.new();
try {
$an_A!A::foo = 'hello';
};
is( $!.defined ?? 1 !! 0, 0, 'A trusts B, B can set an A scalar attr; '~($!//'') );
try {
$an_A!A::bar = [1,2,3];
};
is( $!.defined ?? 1 !! 0, 0, 'A trusts B, B can set an A array attr; '~($!//'') );
try {
$an_A!baz = {'m'=>'v'};
};
is( $!.defined ?? 1 !! 0, 0, 'A trusts B, B can set an A hash attr; '~($!//'') );
$!my_A = $an_A;
}
method read_from_A() {
my ($foo, @bar, %baz);
my $an_A = $!my_A; #OK not used
try {
$foo = $!an_A!A::foo;
};
is( $!.defined ?? 1 !! 0, 0, 'A trusts B, B can get an A scalar attr; '~($!//''));
is( $foo, 'hello', 'value read by B from an A scalar var is correct');
try {
@bar = $!an_A!A::bar;
};
is( $!.defined ?? 1 !! 0, 0, 'A trusts B, B can get an A array attr; '~($!//''));
is_deeply( @bar, [1,2,3], 'value read by B from an A scalar var is correct');
try {
%baz = $!an_A!A::baz;
};
is( $!.defined ?? 1 !! 0, 0, 'A trusts B, B can get an A hash attr; '~($!//'') );
is_deeply( %baz, {'m'=>'v'}, 'value read by B from an A scalar var is correct' );
}
}
class C {
has A $!my_A;
submethod BUILD () {
my $an_A = A.new();
try {
$an_A!A::foo = 'hello';
};
is( $!.defined ?? 1 !! 0, 1, 'A does not trust C, C can not set an A scalar attr; '~($!//'') );
try {
$an_A!A::bar = [1,2,3];
};
is( $!.defined ?? 1 !! 0, 1, 'A does not trust C, C can not set an A array attr; '~($!//'') );
try {
$an_A!A::baz = {'m'=>'v'};
};
is( $!.defined ?? 1 !! 0, 1, 'A does not trust C, C can not set an A hash attr; '~($!//'') );
$!my_A = $an_A;
}
method read_from_A() {
my ($foo, @bar, %baz);
my $an_A = $!my_A;
try {
$foo = $an_A!A::foo;
};
is( $!.defined ?? 1 !! 0, 1, 'A does not trust C, C can not get an A scalar attr; '~($!//'') );
try {
@bar = $an_A!A::bar;
};
is( $!.defined ?? 1 !! 0, 1, 'A does not trust C, C can not get an A array attr; '~($!//'') );
try {
%baz = $an_A!A::baz;
};
is( $!.defined ?? 1 !! 0, 1, 'A does not trust C, C can not get an A hash attr; '~($!//'') );
}
}
my $my_B = B.new();
$my_B.read_from_A();
my $my_C = C.new();
$my_C.read_from_A();
# vim: ft=perl6