NAME

Test::Weaken - Test that freed memory objects were, indeed, freed

SYNOPSIS

use Test::Weaken qw(leaks);
use Data::Dumper;
use Math::BigInt;
use Math::BigFloat;
use Carp;
use English qw( -no_match_vars );

my $good_test = sub {
    my $obj1 = Math::BigInt->new('42');
    my $obj2 = Math::BigFloat->new('7.11');
    [ $obj1, $obj2 ];
};

if ( !leaks($good_test) ) {
    print "No leaks in test 1\n"
        or Carp::croak("Cannot print to STDOUT: $ERRNO");
}
else {
    print "There were memory leaks from test 1!\n"
        or Carp::croak("Cannot print to STDOUT: $ERRNO");
}

my $bad_test = sub {
    my $array = [ 42, 711 ];
    push @{$array}, $array;
    $array;
};

my $bad_destructor = sub {'I am useless'};

my $tester = Test::Weaken::leaks(
    {   constructor => $bad_test,
        destructor  => $bad_destructor,
    }
);
if ($tester) {
    my $unfreed_proberefs = $tester->unfreed_proberefs();
    my $unfreed_count     = @{$unfreed_proberefs};
    printf "Test 2: %d of %d original references were not freed\n",
        $tester->unfreed_count(), $tester->probe_count()
        or Carp::croak("Cannot print to STDOUT: $ERRNO");
    print "These are the probe references to the unfreed objects:\n"
        or Carp::croak("Cannot print to STDOUT: $ERRNO");
    for my $ix ( 0 .. $#{$unfreed_proberefs} ) {
        print Data::Dumper->Dump( [ $unfreed_proberefs->[$ix] ],
            ["unfreed_$ix"] )
            or Carp::croak("Cannot print to STDOUT: $ERRNO");
    }
}

DESCRIPTION

A memory leak occurs when a Perl data structure is destroyed but some of the contents of that structure are not freed. Leaked memory is a useless overhead. Leaks can significantly impact system performance. They can also cause an application to abend due to lack of memory.

In Perl, circular references are a common cause of memory leaks. Circular references are allowed in Perl, but data structures containing circular references will leak memory unless the programmer takes specific measures to prevent leaks. Preventive measures include weakening the references and arranging to break the reference cycle just before the structure is destroyed.

When using circular references, it is easy to misdesign or misimplement a scheme for preventing memory leaks. Mistakes of this kind have been hard to detect in a test suite.

Test::Weaken allows easy detection of unfreed Perl data. Test::Weaken allows you to examine the unfreed data, even data that would usually have been made inaccessible.

Test::Weaken frees the test structure, then looks to see if any of the contents of the structure were not actually deallocated. By default, Test::Weaken determines the contents of a data structure by examining arrays and hashes and following references. Test::Weaken does this recursively to unlimited depth.

Test::Weaken can deal with circular references without going into infinite loops. Test::Weaken will not visit the same Perl data object twice.

Data Objects, Blessed Objects and Structures

Object is a heavily overloaded term in the Perl world. This document will use the term Perl data object or data object to refer to any referenceable Perl datum, including scalars, arrays, hashes, references themselves, and code objects. The full list of types of referenceable Perl data objects is given in the documentation of the Perl ref builtin in the perlfunc man page. An object that has been blessed using the Perl bless builtin, will be called a blessed object.

In this document, a Perl data structure (often just called a structure) is any group of Perl objects that are co-mortal -- expected to be destroyed at the same time. Since the question is one of expected lifetime, whether an object is part of a data structure is, in the last analysis, subjective. Perl data structures can be any set of Perl data objects.

The Contents of a Data Structure

A data structure must have one object that is designated as its top object. In most data structures, it is obvious which data object should be designated as the top object. The objects in the data structure, including the top object, are the contents of that data structure.

Test::Weaken gets its test data structure, or test structure, from a closure. The closure should return a reference to the test structure. This reference is called the test structure reference.

