1 # Carp::Heavy uses some variables in common with Carp.
6 Carp::Heavy - heavy machinery, no user serviceable parts inside
10 # On one line so MakeMaker will see it.
11 use Carp; our $VERSION = $Carp::VERSION;
12 # use strict; # not yet
14 # 'use Carp' just installs some very lightweight stubs; the first time
15 # these are called, they require Carp::Heavy which installs the real
18 # The members of %Internal are packages that are internal to perl.
19 # Carp will not report errors from within these packages if it
20 # can. The members of %CarpInternal are internal to Perl's warning
21 # system. Carp will not report errors from within these packages
22 # either, and will not report calls *to* these packages for carp and
23 # croak. They replace $CarpLevel, which is deprecated. The
24 # $Max(EvalLen|(Arg(Len|Nums)) variables are used to specify how the eval
25 # text and function arguments should be formatted when printed.
27 # disable these by default, so they can live w/o require Carp
28 $CarpInternal{Carp}++;
29 $CarpInternal{warnings}++;
30 $Internal{Exporter}++;
31 $Internal{'Exporter::Heavy'}++;
34 our ($CarpLevel, $MaxArgNums, $MaxEvalLen, $MaxArgLen, $Verbose);
36 # XXX longmess_real and shortmess_real should really be merged into
37 # XXX {long|sort}mess_heavy at some point
40 # Icky backwards compatibility wrapper. :-(
42 # The story is that the original implementation hard-coded the
43 # number of call levels to go back, so calls to longmess were off
44 # by one. Other code began calling longmess and expecting this
45 # behaviour, so the replacement has to emulate that behaviour.
46 my $call_pack = caller();
47 if ($Internal{$call_pack} or $CarpInternal{$call_pack}) {
48 return longmess_heavy(@_);
51 local $CarpLevel = $CarpLevel + 1;
52 return longmess_heavy(@_);
57 # Icky backwards compatibility wrapper. :-(
58 local @CARP_NOT = caller();
62 # replace the two hooks added by Carp
64 # aliasing the whole glob rather than just the CV slot avoids 'redefined'
65 # warnings, even in the presence of perl -W (as used by lib/warnings.t !)
66 # However it has the potential to create infinite loops, if somehow Carp
67 # is forcibly reloaded, but $INC{"Carp/Heavy.pm"} remains true.
68 # Hence the extra hack of deleting the previous typeglob first.
70 delete $Carp::{shortmess_jmp};
71 delete $Carp::{longmess_jmp};
72 *longmess_jmp = *longmess_real;
73 *shortmess_jmp = *shortmess_real;
77 my $i = shift(@_) + 1;
81 qw(pack file line sub has_args wantarray evaltext is_require)
84 unless (defined $call_info{pack}) {
88 my $sub_name = Carp::get_subname(\%call_info);
89 if ($call_info{has_args}) {
90 my @args = map {Carp::format_arg($_)} @DB::args;
91 if ($MaxArgNums and @args > $MaxArgNums) { # More than we want to show?
95 # Push the args onto the subroutine
96 $sub_name .= '(' . join (', ', @args) . ')';
98 $call_info{sub_name} = $sub_name;
99 return wantarray() ? %call_info : \%call_info;
102 # Transform an argument to a function into a string.
106 $arg = defined($overload::VERSION) ? overload::StrVal($arg) : "$arg";
110 $arg = str_len_trim($arg, $MaxArgLen);
113 $arg = "'$arg'" unless $arg =~ /^-?[\d.]+\z/;
118 # The following handling of "control chars" is direct from
119 # the original code - it is broken on Unicode though.
122 or $arg =~ s/([[:cntrl:]]|[[:^ascii:]])/sprintf("\\x{%x}",ord($1))/eg;
126 # Takes an inheritance cache and a package and returns
127 # an anon hash of known inheritances and anon array of
128 # inheritances which consequences have not been figured
133 $cache->{$pkg} ||= [{$pkg => $pkg}, [trusts_directly($pkg)]];
134 return @{$cache->{$pkg}};
137 # Takes the info from caller() and figures out the name of
138 # the sub/require/eval
141 if (defined($info->{evaltext})) {
142 my $eval = $info->{evaltext};
143 if ($info->{is_require}) {
144 return "require $eval";
147 $eval =~ s/([\\\'])/\\$1/g;
148 return "eval '" . str_len_trim($eval, $MaxEvalLen) . "'";
152 return ($info->{sub} eq '(eval)') ? 'eval {...}' : $info->{sub};
155 # Figures out what call (from the point of view of the caller)
156 # the long error backtrace should start at.
159 my $lvl = $CarpLevel;
161 my $pkg = caller(++$i);
162 unless(defined($pkg)) {
163 # This *shouldn't* happen.
166 $i = long_error_loc();
170 # OK, now I am irritated.
174 redo if $CarpInternal{$pkg};
175 redo unless 0 > --$lvl;
176 redo if $Internal{$pkg};
183 return @_ if ref($_[0]); # don't break references as exceptions
184 my $i = long_error_loc();
185 return ret_backtrace($i, @_);
188 # Returns a full stack backtrace starting from where it is
191 my ($i, @error) = @_;
193 my $err = join '', @error;
197 if (defined &threads::tid) {
198 my $tid = threads->tid;
199 $tid_msg = " thread $tid" if $tid;
202 my %i = caller_info($i);
203 $mess = "$err at $i{file} line $i{line}$tid_msg\n";
205 while (my %i = caller_info(++$i)) {
206 $mess .= "\t$i{sub_name} called at $i{file} line $i{line}$tid_msg\n";
213 my ($i, @error) = @_;
214 my $err = join '', @error;
218 if (defined &threads::tid) {
219 my $tid = threads->tid;
220 $tid_msg = " thread $tid" if $tid;
223 my %i = caller_info($i);
224 return "$err at $i{file} line $i{line}$tid_msg\n";
228 sub short_error_loc {
229 # You have to create your (hash)ref out here, rather than defaulting it
230 # inside trusts *on a lexical*, as you want it to persist across calls.
231 # (You can default it on $_[2], but that gets messy)
234 my $lvl = $CarpLevel;
236 my $called = caller($i++);
237 my $caller = caller($i);
239 return 0 unless defined($caller); # What happened?
240 redo if $Internal{$caller};
241 redo if $CarpInternal{$caller};
242 redo if $CarpInternal{$called};
243 redo if trusts($called, $caller, $cache);
244 redo if trusts($caller, $called, $cache);
245 redo unless 0 > --$lvl;
251 sub shortmess_heavy {
252 return longmess_heavy(@_) if $Verbose;
253 return @_ if ref($_[0]); # don't break references as exceptions
254 my $i = short_error_loc();
263 # If a string is too long, trims it with ...
266 my $max = shift || 0;
267 if (2 < $max and $max < length($str)) {
268 substr($str, $max - 3) = '...';
273 # Takes two packages and an optional cache. Says whether the
274 # first inherits from the second.
276 # Recursive versions of this have to work to avoid certain
277 # possible endless loops, and when following long chains of
278 # inheritance are less efficient.
283 my ($known, $partial) = get_status($cache, $child);
284 # Figure out consequences until we have an answer
285 while (@$partial and not exists $known->{$parent}) {
286 my $anc = shift @$partial;
287 next if exists $known->{$anc};
289 my ($anc_knows, $anc_partial) = get_status($cache, $anc);
290 my @found = keys %$anc_knows;
291 @$known{@found} = ();
292 push @$partial, @$anc_partial;
294 return exists $known->{$parent};
297 # Takes a package and gives a list of those trusted directly
298 sub trusts_directly {
302 return @{"$class\::CARP_NOT"}
303 ? @{"$class\::CARP_NOT"}