| line |
stmt |
bran |
cond |
sub |
pod |
time |
code |
|
1
|
2
|
|
|
2
|
|
31
|
use 5.010001; |
|
|
2
|
|
|
|
|
6
|
|
|
2
|
2
|
|
|
2
|
|
11
|
use strict; |
|
|
2
|
|
|
|
|
2
|
|
|
|
2
|
|
|
|
|
36
|
|
|
3
|
2
|
|
|
2
|
|
8
|
use warnings; |
|
|
2
|
|
|
|
|
2
|
|
|
|
2
|
|
|
|
|
934
|
|
|
4
|
|
|
|
|
|
|
|
|
5
|
|
|
|
|
|
|
|
|
6
|
|
|
|
|
|
|
# SHV uses Mite, so cannot be required by Mite during bootstrapping |
|
7
|
|
|
|
|
|
|
require Mite::Shim; |
|
8
|
|
|
|
|
|
|
if ( not Mite::Shim::_is_compiling() ) { |
|
9
|
|
|
|
|
|
|
require Sub::HandlesVia::CodeGenerator; |
|
10
|
|
|
|
|
|
|
our @ISA = 'Sub::HandlesVia::CodeGenerator'; |
|
11
|
|
|
|
|
|
|
} |
|
12
|
|
|
|
|
|
|
|
|
13
|
|
|
|
|
|
|
my ( $self, $method_name, $handler, $env, $code, $state ) = @_; |
|
14
|
|
|
|
|
|
|
|
|
15
|
5
|
|
|
5
|
|
95
|
# If there's a proper signature for the method... |
|
16
|
|
|
|
|
|
|
# |
|
17
|
|
|
|
|
|
|
if ( @{ $handler->signature || [] } ) { |
|
18
|
|
|
|
|
|
|
|
|
19
|
5
|
100
|
|
|
|
6
|
# Generate code using Type::Params to check the signature. |
|
|
5
|
100
|
|
|
|
25
|
|
|
20
|
|
|
|
|
|
|
# We also need to close over the signature. |
|
21
|
|
|
|
|
|
|
# |
|
22
|
|
|
|
|
|
|
require Mite::Signature::Compiler; |
|
23
|
|
|
|
|
|
|
|
|
24
|
1
|
|
|
|
|
392
|
my $compiler = 'Mite::Signature::Compiler'->new_from_compile( |
|
25
|
|
|
|
|
|
|
positional => { |
|
26
|
|
|
|
|
|
|
package => $self->target, |
|
27
|
|
|
|
|
|
|
subname => $method_name, |
|
28
|
|
|
|
|
|
|
is_wrapper => !!0, |
|
29
|
|
|
|
|
|
|
mite_signature => $self->{mite_attribute}, # HasMethods['class'] |
|
30
|
|
|
|
|
|
|
}, |
|
31
|
|
|
|
|
|
|
$state->{shifted_self} |
|
32
|
|
|
|
|
|
|
? @{ $handler->signature } |
|
33
|
|
|
|
|
|
|
: ( Types::Standard::Object(), @{ $handler->signature } ), |
|
34
|
0
|
|
|
|
|
0
|
); |
|
35
|
1
|
50
|
|
|
|
36
|
|
|
|
1
|
|
|
|
|
16
|
|
|
36
|
|
|
|
|
|
|
my $sigcode = $compiler->coderef->code; |
|
37
|
|
|
|
|
|
|
$sigcode =~ s/^\s+|\s+$//gs; |
|
38
|
1
|
|
|
|
|
1072
|
if ( $sigcode =~ /return/ ) { |
|
39
|
1
|
|
|
|
|
203
|
push @$code, sprintf '$__signature ||= %s;', $sigcode; |
|
40
|
1
|
50
|
|
|
|
5
|
push @$code, '@_ = &$__signature;'; |
|
41
|
0
|
|
|
|
|
0
|
$env->{'$__signature'} = \0; |
|
42
|
0
|
|
|
|
|
0
|
} |
|
43
|
0
|
|
|
|
|
0
|
else { |
|
44
|
|
|
|
|
|
|
$sigcode =~ s/^sub/do/; |
|
45
|
|
|
|
|
|
|
push @$code, sprintf '@_ = %s;', $sigcode; |
|
46
|
1
|
|
|
|
|
5
|
} |
|
47
|
1
|
|
|
|
|
12
|
|
|
48
|
|
|
|
|
|
|
# As we've now inserted a signature check, we can stop worrying |
|
49
|
|
|
|
|
|
|
# about signature checks. |
|
50
|
|
|
|
|
|
|
# |
|
51
|
|
|
|
|
|
|
$state->{signature_check_needed} = 0; |
|
52
|
|
|
|
|
|
|
} |
|
53
|
1
|
|
|
|
|
17
|
# There is no proper signature, but there's still check the |
|
54
|
|
|
|
|
|
|
# arity of the method. |
|
55
|
|
|
|
|
|
|
# |
|
56
|
|
|
|
|
|
|
else { |
|
57
|
|
|
|
|
|
|
# What is the arity? |
|
58
|
|
|
|
|
|
|
# |
|
59
|
|
|
|
|
|
|
my $min_args = $handler->min_args || 0; |
|
60
|
|
|
|
|
|
|
my $max_args = $handler->max_args; |
|
61
|
4
|
|
50
|
|
|
9
|
|
|
62
|
4
|
|
|
|
|
53
|
my $plus = 1; |
|
63
|
|
|
|
|
|
|
if ( $state->{shifted_self} ) { |
|
64
|
4
|
|
|
|
|
37
|
$plus = 0; |
|
65
|
4
|
50
|
|
|
|
8
|
} |
|
66
|
0
|
|
|
|
|
0
|
|
|
67
|
|
|
|
|
|
|
# What usage message do we want to print if wrong arity? |
|
68
|
|
|
|
|
|
|
# |
|
69
|
|
|
|
|
|
|
my $usg = sprintf( |
|
70
|
|
|
|
|
|
|
'%s("Wrong number of parameters in signature for %s; usage: ".%s)', |
|
71
|
|
|
|
|
|
|
$self->{mite_attribute}->_function_for_croak, |
|
72
|
|
|
|
|
|
|
$method_name, |
|
73
|
|
|
|
|
|
|
B::perlstring( $self->generate_usage_string( $method_name, $handler->usage ) ), |
|
74
|
4
|
|
|
|
|
13
|
); |
|
75
|
|
|
|
|
|
|
|
|
76
|
|
|
|
|
|
|
# Insert the check into the code. |
|
77
|
|
|
|
|
|
|
# |
|
78
|
|
|
|
|
|
|
if (defined $min_args and defined $max_args and $min_args==$max_args) { |
|
79
|
|
|
|
|
|
|
push @$code, sprintf('@_==%d or %s;', $min_args + $plus, $usg); |
|
80
|
4
|
100
|
66
|
|
|
201
|
} |
|
|
|
50
|
66
|
|
|
|
|
|
|
|
50
|
33
|
|
|
|
|
|
|
|
|
33
|
|
|
|
|
|
81
|
1
|
|
|
|
|
4
|
elsif (defined $min_args and defined $max_args) { |
|
82
|
|
|
|
|
|
|
push @$code, sprintf('(@_ >= %d and @_ <= %d) or %s;', $min_args + $plus, $max_args + $plus, $usg); |
|
83
|
|
|
|
|
|
|
} |
|
84
|
0
|
|
|
|
|
0
|
elsif (defined $min_args and $min_args > 0) { |
|
85
|
|
|
|
|
|
|
push @$code, sprintf('@_ >= %d or %s;', $min_args + $plus, $usg); |
|
86
|
|
|
|
|
|
|
} |
|
87
|
0
|
|
|
|
|
0
|
|
|
88
|
|
|
|
|
|
|
# We are still lacking a proper signature check though, so note |
|
89
|
|
|
|
|
|
|
# that in the state. The information can be used by |
|
90
|
|
|
|
|
|
|
# additional_validation coderefs. |
|
91
|
|
|
|
|
|
|
# |
|
92
|
|
|
|
|
|
|
$state->{signature_check_needed} = !!1; |
|
93
|
|
|
|
|
|
|
} |
|
94
|
4
|
|
|
|
|
9
|
|
|
95
|
|
|
|
|
|
|
return $self; |
|
96
|
|
|
|
|
|
|
} |
|
97
|
5
|
|
|
|
|
22
|
|
|
98
|
|
|
|
|
|
|
1; |