Followed Objects and Descendants

A Perl data object is called a followed object if Test::Weaken examines it while it is looking for the contents of the test data structure. By default, Test::Weaken determines the contents by recursing through the descendants of the top object of the test data structure.

The descendants of a Perl data object are itself, its children, and any children of one of its descendants. The child of a reference is its referent. The children of an array are its elements. The children of a hash are its values.

If one data object is the descendant of a second object, then the second data object is an ancestor of the first object. A data object is considered to be a descendant of itself, and also to be one of its own ancestors.

Test::Weaken's default assumption, that the contents of a data structure are the same as its descendants, works for many cases, but not for all. Ways to deal with descendants that are not contents, such as globals, and are dealt with in the section on persistent objects. Ways to deal with contents that are not descendants, such as inside-out objects, are deal with in the section on nieces.

Persistent Objects

As a practical matter, a descendant that is not part of a test structure is only a problem if its lifetime extends beyond that of the test structure. A descendant that stays around after the test structure is called a persistent object.

A persistent object is not a memory leak. That's the problem. Test::Weaken is trying to find memory leaks and it looks for data objects that remain after the test structure is freed. But a persistent object is not expected to disappear when the test structure goes away.

We need to determine which of the unfreed data objects are memory leaks, and which are persistent data objects. It's usually easiest to do this after the test by examining the return value of "unfreed_proberefs". The "ignore" named argument can also be used to pass Test::Weaken a closure that separates out persistent data objects "on the fly". These methods are described in detail below.

Nieces

A niece data object (also a niece object or just a niece) is a data object that is part of the contents of a data structure, but that is not a descendant of the top object of that data structure. When the OO technique called "inside-out objects" is used, most of the attributes of the blessed object will be nieces.

In Test::Weaken, usually the easiest way to deal with non-descendant contents is to make the data structure you are trying to test the lab rat in a wrapper structure. In this scheme, your test structure constructor will return a reference to the top object of the wrapper structure, instead of to the top object of the lab rat.

The top object of the wrapper structure will be a wrapper array. The wrapper array will contain the top object of the lab rat, along with other objects. The other objects need to be chosen so that the contents of the lab rat and the descendants of the wrapper array are identical.

To fill the wrapper array, you need to find ancestor objects for any contents of the lab rat that are not descendants of the lab rat top object. Once you do this, the contents of the lab rat, the contents of the wrapper structure, and the descendants of the wrapper structure will all be the same.

It is not always easy to find the right objects to put into the wrapper array. In particular, determining the contents of the lab rat may require what amounts to a recursive scan of the descendants of the lab rat's top object, something Test::Weaken already does.

As an alternative to using a wrapper, it is possible to have Test::Weaken add contents "on the fly," while it is scanning the lab rat. This can be done using the contents named argument, which takes a closure as its value.

Why the Test Structure is Passed via a Closure

Test::Weaken gets its test structure reference indirectly, as the return value from a test structure constructor. Why so roundabout?

Because the indirect way is the easiest. When you create the test structure in Test::Weaken's calling environment, it takes a lot of craft to avoid leaving unintended references to the test structure in that calling environment. It is easy to get this wrong.

When the calling environment retains a reference to a data object inside the test structure, the result usually appears as a memory leak. In other words, mistakes in setting up the test structure create memory leaks that are artifacts of the test environment. These artifacts are very difficult to sort out from the real thing.

The closure-local strategy is the easiest way to avoid leaving unintended references to the contents of Perl data objects. Using the closure-local strategy means working entirely within a closure, using only data objects local to that closure. Data objects local to a closure will be destroyed when the closure returns, and any references they held will be released. The closure-local strategy makes it relatively easy to be sure that nothing is left behind that will hold an unintended reference to any of the contents of the test structure.

