line |
stmt |
bran |
cond |
sub |
pod |
time |
code |
1
|
|
|
|
|
|
|
package Future::Q; |
2
|
20
|
|
|
20
|
|
1280098
|
use strict; |
|
20
|
|
|
|
|
192
|
|
|
20
|
|
|
|
|
500
|
|
3
|
20
|
|
|
20
|
|
92
|
use warnings; |
|
20
|
|
|
|
|
35
|
|
|
20
|
|
|
|
|
489
|
|
4
|
20
|
|
|
20
|
|
8962
|
use Future 0.29; |
|
20
|
|
|
|
|
262834
|
|
|
20
|
|
|
|
|
591
|
|
5
|
20
|
|
|
20
|
|
7054
|
use parent "Future"; |
|
20
|
|
|
|
|
5003
|
|
|
20
|
|
|
|
|
94
|
|
6
|
20
|
|
|
20
|
|
7817
|
use Devel::GlobalDestruction; |
|
20
|
|
|
|
|
33980
|
|
|
20
|
|
|
|
|
98
|
|
7
|
20
|
|
|
20
|
|
1228
|
use Scalar::Util qw(refaddr blessed weaken); |
|
20
|
|
|
|
|
37
|
|
|
20
|
|
|
|
|
822
|
|
8
|
20
|
|
|
20
|
|
94
|
use Carp; |
|
20
|
|
|
|
|
33
|
|
|
20
|
|
|
|
|
834
|
|
9
|
20
|
|
|
20
|
|
10747
|
use Try::Tiny (); |
|
20
|
|
|
|
|
33941
|
|
|
20
|
|
|
|
|
24807
|
|
10
|
|
|
|
|
|
|
|
11
|
|
|
|
|
|
|
our $VERSION = '0.120'; |
12
|
|
|
|
|
|
|
|
13
|
|
|
|
|
|
|
our @CARP_NOT = qw(Try::Tiny Future Future::PP Future::XS); |
14
|
|
|
|
|
|
|
|
15
|
|
|
|
|
|
|
our $OnError = undef; |
16
|
|
|
|
|
|
|
|
17
|
|
|
|
|
|
|
## ** lexical attributes to avoid collision of names. |
18
|
|
|
|
|
|
|
|
19
|
|
|
|
|
|
|
my %failure_handled_for = (); |
20
|
|
|
|
|
|
|
|
21
|
|
|
|
|
|
|
sub new { |
22
|
1086
|
|
|
1086
|
1
|
379989
|
my ($class, @args) = @_; |
23
|
1086
|
|
|
|
|
2663
|
my $self = $class->SUPER::new(@args); |
24
|
1086
|
|
|
|
|
6625
|
my $id = refaddr $self; |
25
|
1086
|
|
|
|
|
1989
|
$failure_handled_for{$id} = 0; |
26
|
1086
|
|
|
|
|
2179
|
return $self; |
27
|
|
|
|
|
|
|
} |
28
|
|
|
|
|
|
|
|
29
|
|
|
|
|
|
|
sub _q_go_super_DESTROY { |
30
|
1071
|
|
|
1071
|
|
1542
|
my ($self) = @_; |
31
|
1071
|
|
|
|
|
2386
|
my $super_destroy = $self->can("SUPER::DESTROY"); |
32
|
1071
|
100
|
|
|
|
3898
|
goto $super_destroy if defined $super_destroy; |
33
|
|
|
|
|
|
|
} |
34
|
|
|
|
|
|
|
|
35
|
|
|
|
|
|
|
sub DESTROY { |
36
|
1071
|
|
|
1071
|
|
438791
|
my ($self) = @_; |
37
|
1071
|
50
|
|
|
|
23451
|
if(in_global_destruction) { |
38
|
0
|
|
|
|
|
0
|
goto \&_q_go_super_DESTROY; |
39
|
|
|
|
|
|
|
} |
40
|
1071
|
|
|
|
|
5929
|
my $id = refaddr $self; |
41
|
1071
|
100
|
100
|
|
|
2100
|
if($self->is_ready && $self->failure && !$failure_handled_for{$id}) { |
|
|
|
100
|
|
|
|
|
42
|
104
|
|
|
|
|
1675
|
$self->_q_warn_failure(); |
43
|
|
|
|
|
|
|
my @failed_subfutures = Try::Tiny::try { |
44
|
104
|
|
|
104
|
|
3852
|
$self->failed_futures; |
45
|
|
|
|
|
|
|
}Try::Tiny::catch { |
46
|
98
|
|
|
98
|
|
13693
|
(); |
47
|
104
|
|
|
|
|
815
|
}; |
48
|
104
|
|
|
|
|
654
|
foreach my $f (@failed_subfutures) { |
49
|
16
|
50
|
33
|
|
|
122
|
$f->_q_warn_failure(is_subfuture => 1) if blessed($f) && $f->can('_q_warn_failure'); |
50
|
|
|
|
|
|
|
} |
51
|
|
|
|
|
|
|
} |
52
|
1071
|
|
|
|
|
10594
|
delete $failure_handled_for{$id}; |
53
|
1071
|
|
|
|
|
2443
|
goto \&_q_go_super_DESTROY; |
54
|
|
|
|
|
|
|
} |
55
|
|
|
|
|
|
|
|
56
|
|
|
|
|
|
|
sub _q_set_failure_handled { |
57
|
576
|
|
|
576
|
|
766
|
my ($self) = @_; |
58
|
576
|
|
|
|
|
1260
|
$failure_handled_for{refaddr $self} = 1; |
59
|
|
|
|
|
|
|
} |
60
|
|
|
|
|
|
|
|
61
|
|
|
|
|
|
|
sub _q_warn_failure { |
62
|
120
|
|
|
120
|
|
252
|
my ($self, %options) = @_; |
63
|
120
|
50
|
33
|
|
|
211
|
if($self->is_ready && $self->failure) { |
64
|
120
|
|
|
|
|
1407
|
my $failure = $self->failure; |
65
|
|
|
|
|
|
|
my $message = Carp::shortmess($options{is_subfuture} |
66
|
120
|
100
|
|
|
|
16468
|
? "Failure of subfuture $self may not be handled: $failure subfuture may be lost" |
67
|
|
|
|
|
|
|
: "Failure of $self is not handled: $failure future is lost"); |
68
|
120
|
100
|
66
|
|
|
2806
|
if(defined($OnError) && ref($OnError) eq "CODE") { |
69
|
117
|
|
|
|
|
292
|
$OnError->($message); |
70
|
|
|
|
|
|
|
}else { |
71
|
3
|
|
|
|
|
21
|
warn $message; |
72
|
|
|
|
|
|
|
} |
73
|
|
|
|
|
|
|
} |
74
|
|
|
|
|
|
|
} |
75
|
|
|
|
|
|
|
|
76
|
|
|
|
|
|
|
sub try { |
77
|
193
|
|
|
193
|
1
|
9976
|
my ($class, $func, @args) = @_; |
78
|
193
|
100
|
100
|
|
|
728
|
if(!defined($func) || ref($func) ne "CODE") { |
79
|
|
|
|
|
|
|
$func = sub { |
80
|
7
|
|
|
7
|
|
1146
|
croak("func parameter for try() must be a code-ref"); |
81
|
7
|
|
|
|
|
25
|
}; |
82
|
|
|
|
|
|
|
} |
83
|
|
|
|
|
|
|
my $result_future = Try::Tiny::try { |
84
|
193
|
|
|
193
|
|
7199
|
my @results = $func->(@args); |
85
|
163
|
100
|
100
|
|
|
37981
|
if(scalar(@results) == 1 && blessed($results[0]) && $results[0]->isa('Future')) { |
|
|
|
66
|
|
|
|
|
86
|
96
|
|
|
|
|
345
|
return $results[0]; |
87
|
|
|
|
|
|
|
}else { |
88
|
67
|
|
|
|
|
168
|
return $class->new->fulfill(@results); |
89
|
|
|
|
|
|
|
} |
90
|
|
|
|
|
|
|
} Try::Tiny::catch { |
91
|
30
|
|
|
30
|
|
8152
|
my $e = shift; |
92
|
30
|
|
|
|
|
68
|
return $class->new->reject($e); |
93
|
193
|
|
|
|
|
1047
|
}; |
94
|
193
|
|
|
|
|
5734
|
return $result_future; |
95
|
|
|
|
|
|
|
} |
96
|
|
|
|
|
|
|
|
97
|
|
|
|
|
|
|
sub fcall { |
98
|
2
|
|
|
2
|
1
|
431
|
goto $_[0]->can('try'); |
99
|
|
|
|
|
|
|
} |
100
|
|
|
|
|
|
|
|
101
|
|
|
|
|
|
|
sub then { |
102
|
327
|
|
|
327
|
1
|
7122
|
my ($self, $on_fulfilled, $on_rejected) = @_; |
103
|
327
|
100
|
100
|
|
|
1001
|
if(defined($on_fulfilled) && ref($on_fulfilled) ne "CODE") { |
104
|
4
|
|
|
|
|
5
|
$on_fulfilled = undef; |
105
|
|
|
|
|
|
|
} |
106
|
327
|
100
|
100
|
|
|
906
|
if(defined($on_rejected) && ref($on_rejected) ne "CODE") { |
107
|
1
|
|
|
|
|
2
|
$on_rejected = undef; |
108
|
|
|
|
|
|
|
} |
109
|
327
|
|
|
|
|
462
|
my $class = ref($self); |
110
|
327
|
|
|
|
|
693
|
$self->_q_set_failure_handled(); |
111
|
|
|
|
|
|
|
|
112
|
327
|
|
|
|
|
476
|
my $next_future = $self->new; |
113
|
|
|
|
|
|
|
$self->on_ready(sub { |
114
|
319
|
|
|
319
|
|
17726
|
my $invo_future = shift; |
115
|
319
|
100
|
|
|
|
617
|
if($invo_future->is_cancelled) { |
116
|
98
|
50
|
|
|
|
428
|
$next_future->cancel() if $next_future->is_pending; |
117
|
98
|
|
|
|
|
2374
|
return; |
118
|
|
|
|
|
|
|
} |
119
|
221
|
|
|
|
|
904
|
my $return_future = $invo_future; |
120
|
221
|
100
|
100
|
|
|
385
|
if($invo_future->is_rejected && defined($on_rejected)) { |
|
|
100
|
100
|
|
|
|
|
121
|
79
|
|
|
|
|
1074
|
$return_future = $class->try($on_rejected, $invo_future->failure); |
122
|
|
|
|
|
|
|
}elsif($invo_future->is_fulfilled && defined($on_fulfilled)) { |
123
|
54
|
|
|
|
|
649
|
$return_future = $class->try($on_fulfilled, $invo_future->get); |
124
|
|
|
|
|
|
|
} |
125
|
221
|
|
|
|
|
1425
|
$next_future->resolve($return_future); |
126
|
327
|
|
|
|
|
1494
|
}); |
127
|
327
|
100
|
100
|
|
|
4484
|
if($next_future->is_pending && $self->is_pending) { |
128
|
178
|
|
|
|
|
1067
|
weaken(my $invo_future = $self); |
129
|
|
|
|
|
|
|
$next_future->on_cancel(sub { |
130
|
79
|
100
|
66
|
79
|
|
2979
|
if(defined($invo_future) && $invo_future->is_pending) { |
131
|
12
|
|
|
|
|
75
|
$invo_future->cancel(); |
132
|
|
|
|
|
|
|
} |
133
|
178
|
|
|
|
|
619
|
}); |
134
|
|
|
|
|
|
|
} |
135
|
327
|
|
|
|
|
3744
|
return $next_future; |
136
|
|
|
|
|
|
|
} |
137
|
|
|
|
|
|
|
|
138
|
|
|
|
|
|
|
sub catch { |
139
|
51
|
|
|
51
|
1
|
8571
|
my ($self, $on_rejected) = @_; |
140
|
51
|
|
|
|
|
103
|
@_ = ($self, undef, $on_rejected); |
141
|
51
|
|
|
|
|
178
|
goto $self->can('then'); |
142
|
|
|
|
|
|
|
} |
143
|
|
|
|
|
|
|
|
144
|
|
|
|
|
|
|
sub fulfill { |
145
|
353
|
|
|
353
|
1
|
52883
|
goto $_[0]->can('done'); |
146
|
|
|
|
|
|
|
} |
147
|
|
|
|
|
|
|
|
148
|
|
|
|
|
|
|
sub resolve { |
149
|
314
|
|
|
314
|
1
|
2675
|
my ($self, @result) = @_; |
150
|
314
|
100
|
100
|
|
|
2324
|
if(not (@result == 1 && blessed($result[0]) && $result[0]->isa("Future"))) { |
|
|
|
66
|
|
|
|
|
151
|
7
|
|
|
|
|
33
|
goto $self->can("fulfill"); |
152
|
|
|
|
|
|
|
} |
153
|
307
|
100
|
|
|
|
733
|
return $self if $self->is_cancelled; |
154
|
300
|
|
|
|
|
1230
|
my $base_future = $result[0]; |
155
|
|
|
|
|
|
|
|
156
|
|
|
|
|
|
|
## Maybe we should check if $base_future is identical to |
157
|
|
|
|
|
|
|
## $self. Promises/A+ spec v1.1 [1] states we should reject $self |
158
|
|
|
|
|
|
|
## in that case. However, since Q v1.0.1 does not care that case, |
159
|
|
|
|
|
|
|
## we also leave that case unchecked for now. |
160
|
|
|
|
|
|
|
## |
161
|
|
|
|
|
|
|
## [1]: https://github.com/promises-aplus/promises-spec/tree/1.1.0 |
162
|
|
|
|
|
|
|
|
163
|
|
|
|
|
|
|
$base_future->on_ready(sub { |
164
|
297
|
|
|
297
|
|
14619
|
my $base_future = shift; |
165
|
297
|
50
|
|
|
|
489
|
return if $self->is_ready; |
166
|
297
|
100
|
|
|
|
1281
|
if($base_future->is_cancelled) { |
|
|
100
|
|
|
|
|
|
167
|
53
|
|
|
|
|
258
|
$self->cancel(); |
168
|
|
|
|
|
|
|
}elsif($base_future->failure) { |
169
|
102
|
100
|
|
|
|
1297
|
if($base_future->can("_q_set_failure_handled")) { |
170
|
97
|
|
|
|
|
164
|
$base_future->_q_set_failure_handled(); |
171
|
|
|
|
|
|
|
} |
172
|
102
|
|
|
|
|
193
|
$self->reject($base_future->failure); |
173
|
|
|
|
|
|
|
}else { |
174
|
142
|
|
|
|
|
1277
|
$self->fulfill($base_future->get); |
175
|
|
|
|
|
|
|
} |
176
|
300
|
|
|
|
|
1409
|
}); |
177
|
300
|
100
|
|
|
|
8860
|
if(!$base_future->is_ready) { |
178
|
76
|
|
|
|
|
383
|
weaken(my $weak_base = $base_future); |
179
|
|
|
|
|
|
|
$self->on_cancel(sub { |
180
|
43
|
100
|
66
|
43
|
|
20533
|
$weak_base->cancel() if defined($weak_base) && !$weak_base->is_ready; |
181
|
76
|
|
|
|
|
289
|
}); |
182
|
|
|
|
|
|
|
} |
183
|
300
|
|
|
|
|
2247
|
return $self; |
184
|
|
|
|
|
|
|
} |
185
|
|
|
|
|
|
|
|
186
|
|
|
|
|
|
|
sub reject { |
187
|
257
|
|
|
257
|
1
|
38061
|
goto $_[0]->can('fail'); |
188
|
|
|
|
|
|
|
} |
189
|
|
|
|
|
|
|
|
190
|
|
|
|
|
|
|
sub is_pending { |
191
|
1431
|
|
|
1431
|
1
|
366253
|
my ($self) = @_; |
192
|
1431
|
|
|
|
|
2544
|
return !$self->is_ready; |
193
|
|
|
|
|
|
|
} |
194
|
|
|
|
|
|
|
|
195
|
|
|
|
|
|
|
sub is_fulfilled { |
196
|
281
|
|
|
281
|
1
|
98643
|
my ($self) = @_; |
197
|
281
|
|
100
|
|
|
457
|
return (!$self->is_pending && !$self->is_cancelled && !$self->is_rejected); |
198
|
|
|
|
|
|
|
} |
199
|
|
|
|
|
|
|
|
200
|
|
|
|
|
|
|
sub is_rejected { |
201
|
643
|
|
|
643
|
1
|
95956
|
my ($self) = @_; |
202
|
643
|
|
100
|
|
|
1097
|
return ($self->is_ready && !!$self->failure); |
203
|
|
|
|
|
|
|
} |
204
|
|
|
|
|
|
|
|
205
|
|
|
|
|
|
|
foreach my $method (qw(wait_all wait_any needs_all needs_any)) { |
206
|
20
|
|
|
20
|
|
150
|
no strict "refs"; |
|
20
|
|
|
|
|
29
|
|
|
20
|
|
|
|
|
8273
|
|
207
|
|
|
|
|
|
|
my $supermethod_code = __PACKAGE__->can("SUPER::$method"); |
208
|
|
|
|
|
|
|
*{$method} = sub { |
209
|
22
|
|
|
22
|
|
339
|
my ($self, @subfutures) = @_; |
210
|
22
|
|
|
|
|
36
|
foreach my $sub (@subfutures) { |
211
|
99
|
50
|
33
|
|
|
396
|
next if !blessed($sub) || !$sub->can('_q_set_failure_handled'); |
212
|
99
|
|
|
|
|
161
|
$sub->_q_set_failure_handled(); |
213
|
|
|
|
|
|
|
} |
214
|
22
|
|
|
|
|
70
|
goto $supermethod_code; |
215
|
|
|
|
|
|
|
}; |
216
|
|
|
|
|
|
|
} |
217
|
|
|
|
|
|
|
|
218
|
|
|
|
|
|
|
sub finally { |
219
|
53
|
|
|
53
|
1
|
1119
|
my ($self, $callback) = @_; |
220
|
53
|
|
|
|
|
82
|
my $class = ref($self); |
221
|
53
|
|
|
|
|
126
|
$self->_q_set_failure_handled(); |
222
|
53
|
50
|
33
|
|
|
232
|
if(!defined($callback) || ref($callback) ne "CODE") { |
223
|
0
|
|
|
|
|
0
|
return $class->new->reject("Callback for finally() must be a code-ref"); |
224
|
|
|
|
|
|
|
} |
225
|
53
|
|
|
|
|
92
|
my $next_future = $self->new; |
226
|
|
|
|
|
|
|
$self->on_ready(sub { |
227
|
53
|
|
|
53
|
|
16138
|
my ($invo_future) = @_; |
228
|
53
|
100
|
|
|
|
109
|
if($invo_future->is_cancelled) { |
229
|
17
|
50
|
|
|
|
97
|
$next_future->cancel if $next_future->is_pending; |
230
|
17
|
|
|
|
|
449
|
return; |
231
|
|
|
|
|
|
|
} |
232
|
36
|
|
|
|
|
187
|
my $returned_future = $class->try($callback); |
233
|
|
|
|
|
|
|
$returned_future->on_ready(sub { |
234
|
36
|
|
|
|
|
8613
|
my ($returned_future) = @_; |
235
|
36
|
100
|
100
|
|
|
78
|
if(!$returned_future->is_cancelled && $returned_future->failure) { |
236
|
13
|
|
|
|
|
190
|
$next_future->resolve($returned_future); |
237
|
|
|
|
|
|
|
}else { |
238
|
23
|
|
|
|
|
208
|
$next_future->resolve($invo_future); |
239
|
|
|
|
|
|
|
} |
240
|
36
|
|
|
|
|
179
|
}); |
241
|
36
|
100
|
|
|
|
419
|
if(!$returned_future->is_ready) { |
242
|
16
|
|
|
|
|
104
|
weaken(my $weak_returned = $returned_future); |
243
|
|
|
|
|
|
|
$next_future->on_cancel(sub { |
244
|
2
|
50
|
33
|
|
|
440
|
$weak_returned->cancel if defined($weak_returned) && !$weak_returned->is_ready; |
245
|
16
|
|
|
|
|
56
|
}); |
246
|
|
|
|
|
|
|
} |
247
|
53
|
|
|
|
|
253
|
}); |
248
|
53
|
100
|
|
|
|
873
|
if(!$self->is_ready) { |
249
|
27
|
|
|
|
|
178
|
weaken(my $weak_invo = $self); |
250
|
|
|
|
|
|
|
$next_future->on_cancel(sub { |
251
|
9
|
100
|
66
|
9
|
|
371
|
$weak_invo->cancel if defined($weak_invo) && !$weak_invo->is_ready; |
252
|
|
|
|
|
|
|
|
253
|
27
|
|
|
|
|
126
|
}); |
254
|
|
|
|
|
|
|
} |
255
|
53
|
|
|
|
|
590
|
return $next_future; |
256
|
|
|
|
|
|
|
} |
257
|
|
|
|
|
|
|
|
258
|
|
|
|
|
|
|
1; |
259
|
|
|
|
|
|
|
|
260
|
|
|
|
|
|
|
__END__ |