To help the user to follow the closure-local strategy, Test::Weaken requires that its test structure reference be the return value of a closure. The closure-local strategy is safe. It is almost always right thing to do. Test::Weaken makes it the easy thing to do.

Nothing prevents a user from subverting the closure-local strategy. A test structure constructor can refer to data in global or other scopes. And a test structure constructor can return a reference to a test structure created from Perl data objects in any scope the user desires.

Returns and Exceptions

The methods of Test::Weaken do not return errors. Errors are always thrown as exceptions.

PORCELAIN METHODS

leaks

use Test::Weaken;
use English qw( -no_match_vars );

my $tester = Test::Weaken::leaks(
    {   constructor => sub { Buggy_Object->new() },
        destructor  => \&destroy_buggy_object,
    }
);
if ($tester) {
    print "There are leaks\n" or Carp::croak("Cannot print to STDOUT: $ERRNO");
}

Returns a Perl false if no unfreed data objects were detected. If unfreed data objects were detected, returns an evaluated Test::Weaken class instance.

Instances of the Test::Weaken class are called testers. An evaluated tester is one on which the tests have been run, and for which results are available.

Users who only want to know if there were unfreed data objects can test the return value of leaks for Perl true or false. Arguments to the leaks static method may be passed as a reference to a hash of named arguments, or directly as code references.

constructor

The test structure constructor is a required argument. It must be a code reference. When the arguments are passed directly as code references, the test structure constructor must be the first argument to leaks. When named arguments are used, the test structure constructor must be the value of the constructor named argument.

The test structure constructor should build the test structure and return a reference to it. It is best to follow strictly the closure-local strategy, as described above.

destructor

The test structure destructor is an optional argument. If specified, it must be a code reference. When the arguments are passed directly as code references, the test structure destructor is the second, optional, argument to leaks. When named arguments are used, the test structure destructor must be the value of the destructor named argument.

If specified, the test structure destructor is called just before the test structure reference is set to undef. It will be passed one argument, the test structure reference. The return value of the test structure destructor is ignored.

Some test structures require a destructor to be called when they are freed. The primary purpose for the test structure destructor is to enable Test::Weaken to work with these data structures.

ignore
sub ignore_my_global {
    my ($probe) = @_;
    return unless Scalar::Util::reftype $probe eq 'REF';
    my $thing = ${$probe};
    return ( Scalar::Util::blessed($thing) && $thing->isa('MyGlobal') );
}

my $tester = Test::Weaken::leaks(
    {   constructor => sub { MyObject->new() },
        ignore      => \&ignore_my_global,
    }
);

The ignore argument is optional. It can be used to prevent Test::Weaken from following and tracking individual probe references, selected by the user. Use of the ignore argument should be avoided when possible. Filtering the probe references that are returned by unfreed_proberefs is easier, safer and faster. The ignore argument is provided for situations where filtering after the fact is not practical. One such situation is when large or complicated sub-objects need to be filtered out of the results.

When specified, the value of the ignore argument must be a reference to a callback subroutine. If the reference to the callback subroutine is $ignore, Test::Weaken's call to it will be the equivalent of $ignore->($safe_copy), where $safe_copy is a copy of a probe reference to a Perl data object.

The ignore callback will be made once for every Perl data object when it is about to be tracked, and once for every data object when it is about to be followed. The callback subroutine should return a Perl true value if the probe reference is to a data object that should be ignored -- that is, neither followed or tracked. Otherwise the callback subroutine should return a Perl false value.

For safety, Test::Weaken does not pass its internal probe reference to the ignore callback. The ignore callback is passed a copy of the internal probe reference. This prevents the user altering the probe reference itself. However, the data object referred to by the probe reference is not copied. Everything that is referred to, directly or indirectly, by this probe reference should be left unchanged by the ignore callback. The result of modifying the probe referents might be an exception, an abend, an infinite loop, or erroneous results.

ignore callbacks are best kept simple. Defer as much of the analysis as you can until after the test is completed. ignore callbacks can also be a significant overhead. The ignore callback is invoked once per probe reference.

Test::Weaken offers some help in debugging ignore callback subroutines. See below.

contents
sub contents {
    my ($probe) = @_;
    return unless Scalar::Util::blessed( ${$probe} );
    my $obj = ${$probe};
    return unless $obj->isa('MyObject');
    return ( ${$probe}->data, ${$probe}->moredata );
} ## end sub MyObject::contents
my $tester = Test::Weaken::leaks(
    {   constructor => sub { return MyObject->new },
        contents    => \&MyObject::contents
    }
);

The contents argument is optional. It can be used to tell Test::Weaken about additional Perl data objects that need to be followed in order to find all of the contents of the test data structure. Use of the contents argument should be avoided when possible. Instead of using the contents argument, it is often possible to have the constructor create a reference to a "wrapper structure", as described above in the section on nieces.

The contents argument is for situations where the "wrapper structure" technique is not practical. If, for example, creating the wrapper structure would involve a recursive descent through the lab rat object, using the contents argument may be easiest.

When specified, the value of the contents argument must be a reference to a callback subroutine. If the reference is $contents, Test::Weaken's call to it will be the equivalent of $contents->($safe_copy), where $safe_copy is a copy of the probe reference to another Perl reference.

The contents callback is made once for every reference which is about to be followed. The contents callback is not made for Perl data objects other than references.

The callback subroutine will be evaluated in array context. It should return a list of additional Perl data objects to be followed. This list may be empty.

For safety, Test::Weaken does not pass its internal probe reference to the contents callback. The contents callback is passed a copy of the internal probe reference. This prevents the user altering the probe reference itself. However, the data object referred to by the probe reference is not copied. Everything that is referred to, directly or indirectly, by this probe reference should be left unchanged by the contents callback. The result of modifying the probe referents might be an exception, an abend, an infinite loop, or erroneous results.

The contents callbacks is called once for every reference that it is about to be followed. This can be a significant overhead.

unfreed_proberefs

use Test::Weaken;
use English qw( -no_match_vars );

my $tester = Test::Weaken::leaks( sub { Buggy_Object->new() } );
if ($tester) {
    my $unfreed_proberefs = $tester->unfreed_proberefs();
    my $unfreed_count     = @{$unfreed_proberefs};
    printf "%d of %d references were not freed\n",
        $tester->unfreed_count(), $tester->probe_count()
        or Carp::croak("Cannot print to STDOUT: $ERRNO");
    print "These are the probe references to the unfreed objects:\n"
        or Carp::croak("Cannot print to STDOUT: $ERRNO");
    for my $ix ( 0 .. $#{$unfreed_proberefs} ) {
        print Data::Dumper->Dump( [ $unfreed_proberefs->[$ix] ],
            ["unfreed_$ix"] )
            or Carp::croak("Cannot print to STDOUT: $ERRNO");
    }
}

Returns a reference to an array of probe references to the unfreed data objects. Throws an exception if there is a problem, for example if the tester has not yet been evaluated.

The return value can be examined to pinpoint the source of a leak. A user may also analyze the return value to produce her own statistics about unfreed data objects.

unfreed_count

use Test::Weaken;
use English qw( -no_match_vars );

my $tester = Test::Weaken::leaks( sub { Buggy_Object->new() } );
next TEST if not $tester;
printf "%d objects were not freed\n", $tester->unfreed_count(),
    or Carp::croak("Cannot print to STDOUT: $ERRNO");

Returns the count of unfreed data objects. This count will be exactly the length of the array referred to by the return value of the unfreed_proberefs method. Throws an exception if there is a problem, for example if the tester has not yet been evaluated.

probe_count

use Test::Weaken;
use English qw( -no_match_vars );

my $tester = Test::Weaken::leaks(
    {   constructor => sub { Buggy_Object->new() },
        destructor  => \&destroy_buggy_object,
    }
);
next TEST if not $tester;
printf "%d of %d objects were not freed\n",
    $tester->unfreed_count(), $tester->probe_count()
    or Carp::croak("Cannot print to STDOUT: $ERRNO");

Returns the total number of probe references in the test, including references to freed data objects. This is the count of probe references after Test::Weaken was finished following the test structure reference recursively, but before Test::Weaken called the test structure destructor or reset the test structure reference to undef. Throws an exception if there is a problem, for example if the tester has not yet been evaluated.

PLUMBING METHODS

Most users can skip this section. The plumbing methods exist to satisfy object-oriented purists, and to accommodate the rare user who wants to access the probe counts even when the test did find any unfreed data objects.

new

use Test::Weaken;
use English qw( -no_match_vars );

my $tester        = Test::Weaken->new( sub { My_Object->new() } );
my $unfreed_count = $tester->test();
my $proberefs     = $tester->unfreed_proberefs();
printf "%d of %d objects freed\n",
    $unfreed_count,
    $tester->probe_count()
    or Carp::croak("Cannot print to STDOUT: $ERRNO");

The new method takes the same arguments as the leaks method, described above. Unlike the leaks method, it always returns an unevaluated tester. An unevaluated tester is one on which the test has not yet been run and for which results are not yet available. If there are any problems, the new method throws an exception.

The test method is the only method that can be called successfully on an unevaluated tester. Calling any other method on an unevaluated tester causes an exception to be thrown.

test

use Test::Weaken;
use English qw( -no_match_vars );

my $tester = Test::Weaken->new(
    {   constructor => sub { My_Object->new() },
        destructor  => \&destroy_my_object,
    }
);
printf "There are %s\n", ( $tester->test() ? 'leaks' : 'no leaks' )
    or Carp::croak("Cannot print to STDOUT: $ERRNO");

Converts an unevaluated tester into an evaluated tester. It does this by performing the test specified by the arguments to the new constructor and recording the results. Throws an exception if there is a problem, for example if the tester had already been evaluated.

The test method returns the count of unfreed data objects. This will be identical to the length of the array returned by unfreed_proberefs and the count returned by unfreed_count.

ADVANCED TECHNIQUES

Tracing Leaks

Avoidance

Test::Weaken makes tracing leaks easier, but avoidance is still by far the best way, and Test::Weaken helps with that. You need to use test-driven development, Test::More, modular tests in a t/ subdirectory, and revision control. These are all very good ideas for many other reasons.

Make Test::Weaken part of your test suite. Test frequently, so that when a leak occurs, you'll have a good idea of what changes were made since the last successful test. Often, examining these changes is enough to tell where the leak was introduced.

Adding Tags

The unfreed_proberefs method returns an array containing probes to the unfreed data objects. This can be used to find the source of leaks. If circumstances allow it, you might find it useful to add "tag" elements to arrays and hashes to aid in identifying the source of a leak.

Using Referent Addresses

You can quasi-uniquely identify data objects using the referent addresses of the probe references. A referent address can be determined by using the refaddr method of Scalar::Util. You can also obtain the referent address of a reference by adding zero to the reference.

Note that in other Perl documentation, the term "reference address" is often used when a referent address is meant. Any given reference has both a reference address and a referent address. The reference address is the reference's own location in memory. The referent address is the address of the Perl data object to which the reference refers. It is the referent address that interests us here and, happily, it is the referent address that both zero addition and refaddr return.

Other Techniques

Sometimes, when you are interested in why an object is not being freed, you want to seek out the reference that keeps the object's refcount above zero. Kevin Ryde reports that Devel::FindRef can be useful for this.

More about Quasi-unique Addresses

I call referent addresses "quasi-unique", because they are only unique at a specific point in time. Once an object is freed, its address can be reused. Absent other evidence, a data object with a given referent address is not 100% certain to be the same data object as the object that had the same address earlier. This can bite you if you're not careful.

To be sure an earlier data object and a later object with the same address are actually the same object, you need to know that the earlier object will be persistent, or to compare the two objects. If you want to be really pedantic, even an exact match from a comparison doesn't settle the issue. It is possible that two indiscernable (that is, completely identical) objects with the same referent address are different in the following sense: the first data object might have been destroyed and a second, identical, object created at the same address. For most practical programming purposes, two indiscernable data objects can be regarded as the same object.

Debugging Ignore Subroutines

$tester = Test::Weaken::leaks(
    {   constructor => sub { MyObject->new() },
        ignore => Test::Weaken::check_ignore( \&ignore_my_global ),
    }
);
$tester = Test::Weaken::leaks(
    {   constructor => sub { DeepObject->new() },
        ignore      => Test::Weaken::check_ignore(
            \&cause_deep_problem, 99, 0, $reporting_depth
        ),
    }
);

It can be hard to determine if ignore callback subroutines are inadvertently modifying the test structure. The Test::Weaken::check_ignore static method is provided to make this task easier. Test::Weaken::check_ignore constructs a debugging wrapper from four arguments, three of which are optional. The first argument must be the ignore callback that you are trying to debug. This callback is called the test subject, or lab rat.

The second, optional argument, is the maximum error count. Below this count, errors are reported as warnings using Carp::carp. When the maximum error count is reached, an exception is thrown using Carp::croak. The maximum error count, if defined, must be an number greater than or equal to 0. By default the maximum error count is 1, which means that the first error will be thrown as an exception.

If the maximum error count is 0, all errors will be reported as warnings and no exception will ever be thrown. Infinite loops are a common behavior of buggy lab rats, and setting the maximum error count to 0 will usually not be something you want to do.

The third, optional, argument is the compare depth. It is the depth to which the probe referents will be checked, as described below. It must be a number greater than or equal to zero. If the compare depth is zero, the probe referent is checked to unlimited depth. By default the compare depth is 0.

This fourth, optional, argument is the reporting depth. It is the depth to which the probe referents are dumped in check_ignore's error messages. It must be a number greater than or equal to -1. If the reporting depth is zero, the object is dumped to unlimited depth. If the reporting depth is -1, there is no dump in the error message. By default, the reporting depth is -1.

Test::Weaken::check_ignore returns a reference to the wrapper callback. If no problems are detected, the wrapper callback behaves exactly like the lab rat callback, except that the wrapper is slower.

To discover when and if the lab rat callback is altering its arguments, Test::Weaken::check_ignore compares the test structure before the lab rat is called, to the test structure after the lab rat returns. Test::Weaken::check_ignore compares the before and after test structures in two ways. First, it dumps the contents of each test structure using Data::Dumper. For comparison purposes, the dump using Data::Dumper is performed with Maxdepth set to the compare depth as described above. Second, if the immediate probe referent has builtin type REF, Test::Weaken::check_ignore determines whether the immediate probe referent is a weak reference or a strong one.

If either comparison shows a difference, the wrapper treats it as a problem, and produces an error message. This error message is either a Carp::carp warning or a Carp::croak exception, depending on the number of error messages already reported and the setting of the maximum error count. If the reporting depth is a non-negative number, the error message includes a dump from Data::Dumper of the test structure. Data::Dumper's Maxdepth for reporting purposes is the reporting depth as described above.

A user who wants other features, such as deep checking of the test structure for strengthened references, can easily modify Test::Weaken::check_ignore. Test::Weaken::check_ignore is a static method that does not use any Test::Weaken package resources. It is easy to copy it from the Test::Weaken source and hack it up. The hacked version can reside anywhere, and does not need to be part of the Test::Weaken package.

EXPORTS

By default, Test::Weaken exports nothing. Optionally, leaks may be exported.

IMPLEMENTATION DETAILS

Overview

Test::Weaken first recurses through the test structure. Starting from the test structure reference, it follows and tracks objects recursively, as described above. The test structure is explored to unlimited depth, looking for data objects to track. Perl data objects visited during the recursion are recorded, and no object is visited twice. For each data object, a probe reference is created.

Once recursion through the test structure is complete, the probe references are weakened. This prevents the probe references from interfering with the normal deallocation of memory. Next, the test structure destructor is called, if there is one.

Finally, the test structure reference is set to undef. This should trigger the deallocation of the entire contents of the test structure. To check that this happened, Test::Weaken dereferences the probe references. If the referent of a probe reference was deallocated, the value of that probe reference will be undef. If a probe reference is still defined at this point, it refers to an unfreed Perl data object.

Data Objects by Type

Builtin types are the type names returned by Scalar::Util's reftype subroutine. Scalar::Util::reftype differs from Perl's ref function. If an object was blessed into a package, ref returns the package name, while reftype returns the original builtin type of the object.

ARRAY, HASH, and REF Objects

Objects of builtin type ARRAY, HASH, and REF are always both tracked and followed.

SCALAR and VSTRING Objects

Objects of builtin type SCALAR and VSTRING are tracked. They do not hold internal references to other Perl data objects, so following them is meaningless.

CODE Objects

Objects of type CODE are tracked but are not followed. This can be seen as a limitation, because closures hold internal references to data objects. Future versions of Test::Weaken may follow CODE objects.

Objects That are Ignored

An object is said to be ignored if it is neither tracked or followed. All objects of builtin types GLOB, IO, FORMAT and LVALUE are ignored.

The main reason to ignore FORMAT, IO and LVALUE objects is that Data::Dumper does not deal with these objects gracefully. Data::Dumper issues a cryptic warning whenever it encounters a FORMAT, IO or LVALUE object. Since Data::Dumper is a Perl core module in extremely wide use, this suggests that these three objects types are, to put it mildly, not commonly encountered as the contents of data structures.

GLOB objects usually either refer to an entry in the Perl symbol table, or are associated with a filehandle. Either way, the assumption they will share the lifetime of their parent data object is thrown into doubt. The trouble saved by ignoring GLOB objects seems to outweigh any advantage that would come from tracking them. IO objects, which are ignored because of Data::Dumper issues, are often associated with GLOB objects.

There are other reasons to ignore FORMAT objects. They are always global, and therefore can be expected to be persistent. Use of FORMAT objects is officially deprecated.

Objects in future implementations of Perl may have builtin types not described above. They will also be ignored.

AUTHOR

Jeffrey Kegler

BUGS

Please report any bugs or feature requests to bug-test-weaken at rt.cpan.org, or through the web interface at http://rt.cpan.org/NoAuth/ReportBug.html?Queue=Test-Weaken. I will be notified, and then you'll automatically be notified of progress on your bug as I make changes.

SUPPORT

You can find documentation for this module with the perldoc command.

perldoc Test::Weaken

You can also look for information at:

SEE ALSO

Potential users will want to compare Test::Memory::Cycle and Devel::Cycle, which examine existing data structures non-destructively. Devel::Leak also covers similar ground, although it requires Perl to be compiled with -DDEBUGGING in order to work. Devel::Cycle looks inside closures if PadWalker is present, a feature Test::Weaken does not have at present.

ACKNOWLEDGEMENTS

Thanks to jettero, Juerd and perrin of Perlmonks for their advice. Thanks to Lincoln Stein (developer of Devel::Cycle) for test cases and other ideas.

After the first release of Test::Weaken, Kevin Ryde made several important suggestions and provided test cases. These provided the impetus for version 2.000000 and 4.000000.

LICENSE AND COPYRIGHT

Copyright 2007-2009 Jeffrey Kegler, all rights reserved.

This program is free software; you can redistribute it and/or modify it under the same terms as Perl 5.10.